The Correctness-by-Construction Approach to Programming

By Watson, Bruce W., Kourie, Derrick G.

The Correctness-by-Construction Approach to Programming

By Watson, Bruce W., Kourie, Derrick G.

HK$940

1

The Correctness-By-Construction Approach to Programming

By Kourie, Derrick G., Watson, Bruce W.

The Correctness-By-Construction Approach to Programming

By Kourie, Derrick G., Watson, Bruce W.

HK$900

Relations and Graphs (Discrete Mathematics for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series))

By Schmidt, Gunther, Ströhlein, Thomas

Relations and Graphs (Discrete Mathematics for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series))

By Schmidt, Gunther, Ströhlein, Thomas

HK$900

Environmental Economics (In Theory and Practice)

By Hanley, Shogren White, Hanley, Nick, White, Ben, Jason F. Shogren

Environmental Economics (In Theory and Practice)

By Hanley, Shogren White, Hanley, Nick, White, Ben, Jason F. Shogren

HK$678 Elsewhere ~~HK$1,947.46~~ Save HK$1,269.46 (65%)

Joe Celko's SQL for Smarties (Advanced SQL Programming (The Morgan Kaufmann Series in Data Management Systems))

By Joe Celko

Joe Celko's SQL for Smarties (Advanced SQL Programming (The Morgan Kaufmann Series in Data Management Systems))

By Joe Celko

HK$658

1

Control of Complex Systems (Theory and Applications)

By Dr. Kyriakos G. Vamvoudakis, Jagannathan Sarangapani

Control of Complex Systems (Theory and Applications)

By Dr. Kyriakos G. Vamvoudakis, Jagannathan Sarangapani

HK$1,240 Elsewhere ~~HK$1,417.82~~ Save HK$177.82 (13%)

Optimum-Path Forest (Theory, Algorithms, and Applications)

By Alexandre Xavier Falcao, João Paulo Papa

Optimum-Path Forest (Theory, Algorithms, and Applications)

By Alexandre Xavier Falcao, João Paulo Papa

HK$1,000 Elsewhere ~~HK$1,222.61~~ Save HK$222.61 (18%)

The Art of Computer Programming, Volume 4, Fascicle 7, (Constraint Satisfaction)

By Donald E. Knuth

The Art of Computer Programming, Volume 4, Fascicle 7, (Constraint Satisfaction)

By Donald E. Knuth

HK$298

Category Theory for the Sciences (Category Theory for the Sciences)

By Spivak, David I. (Research Scientist, Massachusetts Institute of

Category Theory for the Sciences (Category Theory for the Sciences)

By Spivak, David I. (Research Scientist, Massachusetts Institute of

HK$500 Elsewhere ~~HK$534.25~~ Save HK$34.25 (6%)

Optimization Theory for Large Syste

By Lasdon

Optimization Theory for Large Syste

By Lasdon

HK$237 Elsewhere ~~HK$256.75~~ Save HK$19.75 (8%)

Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science)

By Gyorgy E. Revesz

Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science)

By Gyorgy E. Revesz

HK$396 Elsewhere ~~HK$513.60~~ Save HK$117.60 (23%)

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)

By Andrea Asperti, Stefano Guerrini

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)

By Andrea Asperti, Stefano Guerrini

HK$675 Elsewhere ~~HK$791.00~~ Save HK$116.00 (15%)

Concise Encyclopedia of Coding Theory

By W. Cary Huffman, Jon-Lark Kim, Patrick Sole

Concise Encyclopedia of Coding Theory

By W. Cary Huffman, Jon-Lark Kim, Patrick Sole

HK$755 Elsewhere ~~HK$842.37~~ Save HK$87.37 (10%)

Spatial Complexity in Urban Design Research (Graph Visualization Tools for Communities and their Contexts (Routledge Critical Studies in Urbanism and the City))

By Jamie O’Brien

Spatial Complexity in Urban Design Research (Graph Visualization Tools for Communities and their Contexts (Routledge Critical Studies in Urbanism and the City))

By Jamie O’Brien

HK$429 Elsewhere ~~HK$451.96~~ Save HK$22.96 (5%)

Handbook of Applications of Chaos Theory

By Christos H. Skiadas, Charilaos Skiadas

Handbook of Applications of Chaos Theory

By Christos H. Skiadas, Charilaos Skiadas

HK$632

Linear Programming and Its Applications (Undergraduate Texts in Mathematics)

By Strayer, James K.

Linear Programming and Its Applications (Undergraduate Texts in Mathematics)

By Strayer, James K.

HK$700

Federated Learning (Theory and Practice)

By Lam M. Nguyen, Trong Nghia Hoang, Pin-Yu Chen

Federated Learning (Theory and Practice)

By Lam M. Nguyen, Trong Nghia Hoang, Pin-Yu Chen

HK$900 Elsewhere ~~HK$985.80~~ Save HK$85.80 (9%)

Meta-Learning (Theory, Algorithms and Applications)

By Zou, Lan (Columnist, Association for the Advancement of Artifici

Meta-Learning (Theory, Algorithms and Applications)

By Zou, Lan (Columnist, Association for the Advancement of Artifici

HK$900 Elsewhere ~~HK$985.80~~ Save HK$85.80 (9%)

Archaeological Method and Theory (An Encyclopedia)

By Linda Ellis

Archaeological Method and Theory (An Encyclopedia)

By Linda Ellis

HK$1,557 Elsewhere ~~HK$2,876.74~~ Save HK$1,319.74 (46%)

Foundations of Discrete Mathematics with Algorithms and Programming

By Balakrishnan, R., Sridharan, Sriraman

Foundations of Discrete Mathematics with Algorithms and Programming

By Balakrishnan, R., Sridharan, Sriraman

HK$1,040 Elsewhere ~~HK$1,335.63~~ Save HK$295.63 (22%)

Kernelization (Theory of Parameterized Preprocessing)

By Fomin, Fedor V., Lokshtanov, Daniel, Saket Saurabh, Meirav Zehavi

Kernelization (Theory of Parameterized Preprocessing)

By Fomin, Fedor V., Lokshtanov, Daniel, Saket Saurabh, Meirav Zehavi

HK$600

Competitive Programming in Python (128 Algorithms to Develop your Coding Skills)

By Durr Christoph Durr, Vie Jill-Jenn Vie, Greg Gibbons, Daniele Gibbons

Competitive Programming in Python (128 Algorithms to Develop your Coding Skills)

By Durr Christoph Durr, Vie Jill-Jenn Vie, Greg Gibbons, Daniele Gibbons

HK$363

An Introduction to Sage Programming (With Applications to Sage Interacts for Numerical Methods)

By Mezei, Razvan A.

An Introduction to Sage Programming (With Applications to Sage Interacts for Numerical Methods)

By Mezei, Razvan A.

HK$600 Elsewhere ~~HK$667.30~~ Save HK$67.30 (10%)

Distributed Systems - Theory and Applications

By Ratan K. Ghosh, Hiranmay Ghosh

Distributed Systems - Theory and Applications

By Ratan K. Ghosh, Hiranmay Ghosh

HK$768 Elsewhere ~~HK$857.88~~ Save HK$89.88 (10%)

View:
Safe Search(?):