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
2569. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency III
Author 
Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04856-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2570. 
Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Author 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2571. 
Cover image for Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
Author 
Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05082-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2572. 
Cover image for Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition
Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition
Author 
Weber, Ingo M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05085-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2573. 
Cover image for FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author 
Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2574. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Author 
Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2575. 
Cover image for Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
Author 
Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05201-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2576. 
Cover image for Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings
Author 
Tscheligi, Manfred. editor. Ruyter, Boris. editor. Markopoulus, Panos. editor. Wichert, Reiner. editor. Mirlacher, Thomas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05408-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2577. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2578. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author 
Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2579. 
Cover image for Software Engineering Research, Management and Applications 2009
Software Engineering Research, Management and Applications 2009
Author 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05441-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2580. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action