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
2089. 
Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15205-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2090. 
Cover image for Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Author 
Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15228-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2091. 
Cover image for Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15234-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2092. 
Cover image for Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2093. 
Cover image for Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Author 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2094. 
Cover image for Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
Author 
Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15323-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2095. 
Cover image for Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Author 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2096. 
Cover image for Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
Author 
Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15349-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2097. 
Cover image for CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Author 
Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2098. 
Cover image for Global Sourcing of Information Technology and Business Processes 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers
Global Sourcing of Information Technology and Business Processes 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers
Author 
Oshri, Ilan. editor. Kotlarsky, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15417-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2099. 
Cover image for Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings
Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings
Author 
Vinel, Alexey. editor. Bellalta, Boris. editor. Sacchi, Claudio. editor. Lyakhov, Andrey. editor. Telek, Miklós. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15428-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2100. 
Cover image for Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Pont, Ana. editor. Pujolle, Guy. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15476-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action