Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

Proof in VDM (A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)))

By Bicarregui, Juan C., Fitzgerald, John, P.A. Lindsay, R.C. Moore

HK$500

Compiler Design Using Java(R) (An Object-Oriented Approach)

By Moore, John I.

Compiler Design Using Java(R) (An Object-Oriented Approach)

By Moore, John I.

HK$340

Compiler Design Using Java(R) (An Object-Oriented Approach)

By John I. Moore

Compiler Design Using Java(R) (An Object-Oriented Approach)

By John I. Moore

HK$345 Elsewhere ~~HK$473.16~~ Save HK$128.16 (27%)

Rationale for the Design of the Ada Programming Language (The Ada Companion Series)

By J. Ichbiah, J. Barnes, R. Firth, M. Woodger

Rationale for the Design of the Ada Programming Language (The Ada Companion Series)

By J. Ichbiah, J. Barnes, R. Firth, M. Woodger

HK$984 Elsewhere ~~HK$1,441.63~~ Save HK$457.63 (32%)

Surviving the SOC Revolution (A Guide to Platform-Based Design)

By Henry Chang, L. R. Cooke, Merrill Hunt, Grant L. Martin

Surviving the SOC Revolution (A Guide to Platform-Based Design)

By Henry Chang, L. R. Cooke, Merrill Hunt, Grant L. Martin

HK$1,053

SWAT '90 (2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings (Lecture Notes in Computer Science))

By John R. Gilbert, Rolf Karlsson

SWAT '90 (2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings (Lecture Notes in Computer Science))

By John R. Gilbert, Rolf Karlsson

HK$535

Optimization of Learning Applications for Signal P rocessing and System Identification with MATLAB (R)

By Martin Andersen, Anders Hansson

Optimization of Learning Applications for Signal P rocessing and System Identification with MATLAB (R)

By Martin Andersen, Anders Hansson

HK$900 Elsewhere ~~HK$1,014.29~~ Save HK$114.29 (11%)

Perspectives on Adaptation in Natural and Artificial Systems (Essays in Honor of John Holland (Santa Fe Institute Studies on the Sciences of Complexity))

By Lashon Booker, Stephanie Forrest, Melanie Mitchell, Rick Riolo

Perspectives on Adaptation in Natural and Artificial Systems (Essays in Honor of John Holland (Santa Fe Institute Studies on the Sciences of Complexity))

By Lashon Booker, Stephanie Forrest, Melanie Mitchell, Rick Riolo

HK$700 Elsewhere ~~HK$772.30~~ Save HK$72.30 (9%)

Evaluating Software Architectures (Methods and Case Studies (SEI Series in Software Engineering))

By Clements, Paul, Kazman, Rick, Mark Klein

Evaluating Software Architectures (Methods and Case Studies (SEI Series in Software Engineering))

By Clements, Paul, Kazman, Rick, Mark Klein

HK$798

1

C++ How to Program (Early Objects Version)

By Paul J. Deitel, Harvey M. Deitel

C++ How to Program (Early Objects Version)

By Paul J. Deitel, Harvey M. Deitel

HK$1,300

1,289

We, Programmers (A Chronicle of Coders from Ada to AI (Robert C. Martin Series))

By Robert C. Martin

We, Programmers (A Chronicle of Coders from Ada to AI (Robert C. Martin Series))

By Robert C. Martin

HK$278 Elsewhere ~~HK$329.41~~ Save HK$51.41 (16%)

Software Defined Radio (Enabling Technologies: Enabling Technologies (Wiley Series in Software Radio))

By Wally H.W. Tuttlebee

Software Defined Radio (Enabling Technologies: Enabling Technologies (Wiley Series in Software Radio))

By Wally H.W. Tuttlebee

HK$1,440 Elsewhere ~~HK$1,657.36~~ Save HK$217.36 (13%)

Logical Frameworks

By Gerard Huet, G. Plotkin

Logical Frameworks

By Gerard Huet, G. Plotkin

HK$581 Elsewhere ~~HK$926.66~~ Save HK$345.66 (37%)

Cambridge Tracts in Theoretical Computer Science (Series Number 41: Epistemic Logic for AI and Computer Science)

By John-Jules Ch. Meyer, W.Van Der Hoek, John-Jules Ch Meyer, S. Abramsky

Cambridge Tracts in Theoretical Computer Science (Series Number 41: Epistemic Logic for AI and Computer Science)

By John-Jules Ch. Meyer, W.Van Der Hoek, John-Jules Ch Meyer, S. Abramsky

HK$500 Elsewhere ~~HK$597.14~~ Save HK$97.14 (16%)

Algorithmic Game Theory

By Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani

Algorithmic Game Theory

By Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani

HK$600

1

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

HK$588 Elsewhere ~~HK$720.71~~ Save HK$132.71 (18%)

Technology Assessment in Software Applications

By Harold F. O'Neil, Eva L. Baker, Eva L. Baker, Eva L. Baker

Technology Assessment in Software Applications

By Harold F. O'Neil, Eva L. Baker, Eva L. Baker, Eva L. Baker

HK$1,340 Elsewhere ~~HK$1,544.61~~ Save HK$204.61 (13%)

Computer Algorithms (String Pattern Matching Strategies (Practitioners))

By Aoe, Jun-Ichi, Ieee

Computer Algorithms (String Pattern Matching Strategies (Practitioners))

By Aoe, Jun-Ichi, Ieee

HK$840

High Integrity Software (The Springer International Series in Engineering and Computer Science)

By Victor L. Winter, Sourav Bhattacharaya

High Integrity Software (The Springer International Series in Engineering and Computer Science)

By Victor L. Winter, Sourav Bhattacharaya

HK$1,474

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

HK$431

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

Giants of Computing (A Compendium of Select, Pivotal Pioneers)

By O'Regan, Gerard

HK$736

High Integrity Software (Springer International Series in Engineering and Computer Science The)

By Victor L. Winter, Sourav Bhattacharya

High Integrity Software (Springer International Series in Engineering and Computer Science The)

By Victor L. Winter, Sourav Bhattacharya

HK$1,300

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

Linear Optimization (The Simplex Workbook (Undergraduate Texts in Mathematics))

By Glenn H. Hurlbert

HK$500

View:
Safe Search(?):