Skip to contents

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
Misra, Jayadev [Editor] ; FM 14 2006 Hamilton, Ontario

FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2006

Published in: Lecture notes in computer science ; 4085
Araki, Keijiro [Editor] ; FME 12 2003 Pisa

FME 2003: Formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003; proceedings

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 ; 2805
Gallegati, Mauro [Editor] ; Workshop on Economics with Heterogeneous Interacting Agents 7 2002 Triest

The complex dynamics of economic interaction : essays in economics and econophysics

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 economics and mathematical systems ; 531
Dix, Jürgen [Editor] ; FoIKS 4 2006 Budapest

Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14 - 17, 2006 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3861
Cao, Bing-Yuan [Editor] ; International Conference on Fuzzy Information and Engineering 2 2007 Kanton, Stadt

Fuzzy information and engineering : proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE) ; [May 13 - 16, 2007 in Guangzhou, China]

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: Advances in soft computing ; 4000
Bruun, Charlotte [Editor]

Advances in artificial economics : the economy as a complex dynamic system; with 30 tables

Close

Bookmarks

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

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

Published in: Lecture notes in economics and mathematical systems ; 584
Habermann, A. Nico [Other] ; Consorzio per le Ricerche e le Applicazioni di Informatica, Workshop on Software Factories and Ada 1986 Capri

System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26 - 30, 1986 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1987 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 27500
Araki, Keijiro [Author] ; Gnesi, Stefania [Other]; Mandrioli, Dion [Other]

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2805
Misra, Jayadev [Other]; Nipkow, Tobias [Other]; Sekerinski, Emil [Other]

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4085
Schärfe, Henrik [Other]; Hitzler, Pascal [Other]; Ohrstrom, Peter [Other]

Conceptual Structures: Inspiration and Application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4068
Wyrzykowski, Roman [Author] ; Dongarra, Jack [Other]; Paprzycki, Marcin [Other]; Waśniewski, Jerzy [Other]

Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 301900
Alagar, V. S. [Other] ; AMAST 4 1995 Montréal

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 93600
Larsen, Kim Guldstrand [Author] ; Niebert, Peter [Other]

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 279100
Orejas, Fernando [Author] ; Leeuwen, Jan [Other]; Spirakis, Paul G. [Other]

Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Published in: Lecture notes in computer science ; 2076
Cortadella, Jordi [Author] ; Reisig, Wolfgang [Other]

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 309900
Tang, Yuan Y. [Author] ; Li, Chun-hung [Other]; Wickerhauser, Victor [Other]; Yuen, Pong C. [Other]

Wavelet Analysis and Its Applications : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Published in: Lecture notes in computer science ; 2251
Brauer, Wilfried [Other] ; Advanced Course on General Net Theory of Processes and Systems 1979 Hamburg

Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8 - 19, 1979

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1980 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 8400
Serhani, Mohamed Adel [Editor]; Zhang, Liang-Jie [Editor]

Services – SERVICES 2021 : 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings - [1st ed. 2022.]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

Published in: Programming and Software Engineering ; 12996
Fagerholm, Juha [Other]; Haataja, Juha [Other]; Järvinen, Jari [Other]; Lyly, Mikko [Other]; Råback, Peter [Other]; Savolainen, Ville [Other]

Applied Parallel Computing : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 2367

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