Limit Search Results
Author
SpringerLink (Online service)
(95)
Li, Daoliang. editor.
(3)
Zhao, Chunjiang. editor.
(3)
Adamatzky, Andrew. editor.
(2)
Albada, Geert Dick. editor.
(2)
Subject
Computer science.
(94)
Software engineering.
(43)
Artificial intelligence.
(42)
Computer vision.
(24)
Optical pattern recognition.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Author 
Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02161-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Author 
Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02205-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Author 
Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03153-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
Author 
Degano, Pierpaolo. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03845-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Algorithmic Game Theory Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings
Algorithmic Game Theory Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings
Author 
Mavronicolas, Marios. editor. Papadopoulou, Vicky G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04645-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Author 
Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
Author 
Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05253-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for MICAI 2009: Advances in Artificial Intelligence 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings
MICAI 2009: Advances in Artificial Intelligence 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings
Author 
Aguirre, Arturo Hernández. editor. Borja, Raúl Monroy. editor. Garciá, Carlos Alberto Reyes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05258-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Author 
Corne, David Wolfe. editor. Frisco, Pierluigi. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95885-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Author 
Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action