441- 457 of 457 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Program Synthesis, Author: Sumit Gulwani
QUICK ADD
Program Synthesis
by Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
#10 in Series
Paperback $90.00
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
QUICK ADD
Static Analysis: Third…
by Radhia Cousot, David A. Schmidt
#1145 in Series
Paperback $54.99
Title: Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers, Author: Santosh Pande
QUICK ADD
Languages and Compilers for…
by Santosh Pande (Editor), Vivek Sarkar (Editor)
#11998 in Series
Paperback $54.99
Title: Fearless Cross-Platform Development with Delphi: Expand your Delphi skills to build a new generation of Windows, web, mobile, and IoT applications, Author: David Cornelius
QUICK ADD
Fearless Cross-Platform…
by David Cornelius
Paperback $54.99
Title: Cryptography and Quantum Computing: Securing Business Information, Author: Bradley Tice
QUICK ADD
Cryptography and Quantum…
by Bradley Tice
Paperback $37.90
Title: Advanced Programming Language Design, Author: Raphael Finkel
QUICK ADD
Advanced Programming Language…
by Raphael Finkel
Paperback $166.65
Title: Beginning Ballerina Programming: From Novice to Professional, Author: Anjana Fernando
QUICK ADD
Beginning Ballerina…
by Anjana Fernando, Lakmal Warusawithana
Paperback $49.99
Title: CLOUD Computing - CLOUD 2024: 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings, Author: Yang Wang
QUICK ADD
CLOUD Computing - CLOUD 2024:…
by Yang Wang (Editor), Liang-Jie Zhang (Editor)
#15423 in Series
Paperback $54.99
Title: Cooperative Interfaces to Information Systems, Author: Leonard Bolc
QUICK ADD
Cooperative Interfaces to…
by Leonard Bolc (Editor), Matthias Jarke (Editor)
Explore Series
Paperback $109.99
Title: Genetic Programming: 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Author: Bing Xue
QUICK ADD
Genetic Programming: 28th…
by Bing Xue (Editor), Luca Manzoni (Editor), Illya Bakurov (Editor)
#15609 in Series
Paperback $64.99
Title: OpenGL ES 2 for Android: A Quick-Start Guide, Author: Kevin Brothaler
QUICK ADD
OpenGL ES 2 for Android: A…
by Kevin Brothaler
Explore Series
Paperback $38.00
Title: Embedded Software: Striving for excellence in development, Author: Jïrïme Dern
QUICK ADD
Embedded Software: Striving…
by Jïrïme Dern
Paperback $98.90
Title: The Book of R, 2nd Edition: A First Course in Programming and Statistics, Author: Tilman M. Davies Pre-Order Now
QUICK ADD
The Book of R, 2nd Edition: A…
by Tilman M. Davies
Paperback $79.99
Title: CSS3 Quick Syntax Reference: A Pocket Guide to the Cascading Style Sheets Language, Author: Mikael Olsson
QUICK ADD
CSS3 Quick Syntax Reference: A…
by Mikael Olsson
Paperback $37.99
Title: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation, Author: Antoine Min
QUICK ADD
Tutorial on Static Inference…
by Antoine Min
#11 in Series
Paperback $99.00
Title: Behavioral Types in Programming Languages, Author: Davide Ancona
QUICK ADD
Behavioral Types in…
by Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna
#8 in Series
Paperback $99.00
Title: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, Author: João Leite
QUICK ADD
Declarative Agent Languages…
by João Leite (Editor), Andrea Omicini (Editor), Paolo Torroni (Editor), Pinar Yolum (Editor)
#3476 in Series
Paperback $54.99

Pagination Links