61- 80 of 1272 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, Author: Bernhard K. Aichernig
QUICK ADD
Tests and Proofs: 10th…
by Bernhard K. Aichernig (Editor), Carlo A. Furia (Editor)
#9762 in Series
eBook $54.99
Title: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings, Author: Yamine Ait-Ameur
QUICK ADD
Implicit and Explicit…
by Yamine Ait-Ameur (Editor), Shin Nakajima (Editor), Dominique Mïry (Editor)
eBook $99.00
Title: Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings, Author: Leonel Sousa
QUICK ADD
Euro-Par 2021: Parallel…
by Leonel Sousa (Editor), Nuno Roma (Editor), Pedro Tomás (Editor)
#12820 in Series
eBook $119.00
Title: Efficient Go: Data-Driven Performance Optimization, Author: Bartlomiej Plotka
QUICK ADD
Efficient Go: Data-Driven…
by Bartlomiej Plotka
eBook $56.99
Title: Parallel Programming: for Multicore and Cluster Systems, Author: Thomas Rauber
QUICK ADD
Parallel Programming: for…
by Thomas Rauber, Gudula Rünger
eBook $64.99
Title: tmux 3: Productive Mouse-Free Development, Author: Brian P. Hogan
QUICK ADD
tmux 3: Productive Mouse-Free…
by Brian P. Hogan
eBook $30.99
Title: Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
#11174 in Series
eBook $54.99
Title: Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García (Editor), Katty Lagos-Ortiz (Editor), Gema Alcaraz-Mármol (Editor), Javier del Cioppo (Editor), Nestor Vera-Lucio (Editor)
#658 in Series
eBook $54.99
Title: Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers, Author: Giancarlo Succi
QUICK ADD
Frontiers in Software…
by Giancarlo Succi (Editor), Paolo Ciancarini (Editor), Artem Kruglov (Editor)
#1523 in Series
eBook $84.99
Title: Introduction to One Digital Identity: Strategies, Innovations, and Future Trends, Author: Shivakumar R. Goniwada
QUICK ADD
Introduction to One Digital…
by Shivakumar R. Goniwada
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#15220 in Series
eBook $74.99
Title: Data-Warehouse-Systeme kompakt: Aufbau, Architektur, Grundfunktionen, Author: Kiumars Farkisch
QUICK ADD
Data-Warehouse-Systeme kompakt…
by Kiumars Farkisch
Explore Series
eBook $39.99
Title: The Beginner's Guide to Creating Android Apps, Author: Steven Mcananey
QUICK ADD
The Beginner's Guide to…
by Steven Mcananey
Explore Series
eBook $4.99
Title: Learn Git in a Month of Lunches, Author: Rick Umali
QUICK ADD
Learn Git in a Month of…
by Rick Umali
eBook $30.99
Title: Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, Author: Mario Piattini
QUICK ADD
Quality of Information and…
by Mario Piattini (Editor), Paulo Rupino da Cunha (Editor), Ignacio García Rodríguez de Guzmán (Editor), Ricardo Pérez-Castillo (Editor)
#1010 in Series
eBook $84.99
Title: Wild West to Agile: Adventures in Software Development Evolution and Revolution, Author: Jim Highsmith
QUICK ADD
Wild West to Agile: Adventures…
by Jim Highsmith
eBook $33.99
Title: Engineers Survival Guide: Advice, tactics, and tricks After a decade of working at Facebook, Snapchat, and Microsoft, Author: Merih Taze
QUICK ADD
Engineers Survival Guide:…
by Merih Taze
eBook $19.99
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings, Author: Rashina Hoda
QUICK ADD
Agile Processes in Software…
by Rashina Hoda (Editor)
#364 in Series
eBook FREE
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
QUICK ADD
Verified Software. Theories,…
by Andrei Paskevich (Editor), Thomas Wies (Editor)
#10712 in Series
eBook $54.99
Title: Simplifying 3D Printing with OpenSCAD: Design, build, and test OpenSCAD programs to bring your ideas to life using 3D printers, Author: Colin Dow
QUICK ADD
Simplifying 3D Printing with…
by Colin Dow
eBook $39.99

Pagination Links