Limit Search Results
Author
SpringerLink (Online service)
(944)
Yang, Laurence T. editor.
(7)
Dongarra, Jack. editor.
(6)
MacDonald, Matthew. author.
(6)
Sloot, Peter M. A. editor.
(6)
Subject
Artificial intelligence.
(268)
Information systems.
(265)
Software engineering.
(256)
Computer Communication Networks.
(246)
Computer software.
(152)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
949 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Author 
Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Author 
Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Author 
Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers
Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers
Author 
Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70904-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
Author 
Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Dynamical Vision ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers
Dynamical Vision ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers
Author 
Vidal, René. editor. Heyden, Anders. editor. Ma, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
Author 
Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70934-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings
Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings
Author 
Vadhan, Salil P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings
Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70939-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
Author 
Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Author 
Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Author 
Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action