Skip to contents

Guarascio, Massimo [Other]; Brebbia, Carlos A. [Other] ; Wessex Institute of Technology Southampton, International Conference on Safety & Security Engineering 2 2007 Marsascala

Safety and security engineering II : [Second International Conference on Safety and Security Engineering, SAFE II - 2007]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Southampton [u.a.]: WIT Press, 2007

Published in: WIT transactions on the built environment ; 94
Hurk, Joris van den [Author]; Jess, Jochen [Author]

System level hardware/software co-design : an industrial approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston, Mass. [u.a.]: Kluwer Academic, c1998
Loureiro, Geilson [Editor]; Curran, Richard [Editor] ; International Society for Productivity Enhancement

Complex systems concurrent engineering : collaboration, technology innovation and sustainability : [proceedings book of the 14th ISPE International Conference on Concurrent Engineering, CE 2007 ...]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: Springer, 2007
Pichler, Franz [Editor] ; EUROCAST 7 1999 Wien

Computer aided systems theory - EUROCAST '99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1798
Pichler, Franz [Other] ; EUROCAST 5 1995 Innsbruck

Computer aided systems theory : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1030
Moraal, J. [Editor]; Kraiss, K.-F [Editor] ; Conference on Manned Systems Design, New Methods and Equipment 1980 Freiburg im Breisgau

Manned systems design : methods, equipment, and applications; proc. of a Conf. on Manned Systems Design, new methods and equipment held Sept. 22-25, 1980, in Freiburg, West Germany

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, N.Y. [u.a.]: Plenum Pr., 1981

Published in: NATO: NATO conference series / 3 ; 17
Pichler, Franz [Editor] ; EUROCAST 2 1991 Krems an der Donau

Computer aided systems theory - EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15 - 19, 1991 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 585
Aiken, Howard [Editor] ; Symposium on the Application of Switching Theory in Space Technology 1962

Switching theory in space technology : The symposium [on the application of switching theory in space technology was held on February 27th and 28th and March 1st, 1962]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif.: Stanford Univ. Pr., 1963
Wirsing, Martin [Editor] ; RISSEF 9 2002 Venedig

Radical innovations of software and systems engineering in the future : 9th international workshop, RISSEF 2002, Venice, Italy, October 7 - 11. 2002 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2941
Katoen, Joost-Pieter [Editor] ; TACAS 8 2002 Grenoble, ETAPS 5 2002 Grenoble

Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2280
Margaria, Tiziana [Other]; Margaria-Steffen, Tiziana [Editor] ; TACAS 7 2001 Genua, ETAPS 4 2001 Genua

Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2031
Ören, Tuncer I. [Editor] ; CAST 4 1994 Ottawa

Computer aided systems theory - CAST '94 : 4th International Workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1996

Published in: Lecture notes in computer science ; 1105
Graf, Susanne [Editor] ; ETAPS 3 2000 Berlin

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1785
Moreno-Díaz, Roberto [Editor]; Pichler, Franz [Other]; Quesada-Arencibia, Alexis [Other] ; EUROCAST 12 2009 Las Palmas

Computer aided systems theory - EUROCAST 2009 : 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5717
Moreno-Díaz, Roberto [Editor] ; EUROCAST 8 2001 Las Palmas

Computer aided systems theory : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19 - 23, 2001 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2178
Woodcock, Jim [Editor]; Woodcock, James C. P. [Editor]; Larsen, Peter Gorm [Other] ; Europäische Kommission Formal Methods Europe, FME 1 1993 Odense

Industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 1993; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1993

Published in: Lecture notes in computer science ; 670
Pidduck, Anne Banks [Editor] ; CAiSE 14 2002 Toronto

Advanced information systems engineering ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2348
Pernici, Barbara [Other] ; CAiSE 10 1998 Pisa

Advanced information systems engineering : 10th International Conference, CAiSE'98, Pisa, Italy, June 8 - 12, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1413
Wangler, Benkt [Editor] ; CAiSE 12 2000 Stockholm

Advanced information systems engineering : 12th international conference, CAiSE 2000, Stockholm, Sweden, June, 5-9, 2000 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000

Published in: Lecture notes in computer science ; 1789
Moreno Díaz, Roberto [Other]; Pichler, Franz [Other]; Quesada Arencibia, Alexis [Other]; Moreno-Díaz, Roberto [Editor] ; EUROCAST 11 2007 Las Palmas

Computer aided systems theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4739

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication