41- 60 of 826 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King
QUICK ADD
Logic-Based Program Synthesis…
by Andy King
#4915 in Series
Paperback $54.99
Title: Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / Edition 1, Author: Ute Schmid
QUICK ADD
Inductive Synthesis of…
by Ute Schmid
#2654 in Series
Paperback $54.99
Title: Experimental Algorithms: 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings / Edition 1, Author: Camil Demetrescu
QUICK ADD
Experimental Algorithms: 6th…
by Camil Demetrescu
#4525 in Series
Paperback $54.99
Title: Algorithmic Information Theory: Mathematics of Digital Information Processing / Edition 1, Author: Peter Seibt
QUICK ADD
Algorithmic Information Theory…
by Peter Seibt
Explore Series
Paperback $169.99
Title: Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, Author: Xavier Rival
QUICK ADD
Static Analysis: 23rd…
by Xavier Rival
#9837 in Series
Paperback $54.99
Title: Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Author: Chiara Bodei
QUICK ADD
Programming Languages with…
by Chiara Bodei, Gianluigi Ferrari, Corrado Priami
#9465 in Series
Paperback $54.99
Title: Python Algorithms: Mastering Basic Algorithms in the Python Language / Edition 1, Author: Magnus Lie Hetland
QUICK ADD
Python Algorithms: Mastering…
by Magnus Lie Hetland
Paperback $79.99
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
#3904 in Series
Paperback $54.99
Title: Advanced Data Mining and Applications: 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings / Edition 1, Author: Changjie Tang
QUICK ADD
Advanced Data Mining and…
by Changjie Tang, Charles X. Ling, Xiaofang Zhou, Nick Cercone, Xue Li
#5139 in Series
Paperback $109.99
Title: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Edition 1, Author: Gopalan Nadathur
QUICK ADD
Principles and Practice of…
by Gopalan Nadathur
#1702 in Series
Paperback $54.99
Title: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / Edition 1, Author: Corrado Priami
QUICK ADD
Global Computing. Programming…
by Corrado Priami
#2874 in Series
Paperback $54.99
Title: Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings, Author: Cyril Gavoille
QUICK ADD
Distributed Computing: 30th…
by Cyril Gavoille, David Ilcinkas
#9888 in Series
Paperback $54.99
Title: Simulated Evolution and Learning: Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27, 1998 Selected Papers / Edition 1, Author: Bob McKay
QUICK ADD
Simulated Evolution and…
by Bob McKay, Xin Yao, Charles S. Newton, Jong-Hwan Kim, Takeshi Furuhashi
#1585 in Series
Paperback $54.99
Title: Evolvable Systems: From Biology to Hardware: First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers / Edition 1, Author: Tetsuya Higuchi
QUICK ADD
Evolvable Systems: From…
by Tetsuya Higuchi, Masaya Iwata, Liu Weixin
#1259 in Series
Paperback $54.99
Title: Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, Author: Vladimir P. Gerdt
QUICK ADD
Computer Algebra in Scientific…
by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
#10490 in Series
Paperback $79.99
Title: ES6 for Humans: The Latest Standard of JavaScript: ES2015 and Beyond, Author: Deepak Grover
QUICK ADD
ES6 for Humans: The Latest…
by Deepak Grover, Hanu Prateek Kunduru
Paperback $54.99
Title: Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers, Author: Angelo Sifaleras
QUICK ADD
Variable Neighborhood Search:…
by Angelo Sifaleras, Said Salhi, Jack Brimberg
#11328 in Series
Paperback $69.99
Title: Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Recent Trends in Algebraic…
by José Luiz Fiadeiro, Ionu? ?u?u
#11563 in Series
Paperback $54.99
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: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, Author: Swarat Chaudhuri
QUICK ADD
Computer Aided Verification:…
by Swarat Chaudhuri, Azadeh Farzan
#9780 in Series
Paperback $54.99

Pagination Links