Limit Search Results
Author
Dix, Jürgen. editor.
(6)
Baldoni, Matteo. editor.
(5)
Winikoff, Michael. editor.
(4)
Bordini, Rafael H. editor.
(3)
Dastani, Mehdi. editor.
(3)
Language
Publication Date
-
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
82 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Author 
Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20715-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Author 
Liu, Weiru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22152-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Author 
Weyns, Danny. editor. Gleizes, Marie-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22636-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Author 
Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15234-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
Author 
Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15323-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Author 
Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Author 
Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17172-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Author 
Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Author 
Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
Author 
Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16178-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Author 
Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16867-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action