Limit Search Results
Author
SpringerLink (Online service)
(96)
Fei, Shumin. editor.
(3)
Liu, Derong. editor.
(3)
Paragios, Nikos. editor.
(3)
Sun, Changyin. editor.
(3)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
96 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Engineering for Experimental Robotics
Software Engineering for Experimental Robotics
Author 
Brugali, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68951-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Author 
Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Author 
Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
Author 
Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
Author 
Dinther, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
Author 
Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Automatic Quantum Computer Programming A Genetic Programming Approach
Automatic Quantum Computer Programming A Genetic Programming Approach
Author 
Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Author 
Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Genetic Programming Theory and Practice IV
Genetic Programming Theory and Practice IV
Author 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
Author 
Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71027-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets