1- 20 of 939 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Write Powerful Rust Macros, Author: Sam Van Overmeire
QUICK ADD
Write Powerful Rust Macros
by Sam Van Overmeire
Paperback $59.99
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel, Sanjit A. Seshia
#9593 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel (Editor), Sanjit A. Seshia (Editor)
#9593 in Series
eBook $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
#8471 in Series
eBook $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou, Daniel Kroening
#8471 in Series
Paperback $54.99
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: 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, Thomas Wies
#10712 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty, Jorge A. Navas
#12031 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty (Editor), Jorge A. Navas (Editor)
#12031 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac (Editor), Philipp Rümmer (Editor)
#11294 in Series
eBook $54.99
Title: Verification and Analysis of Computer Systems, Author: Henry Skinner
QUICK ADD
Verification and Analysis of…
by Henry Skinner (Editor)
Hardcover $161.00
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert (Editor), Shah Rukh Humayoun (Editor), Norbert Seyff (Editor), Anna Perini (Editor), Simone D.J. Barbosa (Editor)
#9312 in Series
eBook $54.99
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa
#9312 in Series
Paperback $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny, Serge Haddad, Alex Yakovlev
#8910 in Series
Paperback $54.99
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
QUICK ADD
Transactions on Petri Nets and…
by Maciej Koutny (Editor), Serge Haddad (Editor), Alex Yakovlev (Editor)
#8910 in Series
eBook $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford
#10600 in Series
Paperback $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble (Editor), Ralph Johnson (Editor), Uwe Zdun (Editor), Eugene Wallingford (Editor)
#10600 in Series
eBook $54.99
Title: Transactions on Modularity and Composition I, Author: Shigeru Chiba
QUICK ADD
Transactions on Modularity and…
by Shigeru Chiba (Editor), Mario Südholt (Editor), Patrick Eugster (Editor), Lukasz Ziarek (Editor), Gary T. Leavens (Editor)
#9800 in Series
eBook $84.99
Title: Transactions on Modularity and Composition I, Author: Shigeru Chiba
QUICK ADD
Transactions on Modularity and…
by Shigeru Chiba, Mario Sïdholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens
#9800 in Series
Paperback $84.99

Pagination Links