Skip to contents

Pnueli, Amir [Editor]; Virbitskaite, Irina [Other]; Voronkov, Andrei [Other] ; International Andrei Ershov Memorial Conference 7 2009 Nowosibirsk

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5947
Kowalewski, Stefan [Editor]; Philippou, Anna [Other] ; TACAS 15 2009 York, ETAPS 12 2009 York

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

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 ; 5505
Virbitskaite, Irina [Other]; Voronkov, Andrei [Other]; Virbitskaite, Irina B. [Editor] ; International Andrei Ershov Memorial Conference 6 2006 Nowosibirsk

Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 ; revised 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 ; 4378
Bernardo, Marco [Editor]; Inverardi, Paolo [Editor] ; International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures 3 2003 Bertinoro

Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2804
IEEE Power Engineering Society

Conference papers from the winter meeting : New York, N.Y., January 26-31, 1975

Close

Bookmarks

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

New York, NY: IEEE, 1975
IEEE Power Engineering Society

IEEE Power Engineering Society conference papers from the summer meeting, San Francisco, California, July 20-25, 1975

Close

Bookmarks

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

New York: Institute of Electrical and Electronics Engineers, 1975
Ralyté, Jolita [Other]; Brinkkemper, Sjaak [Other]; Henderson-Sellers, Brian [Other] ; International Federation for Information Processing Working Group Design and Evaluation of Information Systems, Working Conference on Situational Method Engineering 2007 Genf

Situational method engineering: fundamentals and experiences : proceedings of the IFIP WG 8.1 working conference, 12-14 September 2007, Geneva, Switzerland

Close

Bookmarks

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

New York, NY: Springer, 2007

Published in: International Federation for Information Processing: IFIP International Federation for Information Processing ; 244
Naftalin, Maurice [Editor] ; FME 2 1994 Barcelona

Industrial benefit of formal methods : Barcelona, Spain, October 24 - 28, 1994; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 873
Ao, Sio-Iong [Editor]; Huang, Xu [Editor]; Wai, Ping-Kong Alexander [Editor]

Trends in communication technologies and engineering science

Close

Bookmarks

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

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

Published in: Lecture notes in electrical engineering ; 3300
Yonezawa, Akinori [Editor] ; REFLECTION 3 2001 Kyōto

Metalevel architectures and separation of crosscutting concerns : third international conference, Kyoto, Japan, September 25 - 28, 2001 ; 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 ; 2192
Bjørner, Dines [Other]; Bjoerner, Dines [Editor] ; International Andrei Ershov Memorial Conference 4 2001 Nowosibirsk-Akademgorodok

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 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 ; 2244
Moreno Díaz, Roberto [Other]; Moreno-Díaz, Roberto [Editor] ; EUROCAST 10 2005 Las Palmas

Computer aided systems theory - EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 - 11, 2005 ; 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, 2005

Published in: Lecture notes in computer science ; 3643
Moreno-Díaz, Roberto [Editor]; Pichler, Franz [Other] ; EUROCAST 9 2003 Las Palmas

Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24 - 28, 2003 ; 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, 2003

Published in: Lecture notes in computer science ; 2809
Gómez-Pérez, Asunción [Editor]; Benjamins, V. Richard [Other] ; EKAW 13. 2002 Sigüenza

Knowledge engineering and knowledge management : ontologies and the semantic web ; 13th International Conference, EKAW 2002, Sigüenza, Spain, October 1 - 4, 2002 ; 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 ; 2473
Zalzala, Ali M. S. [Editor]; Fleming, Peter J. [Other] ; Institution of Electrical Engineers, Institute of Electrical and Electronics Engineers, GALESIA 1 1995 Sheffield

Genetic algorithms in engineering systems : [this book arises from the ... 1st IEE/IEEE International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications (GALESIA '95), held at the University of Sheffield, UK]

Close

Bookmarks

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

London: Institution of Electrical Engineers, c 1997

Published in: Institution of Electrical Engineers: IEE control engineering series ; 5500
Pichler, Franz [Editor] ; EUROCAST 3 1993 Las Palmas

Computer aided systems theory : a selection of papers from the Third International Workshop on Computer Aided Systems Theory; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 763
Esparza, Javier [Editor]; Majumdar, Rupak [Other] ; TACAS 16 2010 Paphos, ETAPS 13 2010 Paphos

Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6015
Olivé, Antoni [Other] ; CAiSE 9 1997 Barcelona

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 - 20, 1997 ; proceedings

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1250
Reschke, Hasso [Editor] ; Symposium Projektstrukturierung 1989 Würzburg, Gesellschaft für Projektmanagement INTERNET Deutschland, Deutsche Gesellschaft für Projektmanagement

Symposium Projektstrukturierung

Close

Bookmarks

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

Köln: Verl. TÜV Rheinland, 1989

Published in: Arbeitstexte der Gesellschaft für Projektmanagement
Grumberg, Orna [Editor]; Huth, Michael [Other] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

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 ; 4424

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