Limit Search Results
Author
SpringerLink (Online service)
(103)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(9)
Gervasi, Osvaldo. editor.
(5)
Kim, Tai-hoon. editor.
(5)
Language
Publication Date
-
Subject
Computer science.
(87)
Computer Communication Networks.
(37)
Logic design.
(23)
Information systems.
(22)
Computer software.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
134 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12029-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Author 
Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02652-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04167-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach
Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach
Author 
Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2427-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
Author 
Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Author 
Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Software Verification and Validation An Engineering and Scientific Approach
Software Verification and Validation An Engineering and Scientific Approach
Author 
Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Author 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for TSP : coaching development teams
TSP : coaching development teams
Author 
Humphrey, Watts S., 1927-
Preferred Shelf Number 
QA76.758 H86 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
60. 
Cover image for Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11804192
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets