41- 60 of 189 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings, Author: Thomas A. Henzinger
QUICK ADD
Embedded Software: First…
by Thomas A. Henzinger (Editor), Christoph M. Kirsch (Editor)
#2211 in Series
Paperback $54.99
Title: Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings, Author: Alberto Sangiovanni-Vincentelli
QUICK ADD
Embedded Software: Second…
by Alberto Sangiovanni-Vincentelli (Editor), Joseph Sifakis (Editor)
#2491 in Series
Paperback $54.99
Title: Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Author: Rajeev Alur
QUICK ADD
Embedded Software: Third…
by Rajeev Alur (Editor)
#2855 in Series
Paperback $54.99
Title: Engineering Modeling Languages: Turning Domain Knowledge into Tools, Author: Benoit Combemale
QUICK ADD
Engineering Modeling Languages…
by Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel
Explore Series
Paperback $59.99
Title: Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0, Author: John Cowell
QUICK ADD
Essential Delphi 2.0 Fast: How…
by John Cowell
Explore Series
Paperback $109.99
Title: Essential Delphi 3 fast: Includes ActiveX Development, Author: John Cowell
QUICK ADD
Essential Delphi 3 fast:…
by John Cowell
Explore Series
Paperback $109.99
Title: Excel 2007 VBA Programming with XML and ASP: ., Author: Julitta Korol
QUICK ADD
Excel 2007 VBA Programming…
by Julitta Korol
Explore Series
Paperback $101.95
Title: Experiences in Software Evolution and Reuse: Twelve Real World Projects, Author: Svein Hallsteinsen
QUICK ADD
Experiences in Software…
by Svein Hallsteinsen, Maddali Paci
#1 in Series
Paperback $54.99
Title: Expert C# 2008 Business Objects, Author: Rockford Lhotka
QUICK ADD
Expert C# 2008 Business…
by Rockford Lhotka
Explore Series
Paperback $59.99
Title: Extreme Programming Explained: Embrace Change, Author: Kent Beck
QUICK ADD
Extreme Programming Explained:…
by Kent Beck, Cynthia Andres
Explore Series
Paperback $59.84
Title: FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, Author: John Fitzgerald
QUICK ADD
FM 2005: Formal Methods:…
by John Fitzgerald (Editor), Ian J. Hayes (Editor)
#3582 in Series
Paperback $54.99
Title: FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, Author: Jayadev Misra
QUICK ADD
FM 2006: Formal Methods: 14th…
by Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)
#4085 in Series
Paperback $109.99
Title: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, Author: Jorge Cuellar
QUICK ADD
FM 2008: Formal Methods: 15th…
by Jorge Cuellar (Editor), Tom Maibaum (Editor)
#5014 in Series
Paperback $54.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock (Editor), Peter G. Larsen (Editor)
#670 in Series
Paperback $109.99
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings., Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel (Editor), James Woodcock (Editor)
#1051 in Series
Paperback $109.99
Title: FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, Author: Jose N. Oliveira
QUICK ADD
FME 2001: Formal Methods for…
by Jose N. Oliveira (Editor), Pamela Zave (Editor)
#2021 in Series
Paperback $109.99
Title: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
FME 2002: Formal Methods -…
by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Editor)
#2391 in Series
Paperback $109.99
Title: FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings, Author: Keijiro Araki
QUICK ADD
FME 2003: Formal Methods:…
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)
#2805 in Series
Paperback $109.99
Title: Formal Development of Reactive Systems: Case Study Production Cell, Author: Claus Lewerentz
QUICK ADD
Formal Development of Reactive…
by Claus Lewerentz (Editor), Thomas Lindner (Editor)
#891 in Series
Paperback $54.99
Title: Formal Specification and Design, Author: L. M. G. Feijs
QUICK ADD
Formal Specification and…
by L. M. G. Feijs, H. B. M. Jonkers
#35 in Series
Paperback $61.99

Pagination Links