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
2785. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Author 
Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2786. 
Cover image for New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69052-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2787. 
Cover image for Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
Author 
Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69062-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2788. 
Cover image for Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Author 
Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69073-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2789. 
Cover image for Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
Author 
Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2790. 
Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Author 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2791. 
Cover image for Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Author 
Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2792. 
Cover image for Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
Author 
Rong, Chunming. editor. Jaatun, Martin Gilje. editor. Sandnes, Frode Eika. editor. Yang, Laurence T. editor. Ma, Jianhua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69295-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2793. 
Cover image for A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
Author 
Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2794. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2795. 
Cover image for Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2796. 
Cover image for 25 Years of Model Checking History, Achievements, Perspectives
25 Years of Model Checking History, Achievements, Perspectives
Author 
Grumberg, Orna. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets