Limit Search Results
Author
SpringerLink (Online service)
(132)
Lei, Jingsheng. editor.
(3)
Voronkov, Andrei. editor.
(3)
Wang, Fu Lee. editor.
(3)
Abts, Dietmar. author.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
134 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Author 
Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16496-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Architecture-Based Design of Multi-Agent Systems
Architecture-Based Design of Multi-Agent Systems
Author 
Weyns, Danny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01064-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
Author 
Berns, Karsten. author. Schmidt, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05470-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
Author 
Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11486-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
Author 
Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11503-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Author 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Author 
England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Author 
Komninos, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11870-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
Author 
Puppis, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11881-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Author 
Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Author 
Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action