1- 20 of 36 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / Edition 1, Author: Jonathan P. Bowen
QUICK ADD
ZUM '98: The Z Formal…
by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
#1493 in Series
Paperback $54.99
Title: WPF Recipes in C# 2008: A Problem-Solution Approach / Edition 1, Author: Sam Bourton
QUICK ADD
WPF Recipes in C# 2008: A…
by Sam Bourton, Allen Jones, Sam Noble
Explore Series
Paperback $54.99
Title: The Definitive Guide to Windows Installer / Edition 1, Author: Phil Wilson
QUICK ADD
The Definitive Guide to…
by Phil Wilson
Explore Series
Paperback $64.99
Title: TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings / Edition 1, Author: Peter D. Mosses
QUICK ADD
TAPSOFT '95: Theory and…
by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
#915 in Series
Paperback $109.99
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A / Edition 1, Author: Josep Diaz
QUICK ADD
TAPSOFT '89: Proceedings of…
by Josep Diaz, Fernando Orejas
#351 in Series
Paperback $54.99
Title: Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings / Edition 1, Author: Jorge L. Diaz-Herrera
QUICK ADD
Software Engineering Education…
by Jorge L. Diaz-Herrera
#750 in Series
Paperback $109.99
Title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Author: Alessandro Cimatti
QUICK ADD
Software Engineering and…
by Alessandro Cimatti, Marjan Sirjani
#10469 in Series
Paperback $54.99
Title: Sockets, Shellcode, Porting, and Coding: Reverse Engineering Exploits and Tool Coding for Security Professionals, Author: James C Foster
QUICK ADD
Sockets, Shellcode, Porting,…
by James C Foster
Paperback $54.95
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / Edition 1, Author: Francesco Parisi-Presicce
QUICK ADD
Recent Trends in Algebraic…
by Francesco Parisi-Presicce
#1376 in Series
Paperback $54.99
Title: Open Source Starter Guide for IBM i Developers, Author: Pete Helgren
QUICK ADD
Open Source Starter Guide for…
by Pete Helgren
Paperback $59.95
Title: New Masters of Photoshop / Edition 1, Author: Josh Fallon
QUICK ADD
New Masters of Photoshop /…
by Josh Fallon, Paul Sinclair, Adrian Luna, Colin Smith, Derek Lea
Paperback $109.99
Title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, Author: Aaron Dutle
QUICK ADD
NASA Formal Methods: 10th…
by Aaron Dutle, César Muñoz, Anthony Narkawicz
#10811 in Series
Paperback $54.99
Title: Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / Edition 1, Author: Holger Giese
QUICK ADD
Models in Software Engineering…
by Holger Giese
#5002 in Series
Paperback $54.99
Title: Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Anthony Anjorin
QUICK ADD
Modelling Foundations and…
by Anthony Anjorin, Huáscar Espinoza
#10376 in Series
Paperback $54.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche
#10563 in Series
Paperback $54.99
Title: Logics for Concurrency: Structure versus Automata / Edition 1, Author: Faron Moller
QUICK ADD
Logics for Concurrency:…
by Faron Moller, Graham Birtwistle
#1043 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht
#683 in Series
Paperback $54.99
Title: Group Policy: Fundamentals, Security, and the Managed Desktop / Edition 3, Author: Jeremy Moskowitz
QUICK ADD
Group Policy: Fundamentals,…
by Jeremy Moskowitz
Paperback $59.99

Pagination Links