Name: Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995
Brand: Springer
SKU: 34085166
Price: 1260 HKD
Availability: InStock

Constructing Predictable Real Time Systems (The Springer International Series in Engineering and Computer Science)

By W.A. Halang, Alexander D. Stoyenko

Constructing Predictable Real Time Systems (The Springer International Series in Engineering and Computer Science)

By W.A. Halang, Alexander D. Stoyenko

HK$1,440

Design and Implementation of Programming Languages (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By J.H. Williams, D.A. Fisher

Design and Implementation of Programming Languages (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By J.H. Williams, D.A. Fisher

HK$459

Programming and Performance Visualization Tools (International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers (Programming and ..)

By Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony

Programming and Performance Visualization Tools (International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers (Programming and ..)

By Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony

HK$551

Verification, Model Checking, and Abstract Interpretation (9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

Verification, Model Checking, and Abstract Interpretation (9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

HK$500

Engineering a Compiler

By Cooper, Keith D. (Department of Computer Science, Rice Universit, Torczon, Linda (Principal Investigator on the Massively Scalar C

Engineering a Compiler

By Cooper, Keith D. (Department of Computer Science, Rice Universit, Torczon, Linda (Principal Investigator on the Massively Scalar C

HK$858

Make a 2D RPG in a Weekend (Second Edition: With RPG Maker Mv)

By Perez, Darrin

Make a 2D RPG in a Weekend (Second Edition: With RPG Maker Mv)

By Perez, Darrin

HK$594

7

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

HK$1,797

Programming Languages (An Active Learning Approach)

By Kent D. Lee

Programming Languages (An Active Learning Approach)

By Kent D. Lee

HK$831

APL 2 in Depth

By Polivka, Raymond P., Thomson, Norman D.

APL 2 in Depth

By Polivka, Raymond P., Thomson, Norman D.

HK$496

APL Programs for the Mathematics Classroom

By Thomson, Norman D.

APL Programs for the Mathematics Classroom

By Thomson, Norman D.

HK$486

Prolog and its Applications (A Japanese Perspective (Chapman & Hall Computing))

By Fumio Mizoguchi, N.D. Cook

Prolog and its Applications (A Japanese Perspective (Chapman & Hall Computing))

By Fumio Mizoguchi, N.D. Cook

HK$500

Compilers (Principles, Techniques, and Tools)

By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman

Compilers (Principles, Techniques, and Tools)

By Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman

HK$2,160

2,998

Computer Algebra with LISP and REDUCE (An Introduction to Computer-aided Pure Mathematics (Mathematics and Its Applications))

By Constales, D., Brackx, F.

Computer Algebra with LISP and REDUCE (An Introduction to Computer-aided Pure Mathematics (Mathematics and Its Applications))

By Constales, D., Brackx, F.

HK$1,140

Computing with T. Node Parallel Architecture (Eurocourse Lectures (Eurocourses: Computer and Information Science (Closed)))

By D. Heidrich, J. C. Grossetie

Computing with T. Node Parallel Architecture (Eurocourse Lectures (Eurocourses: Computer and Information Science (Closed)))

By D. Heidrich, J. C. Grossetie

HK$1,300

Algol-Like Languages (Vol I (Progress in Theoretical Computer Science))

By Peter W. O'Hearn, Robert D. Tennent

Algol-Like Languages (Vol I (Progress in Theoretical Computer Science))

By Peter W. O'Hearn, Robert D. Tennent

HK$934

Algol-like Languages (Vol II (Progress in Theoretical Computer Science))

By Peter W. O'Hearn, Robert D. Tennent

Algol-like Languages (Vol II (Progress in Theoretical Computer Science))

By Peter W. O'Hearn, Robert D. Tennent

HK$940

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

HK$1,800

Programming Languages (An Active Learning Approach)

By Lee, Kent D.

Programming Languages (An Active Learning Approach)

By Lee, Kent D.

HK$800

Python Programming Fundamentals (2014 (Undergraduate Topics in Computer Science))

By Lee, Kent D.

Python Programming Fundamentals (2014 (Undergraduate Topics in Computer Science))

By Lee, Kent D.

HK$351

Natural Language Generation Systems (Symbolic computation/Artificial Intelligence)

By David D. McDonald, Leonard Bolc

Natural Language Generation Systems (Symbolic computation/Artificial Intelligence)

By David D. McDonald, Leonard Bolc

HK$500

Parallel Programming and Compilers (The Springer International Series in Engineering and Computer Science)

By Polychronopoulos, Constantine D.

Parallel Programming and Compilers (The Springer International Series in Engineering and Computer Science)

By Polychronopoulos, Constantine D.

HK$493

Algol-like Languages (Progress in Theoretical Computer Science)

By Peter W. O'Hearn, Robert D. Tennent

Algol-like Languages (Progress in Theoretical Computer Science)

By Peter W. O'Hearn, Robert D. Tennent

HK$900

Technology of Object-Oriented Languages, Systems and Architectures (Springer International Series in Engineering and Computer Science The)

By Theo D'Hondt

Technology of Object-Oriented Languages, Systems and Architectures (Springer International Series in Engineering and Computer Science The)

By Theo D'Hondt

HK$900

Vlisp a Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995)

By Joshua D. Guttman, Mitchell Wand

Vlisp a Verified Implementation of Scheme (A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995)

By Joshua D. Guttman, Mitchell Wand

HK$1,260 Elsewhere ~~HK$1,312.58~~ Save HK$52.58 (4%)

View:
Safe Search(?):