Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition A Collection in Honour of Aaron Sloman
From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition A Collection in Honour of Aaron Sloman
Author 
Wyatt, Jeremy L. editor. Petters, Dean D. editor. Hogg, David C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06614-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Contemporary Evolution Strategies
Contemporary Evolution Strategies
Author 
Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334897.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV International Conference held at Leiden University, July 10-13, 2013
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV International Conference held at Leiden University, July 10-13, 2013
Author 
Emmerich, Michael. editor. Deutz, Andre. editor. Schuetze, Oliver. editor. Bäck, Thomas. editor. Tantar, Emilia. editor.
Preferred Shelf Number 
ONLINE(332841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01128-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Natural Computing
Handbook of Natural Computing
Author 
Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92910-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transactions on Computational Systems Biology XIII
Transactions on Computational Systems Biology XIII
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19748-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Transactions on Computational Systems Biology XI
Transactions on Computational Systems Biology XI
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets