981- 1000 of 5437 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Subrecursive Programming Systems: Complexity & Succinctness, Author: James S. Royer
QUICK ADD
Subrecursive Programming…
by James S. Royer, John Case
Explore Series
Hardcover $109.99
Title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Author: Deepak D'Souza
QUICK ADD
Automated Technology for…
by Deepak D'Souza (Editor), K. Narayan Kumar (Editor)
#10482 in Series
Paperback $54.99
Title: Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Advances in Model and Data…
by Ladjel Bellatreche (Editor), George Chernishev (Editor), Antonio Corral (Editor), Samir Ouchani (Editor), Jüri Vain (Editor)
#1481 in Series
Paperback $89.99
Title: Managing Iterative Software Development Projects, Author: Kurt Bittner
QUICK ADD
Managing Iterative Software…
by Kurt Bittner, Ian Spence
Explore Series
eBook $57.99
Title: Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Model and Data Engineering:…
by Ladjel Bellatreche (Editor), Óscar Pastor (Editor), Jesús M. Almendros Jiménez (Editor), Yamine Aït-Ameur (Editor)
#9893 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers, Author: Dalibor Klusácek
QUICK ADD
Job Scheduling Strategies for…
by Dalibor Klusácek (Editor), Walfredo Cirne (Editor), Gonzalo P. Rodrigo (Editor)
#12985 in Series
Paperback $69.99
Title: Modeling with an Analog Hardware Description Language, Author: H. Alan Mantooth
QUICK ADD
Modeling with an Analog…
by H. Alan Mantooth, Mike F. Fiegenbaum
#291 in Series
Hardcover $169.00
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
QUICK ADD
A Guide to Selecting Software…
by Capers Jones
Paperback $56.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: Service-Oriented Computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings, Author: Chengfei Liu
QUICK ADD
Service-Oriented Computing:…
by Chengfei Liu (Editor), Heiko Ludwig (Editor), Farouk Toumani (Editor), Qi Yu (Editor)
#7636 in Series
Paperback $54.99
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 (Editor), Fumiko Nagoya (Editor), Shaoying Liu (Editor), Zhenhua Duan (Editor)
#10795 in Series
Paperback $54.99
Title: Systematic Process Improvement Using Iso 9001, Author: Boris Mutafelija
QUICK ADD
Systematic Process Improvement…
by Boris Mutafelija
Explore Series
Hardcover $106.00
Title: Automatic Program Development: A Tribute to Robert Paige, Author: Olivier Danvy
QUICK ADD
Automatic Program Development:…
by Olivier Danvy (Editor), Fritz Henglein (Editor), Harry Mairson (Editor), Alberto Pettorossi (Editor)
Paperback $109.99
Title: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Author: Clark Barrett
QUICK ADD
NASA Formal Methods: 9th…
by Clark Barrett (Editor), Misty Davies (Editor), Temesghen Kahsai (Editor)
#10227 in Series
Paperback $54.99
Title: Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers, Author: Jan Kofron
QUICK ADD
Mathematical and Engineering…
by Jan Kofron (Editor), Tomás Vojnar (Editor)
#9548 in Series
eBook $99.00
Title: A Friendly Guide to Software Development: What You Should Know Without Being a Developer, Author: Leticia Portella
QUICK ADD
A Friendly Guide to Software…
by Leticia Portella
Explore Series
eBook $54.99
Title: Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers, Author: Carla Rocha
QUICK ADD
Agile Methods: 11th Brazilian…
by Carla Rocha (Editor), Celio Santana Júnior (Editor), Fernando De Sá (Editor), Tiago Silva da Silva (Editor)
#1642 in Series
Paperback $69.99
Title: The Handbook of Formal Methods in Human-Computer Interaction, Author: Benjamin Weyers
QUICK ADD
The Handbook of Formal Methods…
by Benjamin Weyers (Editor), Judy Bowen (Editor), Alan Dix (Editor), Philippe Palanque (Editor)
Explore Series
eBook $269.00
Title: Categories for Software Engineering, Author: Jose Luiz Fiadeiro
QUICK ADD
Categories for Software…
by Jose Luiz Fiadeiro
Paperback $54.99

Pagination Links