941- 954 of 954 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
QUICK ADD
Static Analysis: 11th…
by Roberto Giacobazzi
#3148 in Series
Paperback $54.99
Title: Algorithmic Learning Theory: 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / Edition 1, Author: Yoav Freund
QUICK ADD
Algorithmic Learning Theory:…
by Yoav Freund, László Györfi, György Turán, Thomas Zeugmann
#5254 in Series
Paperback $54.99
Title: Algorithmic Learning Theory - ALT '92: Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings / Edition 1, Author: Shuji Doshita
QUICK ADD
Algorithmic Learning Theory -…
by Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyaki Nishida
#743 in Series
Paperback $54.99
Title: Concepts, Design, and Performance Analysis of a Parallel Prolog Machine / Edition 1, Author: Joachim Beer
QUICK ADD
Concepts, Design, and…
by Joachim Beer
#404 in Series
Paperback $54.99
Title: Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, Author: Cyrille Artho
QUICK ADD
Formal Techniques for…
by Cyrille Artho, Peter Csaba ïlveczky
#1008 in Series
Paperback $54.99
Title: Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings, Author: Lian Li
QUICK ADD
Theoretical Computer Science:…
by Lian Li, Pinyan Lu, Kun He
#882 in Series
Paperback $54.99
Title: Logics of Specification Languages / Edition 1, Author: Dines Bjørner
QUICK ADD
Logics of Specification…
by Dines Bjørner, Martin C. Henson
Explore Series
Paperback $169.99
Title: Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers, Author: Panos M. Pardalos
QUICK ADD
Learning and Intelligent…
by Panos M. Pardalos, Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros
#8426 in Series
Paperback $54.99
Title: Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 / Edition 1, Author: Peter van Beek
QUICK ADD
Principles and Practice of…
by Peter van Beek
#3709 in Series
Paperback $109.99
Title: P, NP, and NP-Completeness: The Basics of Computational Complexity, Author: Oded Goldreich
QUICK ADD
P, NP, and NP-Completeness:…
by Oded Goldreich
Paperback $55.00
Title: Practical Analysis of Algorithms, Author: Dana Vrajitoru
QUICK ADD
Practical Analysis of…
by Dana Vrajitoru, William Knight
Explore Series
Paperback $59.99
Title: ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings, Author: Richard Jones
QUICK ADD
ECOOP 2014 -- Object-Oriented…
by Richard Jones
#8586 in Series
Paperback $54.99
Title: Computational Complexity of Solving Equation Systems, Author: Przemyslaw Broniek
QUICK ADD
Computational Complexity of…
by Przemyslaw Broniek
Explore Series
Paperback $54.99
Title: Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, Author: Ahmed Bouajjani
QUICK ADD
Verification, Model Checking,…
by Ahmed Bouajjani, David Monniaux
#10145 in Series
Paperback $54.99

Pagination Links