Book Sections
More Sections
No tags found in this collection
-
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
ESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised Selected Papers - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint European Conferences on Theory and - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19, 2005, Revised Selected Papers - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Component-Based Software Engineering: 8th International Symposium, Cbse 2005, St. Louis, Mo, Usa, May 14-15, 2005 - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990 - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Analogical and Inductive Inference: International Workshop Aii '89 Reinhardsbrunn Castle, Gdr, October 1-6, 1989, Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Grammatical Inference: Algorithms and Applications: 6th International Colloquium: Icgi 2002, Amsterdam, the Netherlands, September 23-25, 2002. Procee - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Foundations of Information and Knowledge Systems: Third International Symposium, Foiks 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Pr - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Fst Tcs 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Building Recommendation Systems in Python and Jax: Hands-On Production Systems at Scale - Paperback
Vendor:BooksCloudRegular price $79.99Regular price -
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
Neuro-Symbolic AI: Design transparent and trustworthy systems that understand the world as you do - Paperback
Vendor:BooksCloudRegular price $60.46Regular price -
Advanced Chip Design, Practical Examples in Verilog - Paperback
Vendor:BooksCloudRegular price $56.70Regular price -
Propositional Logic as a Boolean Algebra - a New Perspective: Vol. 1 - Paperback
Vendor:BooksCloudRegular price $40.84Regular price -
30 Essential Algorithms in Python - Paperback
Vendor:BooksCloudRegular price $14.26Regular price -
Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings - Paperback
Vendor:BooksCloudRegular price $89.08Regular price -
The ZX Spectrum Ula: How to Design a Microcomputer - Paperback
Vendor:BooksCloudRegular price $63.11Regular price -
How Transistor Area Shrank by 1 Million Fold - Paperback
Vendor:BooksCloudRegular price $64.78Regular price -
Make: FPGAs: Turning Software Into Hardware with Eight Fun and Easy DIY Projects - Paperback
Vendor:BooksCloudRegular price $29.99Regular price -
Algoritmos: Guía práctica para aprender algoritmos para principiantes - Paperback
Vendor:BooksCloudRegular price $30.76Regular price -
Logic in Games - Paperback
Vendor:BooksCloudRegular price $108.00Regular price -
Making Futures Work: Integrating Futures Thinking for Design, Innovation, and Strategy - Paperback
Vendor:BooksCloudRegular price $53.98Regular price -
Specification of Software Systems - Hardcover
Vendor:BooksCloudRegular price $89.08Regular price -
Logic Design and Verification Using SystemVerilog (Revised) - Paperback
Vendor:BooksCloudRegular price $94.43Regular price -
AI and UX: Why Artificial Intelligence Needs User Experience - Paperback
Vendor:BooksCloudRegular price $48.58Regular price -
DMN Method and Style: 3rd edition, with DMN Cookbook - Paperback
Vendor:BooksCloudRegular price $64.73Regular price
