541- 560 of 567 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings, Author: Baudouin LeCharlier
QUICK ADD
Static Analysis: First…
by Baudouin LeCharlier (Editor)
#864 in Series
Paperback $54.99
Title: Beginning C++20: From Novice to Professional, Author: Ivor Horton
QUICK ADD
Beginning C++20: From Novice…
by Ivor Horton, Peter Van Weert
eBook $69.99
Title: Optimierung und Performancesteigerung bei der Generierung von VHDL-Modellen analoger Schaltungen, Author: Christoph Holzbaur
QUICK ADD
Optimierung und…
by Christoph Holzbaur
Paperback $53.90
Title: Learn R for Applied Statistics: With Data Visualizations, Regressions, and Statistics, Author: Eric Goh Ming Hui
QUICK ADD
Learn R for Applied Statistics…
by Eric Goh Ming Hui
Paperback $59.99
Title: The Fascist Experience: Italian Society and Culture, 1922-1945, Author: Edward R. Tannenbaum
QUICK ADD
The Fascist Experience:…
by Edward R. Tannenbaum
Hardcover $63.99
Title: Introduction to Concurrency in Programming Languages, Author: Matthew J. Sottile
QUICK ADD
Introduction to Concurrency in…
by Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen
Explore Series
Hardcover $120.00
Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
QUICK ADD
Isomorphisms of Types: from…
by Roberto DiCosmo
Explore Series
Paperback $54.99
Title: Probabilistic Trace and Testing Semantics: The Importance of Being Coherent, Author: Marco Bernardo
QUICK ADD
Probabilistic Trace and…
by Marco Bernardo
#19 in Series
Paperback $75.00
Title: Numeric Computation and Statistical Data Analysis on the Java Platform, Author: Sergei V. Chekanov
QUICK ADD
Numeric Computation and…
by Sergei V. Chekanov
Explore Series
eBook $99.00
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: Programming Rust, Author: Jim Blandy
QUICK ADD
Programming Rust
by Jim Blandy, Jason Orendorff, Leonora F. S. Tindall
eBook $67.99
Title: The Book of R, 2nd Edition: A First Course in Programming and Statistics, Author: Tilman M. Davies Pre-Order Now
QUICK ADD
The Book of R, 2nd Edition: A…
by Tilman M. Davies
Paperback $79.99
Title: Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings, Author: Agostino Cortesi
QUICK ADD
Static Analysis: 6th…
by Agostino Cortesi (Editor), Gilberto File (Editor)
#1694 in Series
Paperback $54.99
Title: EDV-System zur dynamischen Abbildung von Kunden-Lieferanten-Beziehungen, Author: Thomas Hoffmann PhD
QUICK ADD
EDV-System zur dynamischen…
by Thomas Hoffmann PhD
Paperback $73.90
Title: Fundamentals of Programming Languages, Author: E. Horowitz
QUICK ADD
Fundamentals of Programming…
by E. Horowitz
Paperback $54.99
Title: Testing and Tuning Market Trading Systems: Algorithms in C++, Author: Timothy Masters
QUICK ADD
Testing and Tuning Market…
by Timothy Masters
eBook $59.99
Title: Languages and Compilers for Parallel Computing: 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers, Author: Charith Mendis
QUICK ADD
Languages and Compilers for…
by Charith Mendis (Editor), Lawrence Rauchwerger (Editor)
#13829 in Series
eBook $59.99
Title: Raku Fundamentals: A Primer with Examples, Projects, and Case Studies, Author: Moritz Lenz
QUICK ADD
Raku Fundamentals: A Primer…
by Moritz Lenz
eBook $59.99
Title: Methods in Medical Informatics: Fundamentals of Healthcare Programming in Perl, Python, and Ruby, Author: Jules J. Berman
QUICK ADD
Methods in Medical Informatics…
by Jules J. Berman
#39 in Series
Hardcover $240.00
Title: Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Edition 1, Author: Patrick Cousot
QUICK ADD
Static Analysis: 8th…
by Patrick Cousot
#2126 in Series
Paperback $54.99

Pagination Links