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
Switch to list view
Switch to thumbnail view
Select an Action
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 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:
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 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:
5. 
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:
6. 
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:
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 Enabling Semantic Web Services The Web Service Modeling Ontology
Enabling Semantic Web Services The Web Service Modeling Ontology
Author 
Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34520-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers
Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers
Author 
Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69866-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
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:
Select an Action