1- 20 of 445 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Ethics and Technology: Controversies, Questions, and Strategies for Ethical Computing / Edition 5, Author: Herman T. Tavani
QUICK ADD
Ethics and Technology:…
by Herman T. Tavani
Paperback $91.75
Title: Touch of Class: Learning to Program Well with Objects and Contracts, Author: Bertrand Meyer
QUICK ADD
Touch of Class: Learning to…
by Bertrand Meyer
Paperback $64.99
Title: UML @ Classroom: An Introduction to Object-Oriented Modeling, Author: Martina Seidl
QUICK ADD
UML @ Classroom: An…
by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
Explore Series
Paperback $64.99
Title: Computer Science: The Hardware, Software and Heart of It, Author: Edward K. Blum
QUICK ADD
Computer Science: The Hardware…
by Edward K. Blum, Alfred V Aho
Paperback $54.99
Title: The Correctness-by-Construction Approach to Programming, Author: Derrick G. Kourie
QUICK ADD
The…
by Derrick G. Kourie, Bruce W. Watson
Paperback $109.99
Title: Re-Engineering Legacy Software / Edition 1, Author: Chris Birchall
QUICK ADD
Re-Engineering Legacy Software…
by Chris Birchall
Paperback $64.99
Title: Essentials of Computer Organization and Architecture / Edition 5, Author: Linda Null
QUICK ADD
Essentials of Computer…
by Linda Null, Julia Lobur
Paperback $167.95
Title: End-User Development: 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings, Author: Paloma Díaz
QUICK ADD
End-User Development: 5th…
by Paloma Díaz, Volkmar Pipek, Carmelo Ardito, Carlos Jensen, Ignacio Aedo
#9083 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / Edition 1, Author: Stefan Kowalewski
QUICK ADD
Tools and Algorithms for the…
by Stefan Kowalewski, Anna Philippou
#5505 in Series
Paperback $54.99
Title: ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / Edition 1, Author: Jonathan P. Bowen
QUICK ADD
ZUM'97: The Z Formal…
by Jonathan P. Bowen, Michael G. Hinchey, David Till
#1212 in Series
Paperback $54.99
Title: Model-Integrating Software Components: Engineering Flexible Software Systems, Author: Mahdi Derakhshanmanesh
QUICK ADD
Model-Integrating Software…
by Mahdi Derakhshanmanesh
Paperback $54.99
Title: Finding Source Code on the Web for Remix and Reuse, Author: Susan Elliott Sim
QUICK ADD
Finding Source Code on the Web…
by Susan Elliott Sim, Rosalva E. Gallardo-Valencia
Paperback $109.99
Title: Technologies and Innovation: 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings, Author: Rafael Valencia-Garcïa
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-Garcïa, Gema Alcaraz-Mïrmol, Javier Del Cioppo-Morstadt, Nïstor Vera-Lucio, Martha Bucaram-Leverone
#1124 in Series
Paperback $54.99
Title: From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Author: Maurice H. ter Beek
QUICK ADD
From Software Engineering to…
by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
#11865 in Series
Paperback $54.99
Title: Echtzeitsysteme im Alltag: Fachtagung der GI-Fachgruppe Echtzeitsysteme (RT), Boppard, 30. November/1. Dezember 2006 / Edition 1, Author: Peter Holleczek
QUICK ADD
Echtzeitsysteme im Alltag:…
by Peter Holleczek, Birgit Vogel-Heuser
Explore Series
Paperback $69.99
Title: Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers, Author: Bernhard Beckert
QUICK ADD
Formal Verification of…
by Bernhard Beckert (Editor), Claude Marché (Editor)
#6528 in Series
Paperback $54.99
Title: ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings / Edition 1, Author: Howard K. Nichols
QUICK ADD
ESEC '87: 1st European…
by Howard K. Nichols, Dan Simpson
#289 in Series
Paperback $54.99
Title: Scala Design Patterns: Patterns for Practical Reuse and Design, Author: John Hunt
QUICK ADD
Scala Design Patterns:…
by John Hunt
Paperback $109.00
Title: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / Edition 1, Author: Cliff B. Jones
QUICK ADD
Formal Methods and Hybrid Real…
by Cliff B. Jones, Zhiming Liu, Jim Woodcock
#4700 in Series
Paperback $54.99
Title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Author: Nadia Polikarpova
QUICK ADD
Integrated Formal Methods:…
by Nadia Polikarpova, Steve Schneider
#10510 in Series
Paperback $54.99

Pagination Links