Search Results

1

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

2

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

3

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

4

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

5

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

6

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

7

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

8

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

9

Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings /

Berlin ; New York : Springer, 1998

Conference Proceeding Book

10

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Sof...

Berlin ; New York : Springer, 2001

Conference Proceeding Book

11

Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

12

UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

13

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

14

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

15

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding Book

16

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /

Berlin ; New York : Springer, 1999

Conference Proceeding Book

17

Development and evolution of software architectures for product families : second international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proc...

Berlin ; New York : Springer, 1998

Conference Proceeding Book

18

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice o...

Berlin ; New York : Springer, 1999

Conference Proceeding Book

19

Foundations of software technology and theoretical computer science : 18th Conference, Chennai, India, December 17-19, 1998 : proceedings /

Berlin ; London : Springer, 1998

Conference Proceeding Book

20

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proc...

Berlin ; New York : Springer-Verlag, 1999

Conference Proceeding Book

Narrow Search