41- 60 of 826 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers, Author: Ivan Dimov
QUICK ADD
Finite Difference…
by Ivan Dimov, István Faragó, Lubin Vulkov
#9045 in Series
Paperback $54.99
Title: The Way of Z: Practical Programming with Formal Methods / Edition 1, Author: Jonathan Jacky
QUICK ADD
The Way of Z: Practical…
by Jonathan Jacky
Paperback $74.99
Title: SolidWorks for Technology and Engineering / Edition 2, Author: James Valentino
QUICK ADD
SolidWorks for Technology and…
by James Valentino, Nicholas DiZinno
Paperback $119.95
Title: Programming in C++: Object Oriented Features / Edition 1, Author: Laxmisha Rai
QUICK ADD
Programming in C++: Object…
by Laxmisha Rai, China Science Publishing & Media Ltd.
#5 in Series
Paperback $82.99
Title: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Javier Esparza
QUICK ADD
Foundations of Software…
by Javier Esparza, Andrzej S. Murawski
#10203 in Series
Paperback $54.99
Title: Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wroclaw, Poland, September 11-12, 2014, Revised Selected Papers, Author: Evripidis Bampis
QUICK ADD
Approximation and Online…
by Evripidis Bampis, Ola Svensson
#8952 in Series
Paperback $54.99
Title: Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, Author: Vladimir P. Gerdt
QUICK ADD
Computer Algebra in Scientific…
by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
#9890 in Series
Paperback $54.99
Title: Reflections on the Teaching of Programming: Methods and Implementations / Edition 1, Author: Jens Bennedsen
QUICK ADD
Reflections on the Teaching of…
by Jens Bennedsen, Michael E. Caspersen, Michael Kölling
#4821 in Series
Paperback $54.99
Title: Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Albert Cohen
QUICK ADD
Compiler Construction: 23rd…
by Albert Cohen
#8409 in Series
Paperback $54.99
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
QUICK ADD
Inductive Logic Programming:…
by Stephen Muggleton
#1314 in Series
Paperback $54.99
Title: The Synthesizer Generator Reference Manual / Edition 3, Author: Thomas W. Reps
QUICK ADD
The Synthesizer Generator…
by Thomas W. Reps, Tim Teitelbaum
Explore Series
Paperback $109.99
Title: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, Author: Daniel Kroening
QUICK ADD
Computer Aided Verification:…
by Daniel Kroening, Corina S. Pasareanu
#9206 in Series
Paperback $54.99
Title: Essentials of Constraint Programming / Edition 1, Author: Thom Frühwirth
QUICK ADD
Essentials of Constraint…
by Thom Frühwirth, Slim Abdennadher
Explore Series
Paperback $54.99
Title: Business Modeling: A Practical Guide to Realizing Business Value, Author: David M. Bridgeland
QUICK ADD
Business Modeling: A Practical…
by David M. Bridgeland, Ron Zahavi
Explore Series
Paperback $67.95
Title: Theory and Practice of Natural Computing: 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings, Author: Carlos Martín-Vide
QUICK ADD
Theory and Practice of Natural…
by Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez
#10687 in Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / Edition 1, Author: Tobias Nipkow
QUICK ADD
Rewriting Techniques and…
by Tobias Nipkow
#1379 in Series
Paperback $54.99
Title: Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, Author: Sandrine Blazy
QUICK ADD
Static Analysis: 22nd…
by Sandrine Blazy, Thomas Jensen
#9291 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
QUICK ADD
Logic-Based Program Synthesis…
by Germán Puebla
#4407 in Series
Paperback $54.99
Title: Algorithmic Aspects in Information and Management: Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings / Edition 1, Author: Siu-Wing Cheng
QUICK ADD
Algorithmic Aspects in…
by Siu-Wing Cheng, Chung Keung Poon
#4041 in Series
Paperback $54.99
Title: Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings, Author: Penousal Machado
QUICK ADD
Genetic Programming: 18th…
by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez
#9025 in Series
Paperback $54.99

Pagination Links