Results
|
301.
|
|
Image from Amazon.com
|
|
|
302.
|
|
Image from Amazon.com
|
|
|
303.
|
|
Image from Amazon.com
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. by Series: Lecture Notes in Computer Science ; 3941Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
304.
|
|
Image from Amazon.com
|
Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick. by Series: Lecture Notes in Computer Science ; 3966Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
305.
|
|
Image from Amazon.com
|
Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings / edited by Wijnand A. IJsselsteijn, Yvonne A. W. de Kort, Cees Midden, Berry Eggen, Elise van den Hoven. by Series: Lecture Notes in Computer Science ; 3962Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
306.
|
|
Image from Amazon.com
|
Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings / edited by Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci. by Series: Lecture Notes in Computer Science ; 3986Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
307.
|
|
Image from Amazon.com
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. by Series: Lecture Notes in Computer Science ; 3965Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
308.
|
|
Image from Amazon.com
|
|
|
309.
|
|
Image from Amazon.com
|
|
|
310.
|
|
Image from Amazon.com
|
|
|
311.
|
|
Image from Amazon.com
|
|
|
312.
|
|
Image from Amazon.com
|
|
|
313.
|
|
Image from Amazon.com
|
|
|
314.
|
|
Image from Amazon.com
|
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Series: Lecture Notes in Computer Science ; 4010Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
315.
|
|
Image from Amazon.com
|
|
|
316.
|
|
Image from Amazon.com
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda. by Series: Lecture Notes in Computer Science ; 3913Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
317.
|
|
Image from Amazon.com
|
|
|
318.
|
|
Image from Amazon.com
|
|
|
319.
|
|
Image from Amazon.com
|
|
|
320.
|
|
Image from Amazon.com
|
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Series: Lecture Notes in Computer Science ; 4045Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|