Limit Search Results
Author
SpringerLink (Online service)
(144)
Boer, Frank S. editor.
(6)
Bonsangue, Marcello M. editor.
(5)
Graf, Susanne. editor.
(4)
Roever, Willem-Paul. editor.
(4)
Language
English
(144)
Publication Date
-
Subject
Artificial intelligence.
(60)
Software engineering.
(59)
Computer Communication Networks.
(55)
Information systems.
(41)
Logic design.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
144 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Information Theoretic Security 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings
Information Theoretic Security 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings
Author 
Fehr, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20728-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Author 
Swart, Harrie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21070-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Author 
Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22863-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Comparative Evaluation of Focused Retrieval 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010, Revised Selected Papers
Comparative Evaluation of Focused Retrieval 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010, Revised Selected Papers
Author 
Geva, Shlomo. editor. Kamps, Jaap. editor. Schenkel, Ralf. editor. Trotman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23577-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Human Behavior Understanding Second International Workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011. Proceedings
Human Behavior Understanding Second International Workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011. Proceedings
Author 
Salah, Albert Ali. editor. Lepri, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25446-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
Author 
Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25504-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Author 
Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers
AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers
Author 
Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Sartor, Giovanni. editor. Ajani, Gianmaria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16524-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings
Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings
Author 
Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16958-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17071-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Author 
Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11802-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action