Limit Search Results
Author
SpringerLink (Online service)
(59)
Jacko, Julie A. editor.
(4)
Petrosino, Alfredo. editor.
(4)
Masulli, Francesco. editor.
(3)
Métais, Elisabeth. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(57)
Logic design.
(43)
Artificial intelligence.
(31)
Computer Communication Networks.
(25)
Software engineering.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
59 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
Author 
Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335031.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings
Author 
Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28073-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Author 
Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33353-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings
Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings
Author 
Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32885-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Author 
Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19056-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Process Mining Discovery, Conformance and Enhancement of Business Processes
Process Mining Discovery, Conformance and Enhancement of Business Processes
Author 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19345-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Author 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11659-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
Author 
Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14684-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Author 
Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15684-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action