Just Announced: The Children's & YA Book Awards Winners Explore Now
41- 60 of 1248 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: High-Performance Compilers for Parallel Computing / Edition 1, Author: Michael Wolfe
QUICK ADD
High-Performance Compilers for…
by Michael Wolfe, Carter Shanklin, Leda Ortega
Paperback $133.32
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: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
QUICK ADD
Static Analysis: 11th…
by Roberto Giacobazzi
#3148 in Series
Paperback $54.99
Title: Program Development in Java: Abstraction, Specification, and Object-Oriented Design / Edition 1, Author: Barbara Liskov
QUICK ADD
Program Development in Java:…
by Barbara Liskov, John Guttag, B. Liskov
Hardcover $74.99
Title: Semantics Engineering with PLT Redex, Author: Matthias Felleisen
QUICK ADD
Semantics Engineering with PLT…
by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Explore Series
Hardcover $55.00
Title: Software Architect's Handbook: Become a successful software architect by implementing effective architecture concepts, Author: Joseph Ingeno
QUICK ADD
Software Architect's Handbook:…
by Joseph Ingeno
Paperback $54.99
Title: Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings / Edition 1, Author: Nachum Dershowitz
QUICK ADD
Conditional and Typed…
by Nachum Dershowitz, Naomi Lindenstrauss
#968 in Series
Paperback $54.99
Title: Frontiers in Algorithmics: 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings, Author: Daming Zhu
QUICK ADD
Frontiers in Algorithmics:…
by Daming Zhu, Sergey Bereg
#9711 in Series
Paperback $54.99
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
QUICK ADD
Cooperation in Heterogeneous…
by Dirk Fuchs
Hardcover $36.00
Title: WALCOM: Algorithms and Computation: 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings, Author: Mohammad Kaykobad
QUICK ADD
WALCOM: Algorithms and…
by Mohammad Kaykobad, Rossella Petreschi
#9627 in Series
Paperback $54.99
Title: Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation / Edition 1, Author: Pedro Larraïaga
QUICK ADD
Estimation of Distribution…
by Pedro Larraïaga, Josï A. Lozano
#2 in Series
Hardcover $219.99
Title: Advances in Computers, Author: Atif Memon
QUICK ADD
Advances in Computers
by Atif Memon
#113 in Series
Hardcover $182.00
Title: Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation / Edition 1, Author: Lars Wehmeyer
QUICK ADD
Fast, Efficient and…
by Lars Wehmeyer, Peter Marwedel
Paperback $109.99
Title: Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, Author: Manuel Mazzara
QUICK ADD
Perspectives of System…
by Manuel Mazzara, Andrei Voronkov
#9609 in Series
Paperback $54.99
Title: Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, Author: Edward Hirsch
QUICK ADD
Computer Science - Theory and…
by Edward Hirsch, Sergei O. Kuznetsov, Jean-Éric Pin, Nikolay Vereshchagin
#8476 in Series
Paperback $54.99
Title: Algorithms for Sensor Systems: 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers, Author: Marek Chrobak
QUICK ADD
Algorithms for Sensor Systems:…
by Marek Chrobak, Antonio Fernández Anta, Leszek Gasieniec, Ralf Klasing
#10050 in Series
Paperback $54.99
Title: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1, Author: Enrico Giunchiglia
QUICK ADD
Theory and Applications of…
by Enrico Giunchiglia, Armando Tacchella
#2919 in Series
Paperback $54.99
Title: Similarity Search: The Metric Space Approach / Edition 1, Author: Pavel Zezula
QUICK ADD
Similarity Search: The Metric…
by Pavel Zezula, Giuseppe Amato, Vlastislav Dohnal, Michal Batko
#32 in Series
Hardcover $109.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / Edition 1, Author: Hongbo Li
QUICK ADD
Computer Algebra and Geometric…
by Hongbo Li, Peter J. Olver, Gerald Sommer
#3519 in Series
Paperback $54.99

Pagination Links