Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Kategorija „Compilers and interpreters“

Rasta: 1222
  1. 1
  2. ...
  3. 23
  4. 24
  5. 25
  6. ...
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
62,34 
77,92 
Išsiųsime per 11-15 d. d.
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
62,34 
77,92 
Išsiųsime per 11-15 d. d.
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
62,34 
77,92 
Išsiųsime per 11-15 d. d.
Iterating Infusion: Clearer Views of Objects, Classes, and Systems
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
55,38 
69,23 
Išsiųsime per 11-15 d. d.
The Interaction of Compilation Technology and Computer Architecture
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
135,50 
169,38 
Išsiųsime per 11-15 d. d.
Multiprocessor Execution of Logic Programs
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
203,26 
254,08 
Išsiųsime per 11-15 d. d.
Artificial Intelligence Through Search
-20% su kodu: BOOKS
203,26 
254,08 
Išsiųsime per 11-15 d. d.
Specification of Software Systems
-20% su kodu: BOOKS
65,98 
82,48 
Išsiųsime per 11-15 d. d.
PASCAL User Manual and Report
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Constraint Programming
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Learn C++ for Game Development
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
92,38 
115,48 
Išsiųsime per 11-15 d. d.
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
65,05 
81,31 
Išsiųsime per 11-15 d. d.
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
65,05 
81,31 
Išsiųsime per 11-15 d. d.
Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
104,70 
130,88 
Išsiųsime per 11-15 d. d.
Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops
-20% su kodu: BOOKS
59,38 
74,23 
Išsiųsime per 11-15 d. d.
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Instruction Sequences for Computer Science
-20% su kodu: BOOKS
135,50 
169,38 
Išsiųsime per 11-15 d. d.
Programming Smalltalk ¿ Object-Orientation from the Beginning: An introduction to the principles of programming
-20% su kodu: BOOKS
72,58 
90,73 
Išsiųsime per 11-15 d. d.
Microcomputer: Problem Solving Using PASCAL
-20% su kodu: BOOKS
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Concrete Semantics: With Isabelle/HOL
-20% su kodu: BOOKS
98,98 
123,73 
Išsiųsime per 11-15 d. d.
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Guide to Assembly Language: A Concise Introduction
-20% su kodu: BOOKS
72,53 
90,66 
Išsiųsime per 11-15 d. d.
C++ 2013 for C# Developers
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
79,18 
98,98 
Išsiųsime per 11-15 d. d.
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
54,21 
67,76 
Išsiųsime per 11-15 d. d.
Software Technologies: 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
-20% su kodu: BOOKS
Knyga minkštu viršeliu
(0)
67,74 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 1222
  1. 1
  2. ...
  3. 23
  4. 24
  5. 25
  6. ...