Home Advanced Search

Advanced Search - Page 1

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 of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

PDF
English
Year: 1999
Author: Jeff Kramer, Jeff Magee (auth.), W. Rance Cleaveland (eds.)

Concurrency: State Models & Java Programs

PDF
English
Year: 2006
Author: Jeff Magee, Jeff Kramer

Concurrency: State Models & Java Programs

PDF
English
Year: 1999
Author: Jeff Magee, Jeff Kramer

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

PDF
English
Year: 2007
Author: Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Hacking the Kinect

PDF
English
Year: 2012
Author: Jeff Kramer

Software Engineering for Self-Adaptive Systems

PDF
English
Year: 2009
Author: Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (auth.), Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.)

Software Engineering for Self-Adaptive Systems

PDF
English
Year: 2009
Author: Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (auth.), Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.)

Software Engineering for Self-Adaptive Systems

PDF
English
Year: 2009
Author: Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (auth.), Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.)

The Nuclear Imperative: A Critical Look at the Approaching Energy Crisis (More Physics for Presidents)

PDF
English
Year: 2010
Author: Jeff W. Eerkens (auth.)

The Internet for Surgeons

PDF
English
Year: 2002
Author: Jeff W. Allen MD (auth.)