Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
2473. 
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:
2474. 
Cover image for Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88655-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2475. 
Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Author 
Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88713-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2476. 
Cover image for Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken
Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken
Author 
Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89108-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2477. 
Cover image for Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Author 
Mendling, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2478. 
Cover image for Konzepte objektorientierter Programmierung Mit einer Einführung in Java
Konzepte objektorientierter Programmierung Mit einer Einführung in Java
Author 
Poetzsch-Heffter, Arnd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2479. 
Cover image for Theory and Practice of Uncertain Programming
Theory and Practice of Uncertain Programming
Author 
Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89484-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2480. 
Cover image for Middleware for Network Eccentric and Mobile Applications
Middleware for Network Eccentric and Mobile Applications
Author 
Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89707-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2481. 
Cover image for Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author 
Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89737-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2482. 
Cover image for Engineering Web Applications
Engineering Web Applications
Author 
Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92201-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2483. 
Cover image for Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92219-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2484. 
Cover image for Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Author 
Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action