821- 833 of 833 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Constraint Handling Rules: Current Research Topics / Edition 1, Author: Tom Schrijvers
QUICK ADD
Constraint Handling Rules:…
by Tom Schrijvers, Thom Frühwirth
#5388 in Series
Paperback $54.99
Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / Edition 1, Author: Henk Schepers
QUICK ADD
Software and Compilers for…
by Henk Schepers
#3199 in Series
Paperback $54.99
Title: Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings, Author: Michael G. Main
QUICK ADD
Mathematical Foundations of…
by Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
#442 in Series
Paperback $54.99
Title: Spatially Structured Evolutionary Algorithms: Artificial Evolution in Space and Time / Edition 1, Author: Marco Tomassini
QUICK ADD
Spatially Structured…
by Marco Tomassini
Explore Series
Paperback $54.99
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Edition 1, Author: Hubert Comon
QUICK ADD
Rewriting Techniques and…
by Hubert Comon
#1232 in Series
Paperback $54.99
Title: Engineering Self-Organising Systems: Methodologies and Applications / Edition 1, Author: Sven A. Brueckner
QUICK ADD
Engineering Self-Organising…
by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal
#3464 in Series
Paperback $54.99
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings / Edition 1, Author: Alan Mycroft
QUICK ADD
Static Analysis: Second…
by Alan Mycroft
#983 in Series
Paperback $54.99
Title: Combinatorial Pattern Matching: 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings, Author: Alexander S. Kulikov
QUICK ADD
Combinatorial Pattern Matching…
by Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner
#8486 in Series
Paperback $54.99
Title: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, Author: Constantin Enea
QUICK ADD
Verification, Model Checking,…
by Constantin Enea, Ruzica Piskac
#11388 in Series
Paperback $54.99
Title: Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, Author: Michele Boreale
QUICK ADD
Models, Languages, and Tools…
by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
#11665 in Series
Paperback $54.99
Title: Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, Author: Claude-Guy Quimper
QUICK ADD
Integration of AI and OR…
by Claude-Guy Quimper
#9676 in Series
Paperback $54.99
Title: Parsing Techniques: A Practical Guide / Edition 2, Author: Dick Grune
QUICK ADD
Parsing Techniques: A…
by Dick Grune, Ceriel J.H. Jacobs
Explore Series
Paperback $249.99
Title: Software Management / Edition 7, Author: Donald J. Reifer
QUICK ADD
Software Management / Edition…
by Donald J. Reifer, Barry Boehm
#16 in Series
Paperback $125.95

Pagination Links