981- 1000 of 3172 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, Author: Andreas Podelski
QUICK ADD
Static Analysis: 25th…
by Andreas Podelski (Editor)
#11002 in Series
Paperback $54.99
Title: Algorithmic Learning Theory: 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings, Author: Ming Li
QUICK ADD
Algorithmic Learning Theory:…
by Ming Li (Editor), Akira Maruoka (Editor)
#1316 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers, Author: Gheorghe Almási
QUICK ADD
Languages and Compilers for…
by Gheorghe Almási (Editor), Calin Cascaval (Editor), Peng Wu (Editor)
#4382 in Series
Paperback $54.99
Title: Implementing DirectAccess with Windows Server 2016, Author: Richard M. Hicks
QUICK ADD
Implementing DirectAccess with…
by Richard M. Hicks
Paperback $79.99
Title: High-Performance Scientific Computing: First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers, Author: Edoardo Di Napoli
QUICK ADD
High-Performance Scientific…
by Edoardo Di Napoli (Editor), Marc-André Hermanns (Editor), Hristo Iliev (Editor), Andreas Lintermann (Editor), Alexander Peyser (Editor)
#10164 in Series
Paperback $54.99
Title: Introduction to Parallel Computing: From Algorithms to Programming on State-of-the-Art Platforms, Author: Roman Trobec
QUICK ADD
Introduction to Parallel…
by Roman Trobec, Bostjan Slivnik, Patricio Bulic, Borut Robic
Explore Series
Paperback $44.99
Title: Haskell-Intensivkurs: Ein kompakter Einstieg in die funktionale Programmierung, Author: Marco Block
QUICK ADD
Haskell-Intensivkurs: Ein…
by Marco Block, Adrian Neumann
Explore Series
Paperback $49.99
Title: Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Author: Luïs Caires
QUICK ADD
Programming Languages and…
by Luïs Caires (Editor)
#11423 in Series
Paperback $59.99
Title: Java for Developers Pocket Primer, Author: Oswald Campesato
QUICK ADD
Java for Developers Pocket…
by Oswald Campesato
Explore Series
Paperback $41.95
Title: Augmenting Customer Experience with SharePoint Online: Building Portals and Practices to Improve Usability, Author: Charles Waghmare
QUICK ADD
Augmenting Customer Experience…
by Charles Waghmare
Paperback $44.99
Title: Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities, Author: Wolfram Koepf
QUICK ADD
Hypergeometric Summation: An…
by Wolfram Koepf
Explore Series
Paperback $84.99
Title: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computa, Author: Chandra Chekuri
QUICK ADD
Approximation, Randomization…
by Chandra Chekuri (Editor), Klaus Jansen (Editor), José D.P. Rolim (Editor), Luca Trevisan (Editor)
#3624 in Series
Paperback $54.99
Title: Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, Author: Cyrille Artho
QUICK ADD
Formal Techniques for…
by Cyrille Artho (Editor), Peter Csaba Ölveczky (Editor)
#476 in Series
Paperback $54.99
Title: Central European Functional Programming School: First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures, Author: Zoltán Horváth
QUICK ADD
Central European Functional…
by Zoltán Horváth
#4164 in Series
Paperback $54.99
Title: Introduction to SIMULA 67, Author: Lamprecht Günther
QUICK ADD
Introduction to SIMULA 67
by Lamprecht Günther
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Author: Jean-Christophe Filliatre
QUICK ADD
Types for Proofs and Programs:…
by Jean-Christophe Filliatre (Editor), Christine Paulin-Mohring (Editor), Benjamin Werner (Editor)
#3839 in Series
Paperback $54.99
Title: Software Engineering 3: Domains, Requirements, and Software Design, Author: Dines Bjørner
QUICK ADD
Software Engineering 3:…
by Dines Bjørner
Explore Series
Paperback $119.99
Title: Algorithmic Aspects of Graph Connectivity, Author: Hiroshi Nagamochi
QUICK ADD
Algorithmic Aspects of Graph…
by Hiroshi Nagamochi, Toshihide Ibaraki
#123 in Series
Paperback $60.00
Title: Learn Robotics Programming: Build and control cutting-edge AI robots with Raspberry Pi and Python, Author: Danny Staple Pre-Order Now
QUICK ADD
Learn Robotics Programming:…
by Danny Staple
Paperback $39.99
Title: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings, Author: Prasad Raghavendra
QUICK ADD
Approximation, Randomization,…
by Prasad Raghavendra (Editor), Sofya Raskhodnikova (Editor), Klaus Jansen (Editor), José D.P. Rolim (Editor)
#8096 in Series
Paperback $54.99

Pagination Links