181- 188 of 188 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
QUICK ADD
Critical Systems: Formal…
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
#10471 in Series
Paperback $54.99
Title: Raku Fundamentals: A Primer with Examples, Projects, and Case Studies, Author: Moritz Lenz
QUICK ADD
Raku Fundamentals: A Primer…
by Moritz Lenz
Paperback $59.99
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
QUICK ADD
Static Analysis: 7th…
by Jens Palsberg
#1824 in Series
Paperback $54.99
Title: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
QUICK ADD
Euro-Par 2017: Parallel…
by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro
#10417 in Series
Paperback $54.99
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
QUICK ADD
Static Analysis: Third…
by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
#724 in Series
Paperback $54.99
Title: Domain-Specific Modeling: Enabling Full Code Generation / Edition 1, Author: Steven Kelly
QUICK ADD
Domain-Specific Modeling:…
by Steven Kelly, Juha-Pekka Tolvanen
Explore Series
Paperback $136.95
Title: Graph Data Model: and Its Data Language, Author: Hideko S. Kunii
QUICK ADD
Graph Data Model: and Its Data…
by Hideko S. Kunii, Gio Wiederhold (Foreword by)
Paperback $54.99
Title: Database Programming Languages: 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers, Author: Gosta Grahne
QUICK ADD
Database Programming Languages…
by Gosta Grahne (Editor), Giorgia Ghelli (Editor)
#2397 in Series
Paperback $54.99

Pagination Links