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
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Author 
Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings
Author 
Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35395-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Author 
Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35308-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Author 
Goldberg, Paul W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
Author 
Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2266-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
Author 
Büchel, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2283-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formale Grundlagen der Programmierung
Formale Grundlagen der Programmierung
Author 
Nebel, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Author 
Storm, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Testen von Informationssystemen Integriertes und prozessorientiertes Testen
Testen von Informationssystemen Integriertes und prozessorientiertes Testen
Author 
Pilorget, Lionel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8677-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
Author 
Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets