Limit Search Results
Author
SpringerLink (Online service)
(7449)
Jain, Lakhmi C. editor.
(148)
Nguyen, Ngoc Thanh. editor.
(72)
Abraham, Ajith. editor.
(69)
Kacprzyk, Janusz. editor.
(68)
Language
Publication Date
-
Subject
Artificial intelligence.
(6950)
Computer science.
(3265)
Engineering.
(1431)
Information systems.
(1036)
Software engineering.
(980)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
7815 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The 2005 DARPA Grand Challenge The Great Robot Race
The 2005 DARPA Grand Challenge The Great Robot Race
Author 
Buehler, Martin. editor. Iagnemma, Karl. editor. Singh, Sanjiv. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73429-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73055-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Author 
Baader, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings
User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings
Author 
Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73078-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Author 
Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
Author 
Indulska, Jadwiga. editor. Ma, Jianhua. editor. Yang, Laurence T. editor. Ungerer, Theo. editor. Cao, Jiannong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73549-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Author 
Miguel, Ian. editor. Ruml, Wheeler. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73580-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
Author 
Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73597-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Learning from Data Streams Processing Techniques in Sensor Networks
Learning from Data Streams Processing Techniques in Sensor Networks
Author 
Gama, João. editor. Gaber, Mohamed Medhat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-73679-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
Author 
Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73681-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets