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

Kategorija „Compilers and interpreters“

Rasta: 1222
  1. 1
  2. ...
  3. 13
  4. 14
  5. 15
  6. ...
Central European Functional Programming School: First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Temporal Logic and State Systems
-15% su kodu: ENG15
107,98 
127,03 
Išsiųsime per 11-15 d. d.
Introduction to C++ Programming and Graphics
-15% su kodu: ENG15
70,11 
82,48 
Išsiųsime per 11-15 d. d.
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Object-Oriented Programming Languages: Interpretation
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
49,01 
57,66 
Išsiųsime per 11-15 d. d.
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Object-Oriented Programming and Java
-15% su kodu: ENG15
70,11 
82,48 
Išsiųsime per 11-15 d. d.
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Static Analysis: 6th International Symposium, SAS99, Venice, Italy, September 22-24, 1999, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
-15% su kodu: ENG15
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
The Logic Programming Tutor
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Automatic Program Development: A Tribute to Robert Paige
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Computing with Parallel Architecture: T.Node
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Computing with T.Node Parallel Architecture
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Rasta: 1222
  1. 1
  2. ...
  3. 13
  4. 14
  5. 15
  6. ...