Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

HK$755

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

HK$996

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

HK$974

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

Declarative Logic Programming (Theory, Systems, and Applications (ACM Books))

By Kifer, Michael, Liu, Yanhong Annie

HK$1,150

Effective Theories in Programming Practice

By Misra, Jayadev

Effective Theories in Programming Practice

By Misra, Jayadev

HK$460

Code Nation (Personal Computing and the Learn to Program Movement in America (ACM Collection II))

By Michael J. Halvorson

Code Nation (Personal Computing and the Learn to Program Movement in America (ACM Collection II))

By Michael J. Halvorson

HK$600

Software (A Technical History (ACM Collection II))

By Kim W. Tracy

Software (A Technical History (ACM Collection II))

By Kim W. Tracy

HK$571

Edsger Wybe Dijkstra (His Life, Work, and Legacy (ACM Books))

By Krzysztof R. Apt, Tony Hoare

Edsger Wybe Dijkstra (His Life, Work, and Legacy (ACM Books))

By Krzysztof R. Apt, Tony Hoare

HK$871

Edsger Wybe Dijkstra (His Life, Work, and Legacy (ACM Books))

By Apt, Krzysztof R., Hoare, Tony

Edsger Wybe Dijkstra (His Life, Work, and Legacy (ACM Books))

By Apt, Krzysztof R., Hoare, Tony

HK$1,100 Elsewhere ~~HK$1,153.11~~ Save HK$53.11 (5%)

From Baylor to Baylor (1991-2006 ACM-ICPC World Finals)

By Miguel A Revilla, William B Poucher

From Baylor to Baylor (1991-2006 ACM-ICPC World Finals)

By Miguel A Revilla, William B Poucher

HK$207

The Essentials of Modern Software Engineering (Free the Practices from the Method Prisons! (ACM Books))

By Jacobson, Ivar, Lawson, Harold "Bud", Pan-Wei Ng, Paul E. McMahon

The Essentials of Modern Software Engineering (Free the Practices from the Method Prisons! (ACM Books))

By Jacobson, Ivar, Lawson, Harold "Bud", Pan-Wei Ng, Paul E. McMahon

HK$760

The Essentials of Modern Software Engineering (Free the Practices from the Method Prisons! (ACM Books))

By Ivar Jacobson, Harold "Bud" Lawson, Pan-Wei Ng, Paul E. McMahon

The Essentials of Modern Software Engineering (Free the Practices from the Method Prisons! (ACM Books))

By Ivar Jacobson, Harold "Bud" Lawson, Pan-Wei Ng, Paul E. McMahon

HK$940

The Continuing Arms Race (Code-Reuse Attacks and Defenses)

By Per Larsen, Ahmad-Reza Sadeghi

The Continuing Arms Race (Code-Reuse Attacks and Defenses)

By Per Larsen, Ahmad-Reza Sadeghi

HK$997

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable

By Shun, Julian

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable

By Shun, Julian

HK$832

1

Object Oriented Software Engineering (A Use Case Driven Approach (ACM Press))

By Ivar Jacobson, Magnus Christensen

Object Oriented Software Engineering (A Use Case Driven Approach (ACM Press))

By Ivar Jacobson, Magnus Christensen

HK$740

1

Semantic Web for the Working Ontologist (Effective Modeling for Linked Data, RDFS, and OWL (ACM Collection II))

By Hendler, James, Gandon, Fabien, Dean Allemang

Semantic Web for the Working Ontologist (Effective Modeling for Linked Data, RDFS, and OWL (ACM Collection II))

By Hendler, James, Gandon, Fabien, Dean Allemang

HK$600

Semantic Web for the Working Ontologist (Effective Modeling for Linked Data, RDFS, and OWL (ACM Collection II))

By Hendler, James, Gandon, Fabien, Dean Allemang

Semantic Web for the Working Ontologist (Effective Modeling for Linked Data, RDFS, and OWL (ACM Collection II))

By Hendler, James, Gandon, Fabien, Dean Allemang

HK$700 Elsewhere ~~HK$730.99~~ Save HK$30.99 (4%)

C++ How to Program

By Paul J. Deitel, Harvey M. Deitel

C++ How to Program

By Paul J. Deitel, Harvey M. Deitel

HK$1,795

1,293

Practical Database Programming with Java

By Bai, Ying

Practical Database Programming with Java

By Bai, Ying

HK$1,000

Foundations of Quantum Programming

By Ying, Mingsheng (Deputy Director for Research, Institute of Soft

Foundations of Quantum Programming

By Ying, Mingsheng (Deputy Director for Research, Institute of Soft

HK$1,140 Elsewhere ~~HK$1,184.00~~ Save HK$44.00 (4%)

Introduction to Python Programming

By S, Gowrishankar, A, Veena

Introduction to Python Programming

By S, Gowrishankar, A, Veena

HK$1,540 Elsewhere ~~HK$1,698.78~~ Save HK$158.78 (9%)

Program Logics for Certified Compilers

By Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer

Program Logics for Certified Compilers

By Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer

HK$500 Elsewhere ~~HK$823.55~~ Save HK$323.55 (39%)

7

Introduction to Programming Languages

By Bansal, Arvind Kumar (Kent State University, Department of Compu

Introduction to Programming Languages

By Bansal, Arvind Kumar (Kent State University, Department of Compu

HK$852 Elsewhere ~~HK$926.51~~ Save HK$74.51 (8%)

Programming Language Explorations

By Ray Toal, Rachel Rivera, Alexander Schneider, Eileen Choe

Programming Language Explorations

By Ray Toal, Rachel Rivera, Alexander Schneider, Eileen Choe

HK$1,540 Elsewhere ~~HK$1,750.26~~ Save HK$210.26 (12%)

View:
Safe Search(?):