941- 960 of 1440 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings, Author: Domenico Salvagnin
QUICK ADD
Integration of AI and OR…
by Domenico Salvagnin, Michele Lombardi
#10335 in Series
Paperback $54.99
Title: Security of Industrial Control Systems and Cyber-Physical Systems: Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers, Author: Nora Cuppens-Boulahia
QUICK ADD
Security of Industrial Control…
by Nora Cuppens-Boulahia, Costas Lambrinoudakis, Frédéric Cuppens, Sokratis Katsikas
#10166 in Series
Paperback $54.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: Learn Unity for Android Game Development: A Guide to Game Design, Development, and Marketing, Author: Adam Sinicki
QUICK ADD
Learn Unity for Android Game…
by Adam Sinicki
Paperback $59.99
Title: Parameterized Algorithms, Author: Marek Cygan
QUICK ADD
Parameterized Algorithms
by Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Dïniel Marx
Paperback $54.99
Title: Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I, Author: Ying Tan
QUICK ADD
Advances in Swarm Intelligence…
by Ying Tan, Hideyuki Takagi, Yuhui Shi
#10385 in Series
Paperback $54.99
Title: Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings, Author: Yixin Cao
QUICK ADD
Computing and Combinatorics:…
by Yixin Cao, Jianer Chen
#10392 in Series
Paperback $54.99
Title: Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings, Author: Alessandro Abate
QUICK ADD
Numerical Software…
by Alessandro Abate, Sylvie Boldo
#10381 in Series
Paperback $54.99
Title: Algorithms and Programs of Dynamic Mixture Estimation: Unified Approach to Different Types of Components, Author: Ivan Nagy
QUICK ADD
Algorithms and Programs of…
by Ivan Nagy, Evgenia Suzdaleva
Explore Series
Paperback $54.99
Title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, Author: Rupak Majumdar
QUICK ADD
Computer Aided Verification:…
by Rupak Majumdar, Viktor Kuncak
#10426 in Series
Paperback $54.99
Title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, Author: Rupak Majumdar
QUICK ADD
Computer Aided Verification:…
by Rupak Majumdar, Viktor Kuncak
#10427 in Series
Paperback $54.99
Title: Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings, Author: Stefania Costantini
QUICK ADD
Rules and Reasoning:…
by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri
#10364 in Series
Paperback $54.99
Title: Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, Author: Émilie Charlier
QUICK ADD
Developments in Language…
by Émilie Charlier, Julien Leroy, Michel Rigo
#10396 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Author: Manuel V Hermenegildo
QUICK ADD
Logic-Based Program Synthesis…
by Manuel V Hermenegildo, Pedro Lopez-Garcia
#10184 in Series
Paperback $54.99
Title: Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, Author: Marco Bozzano
QUICK ADD
Model-Based Safety and…
by Marco Bozzano, Yiannis Papadopoulos
#10437 in Series
Paperback $54.99
Title: Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, Author: Christos Zaroliagis
QUICK ADD
Algorithms, Probability,…
by Christos Zaroliagis, Grammati Pantziou, Spyros Kontogiannis
#9295 in Series
Paperback $54.99
Title: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Alessandro Abate
QUICK ADD
Formal Modeling and Analysis…
by Alessandro Abate, Gilles Geeraerts
#10419 in Series
Paperback $54.99
Title: Algorithms and Architectures for Parallel Processing: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings, Author: Shadi Ibrahim
QUICK ADD
Algorithms and Architectures…
by Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz
#10393 in Series
Paperback $109.99
Title: Practical Concurrent Haskell: With Big Data Applications, Author: Stefania Loredana Nita
QUICK ADD
Practical Concurrent Haskell:…
by Stefania Loredana Nita, Marius Mihailescu
Paperback $64.99
Title: Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Nathalie Bertrand
QUICK ADD
Quantitative Evaluation of…
by Nathalie Bertrand, Luca Bortolussi
#10503 in Series
Paperback $54.99

Pagination Links