901- 920 of 1363 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings / Edition 1, Author: Lars-Henrik Eriksson
QUICK ADD
Extensions of Logic…
by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
#596 in Series
Paperback $54.99
Title: Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings, Author: Friedrich Eisenbrand
QUICK ADD
Integer Programming and…
by Friedrich Eisenbrand, Jochen Koenemann
#10328 in Series
Paperback $54.99
Title: Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings, Author: Arnaud Carayol
QUICK ADD
Implementation and Application…
by Arnaud Carayol, Cyril Nicaud
#10329 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: Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, Author: Javier Campos
QUICK ADD
Quantitative Evaluation of…
by Javier Campos, Boudewijn R. Haverkort
#9259 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
QUICK ADD
Logic-Based Program Synthesis…
by Annalisa Bossi
#1817 in Series
Paperback $54.99
Title: Algorithmic Learning for Knowledge-Based Systems: GOSLER Final Report / Edition 1, Author: Klaus P. Jantke
QUICK ADD
Algorithmic Learning for…
by Klaus P. Jantke, Steffen Lange
#961 in Series
Paperback $54.99
Title: A Discipline of Multiprogramming: Programming Theory for Distributed Applications / Edition 1, Author: Jayadev Misra
QUICK ADD
A Discipline of…
by Jayadev Misra
Explore Series
Hardcover $54.99
Title: Spatial Audio Reproduction with Primary Ambient Extraction, Author: JianJun He
QUICK ADD
Spatial Audio Reproduction…
by JianJun He
Explore Series
Paperback $54.99
Title: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / Edition 1, Author: Jean-Charles Rïgin
QUICK ADD
Integration of AI and OR…
by Jean-Charles Rïgin, Michel Rueher
#3011 in Series
Paperback $54.99
Title: Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1, Author: Roland Backhouse
QUICK ADD
Mathematics of Program…
by Roland Backhouse, Jose Nuno Oliveira
#1837 in Series
Paperback $54.99
Title: Wireless Algorithms, Systems, and Applications: 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings, Author: Qing Yang
QUICK ADD
Wireless Algorithms, Systems,…
by Qing Yang, Wei Yu, Yacine Challal
#9798 in Series
Paperback $54.99
Title: Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings / Edition 1, Author: Celso C. Ribeiro
QUICK ADD
Experimental and Efficient…
by Celso C. Ribeiro, Simone L. Martins
#3059 in Series
Paperback $54.99
Title: Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers, Author: Ivan Dimov
QUICK ADD
Finite Difference Methods.…
by Ivan Dimov, Istvïn Faragï, Lubin Vulkov
#11386 in Series
Paperback $54.99
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded / Edition 1, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
#1472 in Series
Paperback $54.99
Title: Integrated Methods for Optimization / Edition 2, Author: John N. Hooker
QUICK ADD
Integrated Methods for…
by John N. Hooker
#170 in Series
Hardcover $54.99
Title: Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings, Author: Vlad Rusu
QUICK ADD
Rewriting Logic and Its…
by Vlad Rusu
#11152 in Series
Paperback $54.99
Title: Optimization in the Natural Sciences: 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers, Author: Alexander Plakhov
QUICK ADD
Optimization in the Natural…
by Alexander Plakhov, Tatiana Tchemisova, Adelaide Freitas
#499 in Series
Paperback $54.99
Title: Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, Author: Alessandro Abate
QUICK ADD
Hybrid Systems Biology: Fourth…
by Alessandro Abate, David Safranek
#9271 in Series
Paperback $54.99
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
Paperback $54.99

Pagination Links