Limit Search Results
Author
SpringerLink (Online service)
(65)
Kotzé, Paula. editor.
(4)
Lindgaard, Gitte. editor.
(4)
Marsden, Gary. editor.
(4)
Wesson, Janet. editor.
(4)
Language
Publication Date
-
2013
(65)
Subject
Artificial intelligence.
(65)
Software engineering.
(65)
Computer science.
(63)
Information Systems Applications (incl. Internet).
(23)
Mathematical Logic and Formal Languages.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings
Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings
Author 
Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334750.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39200-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings
Author 
Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for RoboCup 2012: Robot Soccer World Cup XVI
RoboCup 2012: Robot Soccer World Cup XVI
Author 
Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334765.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39250-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Author 
Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number 
ONLINE(334804.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39470-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets