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
1. 
Cover image for Das V-Modell® XT anpassen Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
Das V-Modell® XT anpassen Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
Author 
Kuhrmann, Marco. author. Ternité, Thomas. author. Friedrich, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01490-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Author 
Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19237-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers
Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers
Author 
Cipolla Ficarra, Francisco V. editor. Castro Lozano, Carlos. editor. Pérez Jiménez, Mauricio. editor. Nicol, Emma. editor. Kratky, Andreas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20810-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Author 
Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21437-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mobile Networks and Management Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers
Mobile Networks and Management Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers
Author 
Pentikousis, Kostas. editor. Agüero, Ramón. editor. García-Arranz, Marta. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Author 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Author 
Bruni, Roberto. editor. Dingel, Juergen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21461-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Coordination Models and Languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Author 
Meuter, Wolfgang. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21464-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
Author 
France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21470-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
Author 
Chrisment, Isabelle. editor. Couch, Alva. editor. Badonnel, Rémi. editor. Waldburger, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21484-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action