Logic and Computation (Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science))

By Lawrence C. Paulson, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Logic and Computation (Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science))

By Lawrence C. Paulson, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$440 Elsewhere ~~HK$514.77~~ Save HK$74.77 (15%)

Proof Theory (A Selection of Papers from the Leeds Proof Theory Programme 1990)

By Peter Aczel, Harold Simmons, Stanley S. Wainer

Proof Theory (A Selection of Papers from the Leeds Proof Theory Programme 1990)

By Peter Aczel, Harold Simmons, Stanley S. Wainer

HK$797 Elsewhere ~~HK$957.66~~ Save HK$160.66 (17%)

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

By L.M.G. Feijs, H.B.M. Jonkers, C.J. van Rijsbergen, S. Abramsky

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

By L.M.G. Feijs, H.B.M. Jonkers, C.J. van Rijsbergen, S. Abramsky

HK$428 Elsewhere ~~HK$494.17~~ Save HK$66.17 (13%)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

HK$700 Elsewhere ~~HK$998.74~~ Save HK$298.74 (30%)

11

Modern Fortran (Style and Usage)

By Norman S. Clerman, Walter Spector

Modern Fortran (Style and Usage)

By Norman S. Clerman, Walter Spector

HK$687 Elsewhere ~~HK$926.66~~ Save HK$239.66 (26%)

Cambridge Tracts in Theoretical Computer Science (Series Number 10: Theoretical Foundations of VLSI Design)

By K. McEvoy, J. V. Tucker, C.J. van Rijsbergen, S. Abramsky

Cambridge Tracts in Theoretical Computer Science (Series Number 10: Theoretical Foundations of VLSI Design)

By K. McEvoy, J. V. Tucker, C.J. van Rijsbergen, S. Abramsky

HK$485 Elsewhere ~~HK$504.47~~ Save HK$19.47 (4%)

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$409 Elsewhere ~~HK$494.17~~ Save HK$85.17 (17%)

Information Flow (The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science))

By Jon Barwise, Jerry Seligman, C. J. Van Rijsbergen, S. Abramsky

Information Flow (The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science))

By Jon Barwise, Jerry Seligman, C. J. Van Rijsbergen, S. Abramsky

HK$536 Elsewhere ~~HK$679.52~~ Save HK$143.52 (21%)

Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)

By N. Shankar, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)

By N. Shankar, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$329 Elsewhere ~~HK$442.68~~ Save HK$113.68 (26%)

Cambridge Tracts in Theoretical Computer Science (Series Number 8: Formal Semantics and Pragmatics for Natural Language Querying)

By James Clifford, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

Cambridge Tracts in Theoretical Computer Science (Series Number 8: Formal Semantics and Pragmatics for Natural Language Querying)

By James Clifford, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

HK$336 Elsewhere ~~HK$442.68~~ Save HK$106.68 (24%)

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%)

Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)

By J.C.M. Baeten, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)

By J.C.M. Baeten, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$660 Elsewhere ~~HK$885.47~~ Save HK$225.47 (25%)

1

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science)

By Gregory J. Chaitin, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science)

By Gregory J. Chaitin, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel

HK$378 Elsewhere ~~HK$494.17~~ Save HK$116.17 (24%)

Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)

By Ernest G. Manes, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel

Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)

By Ernest G. Manes, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel

HK$434 Elsewhere ~~HK$535.36~~ Save HK$101.36 (19%)

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

By Peter D. Mosses, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

By Peter D. Mosses, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$495 Elsewhere ~~HK$535.36~~ Save HK$40.36 (8%)

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

By Marianne Winslett, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

By Marianne Winslett, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

HK$304 Elsewhere ~~HK$380.90~~ Save HK$76.90 (20%)

Cambridge Tracts in Theoretical Computer Science (Series Number 46: Domains and Lambda-Calculi)

By Amadio, Roberto M., Curien, Pierre-Louis, Amadio Roberto M., S. Abramsky

Cambridge Tracts in Theoretical Computer Science (Series Number 46: Domains and Lambda-Calculi)

By Amadio, Roberto M., Curien, Pierre-Louis, Amadio Roberto M., S. Abramsky

HK$1,000 Elsewhere ~~HK$1,390.15~~ Save HK$390.15 (28%)

Fundamentals of OOP and Data Structures in Java

By Richard S. Wiener, Lewis J. Pinson

Fundamentals of OOP and Data Structures in Java

By Richard S. Wiener, Lewis J. Pinson

HK$700 Elsewhere ~~HK$772.20~~ Save HK$72.20 (9%)

Mastering ENVY/Developer (SIGS (Advances in Object Technology))

By Joseph Pelrine, Alan Knight, Adrian Cho, Richard S. Wiener

Mastering ENVY/Developer (SIGS (Advances in Object Technology))

By Joseph Pelrine, Alan Knight, Adrian Cho, Richard S. Wiener

HK$555 Elsewhere ~~HK$700.12~~ Save HK$145.12 (21%)

Bluetooth Essentials for Programmers

By Albert S., Larry

Bluetooth Essentials for Programmers

By Albert S., Larry

HK$367 Elsewhere ~~HK$494.17~~ Save HK$127.17 (26%)

1

C++ Design Patterns and Derivatives Pricing (Mathematics, Finance and Risk)

By M. S.

C++ Design Patterns and Derivatives Pricing (Mathematics, Finance and Risk)

By M. S.

HK$486 Elsewhere ~~HK$617.74~~ Save HK$131.74 (21%)

1

Modern Fortran (Style and Usage)

By Clerman, Norman S., Spector, Walter

Modern Fortran (Style and Usage)

By Clerman, Norman S., Spector, Walter

HK$414 Elsewhere ~~HK$494.17~~ Save HK$80.17 (16%)

1

Global IT Outsourcing (Software Development across Borders)

By Sundeep Sahay, Brian Nicholson, S. Krishna

Global IT Outsourcing (Software Development across Borders)

By Sundeep Sahay, Brian Nicholson, S. Krishna

HK$660 Elsewhere ~~HK$833.98~~ Save HK$173.98 (21%)

Javatech (An Introduction to Scientific and Technical Computing with Java)

By Clark S. Lindsey, Tolliver, Johnny S., Thomas Lindblad

Javatech (An Introduction to Scientific and Technical Computing with Java)

By Clark S. Lindsey, Tolliver, Johnny S., Thomas Lindblad

HK$1,200

View:
Safe Search(?):