Suggested Topics within your search.
Showing 1 - 20 results of 122 for search '', query time: 0.32s Refine Results
2
Hardware and software: verification and testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
Berlin : Springer, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
3
Formal verification of object-oriented software international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
Berlin : Springer, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Electronic Conference Proceeding Book
4
DNA Computing and Molecular Programming : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers /
by Sakakibara, Yasubumi
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
5
Proceedings : 5th International Symposium on Software Reliability Engineering : November 6-9, 1994, Monterey, California /
Los Alamitos, Calif. : IEEE Computer Society Press, 1994

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
6
Numerical Methods and Applications : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers /
by Dimov, Ivan
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
7
Theory of Quantum Computation, Communication, and Cryptography : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
by Dam, Wim
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
8
Computers and Games : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers /
by Herik, H. J. van den (Hendrik Jacob)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Book
9
Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
Berlin ; New York : Springer, 2011

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
10
Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 ; proceedings /
Berlin ; New York : Springer, 2005

Conference Proceeding Book
12
PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 /
New York : Association for Computing Machinery, 2003

Conference Proceeding Book
13
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book
14
A systematic catalogue of reusable abstract data types /
by Uhl, J. (Jürgen)
Berlin ; New York : Springer-Verlag, 1990

Book
17
Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings /
Berlin ; New York : Springer, 2001

Conference Proceeding Book
19
Informatics : 10 years back, 10 years ahead /
Berlin ; New York : Springer, 2001

Book
20
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings /
Berlin ; New York : Springer, 1997

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search