In Store Pick Up Service is currently unavailable. We apologize for the inconvenience.
1- 20 of 47 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: Transactions on Petri Nets and Other Models of Concurrency XI, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny, Jörg Desel, Jetty Kleijn
#9930 in Series
Paperback $54.99
Title: The Science of Programming / Edition 1, Author: David Gries
QUICK ADD
The Science of Programming /…
by David Gries
Explore Series
Paperback $99.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: Systems and Software Quality: The next step for industrialisation, Author: Martin Wieczorek
QUICK ADD
Systems and Software Quality:…
by Martin Wieczorek, Diederik Vos, Heinz Bons
Paperback $109.00
Title: Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers, Author: Cong Tian
QUICK ADD
Structured Object-Oriented…
by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
#10795 in Series
Paperback $54.99
Title: Software Engineering: Proceedings of CSI 2015, Author: M. N. Hoda
QUICK ADD
Software Engineering:…
by M. N. Hoda, Naresh Chauhan, S. M. K. Quadri, Praveen Ranjan Srivastava
#731 in Series
Paperback $89.99
Title: Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, Author: Michaela Huhn
QUICK ADD
Software Engineering in Health…
by Michaela Huhn, Laurie Williams
#9062 in Series
Paperback $54.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: 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: SAT 2005: Satisfiability Research in the Year 2005, Author: Enrico Giunchiglia
QUICK ADD
SAT 2005: Satisfiability…
by Enrico Giunchiglia, Toby Walsh
Paperback $169.99
Title: Requirements Engineering for Internet of Things: 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9-10, 2017, Proceedings, Author: Massila Kamalrudin
QUICK ADD
Requirements Engineering for…
by Massila Kamalrudin, Sabrina Ahmad, Naveed Ikram
#809 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: 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: 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: Mobile Applications Development: With Python in Kivy Framework / Edition 1, Author: Tarkeshwar Barua
QUICK ADD
Mobile Applications…
by Tarkeshwar Barua, Ruchi Doshi, Kamal Kant Hiran
Explore Series
Paperback $70.99
Title: Mastering Delphi Programming, Author: William J Buchanan
QUICK ADD
Mastering Delphi Programming
by William J Buchanan
#16 in Series
Paperback $51.95

Pagination Links