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$356

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$360 Elsewhere ~~HK$455.41~~ Save HK$95.41 (21%)

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$900 Elsewhere ~~HK$1,387.54~~ Save HK$487.54 (35%)

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,000

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$500

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$860 Elsewhere ~~HK$976.23~~ Save HK$116.23 (12%)

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$677 Elsewhere ~~HK$991.10~~ Save HK$314.10 (32%)

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$900

1

Advances in Computers (High Performance Computing)

By Marvin V. Zelkowitz

Advances in Computers (High Performance Computing)

By Marvin V. Zelkowitz

HK$1,400

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,360

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$274 Elsewhere ~~HK$317.05~~ Save HK$43.05 (14%)

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$560 Elsewhere ~~HK$693.67~~ Save HK$133.67 (19%)

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,460 Elsewhere ~~HK$1,595.17~~ Save HK$135.17 (8%)

Logical Frameworks

By Gerard Huet, G. Plotkin

Logical Frameworks

By Gerard Huet, G. Plotkin

HK$540 Elsewhere ~~HK$891.89~~ Save HK$351.89 (39%)

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$475 Elsewhere ~~HK$574.74~~ Save HK$99.74 (17%)

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$560 Elsewhere ~~HK$594.56~~ Save HK$34.56 (6%)

1

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,400

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,297 Elsewhere ~~HK$1,486.65~~ Save HK$189.65 (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$851

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$425

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$700

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$537

View:
Safe Search(?):