Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

HK$754

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

Verified Functional Programming in Agda (ACM Books)

By Stump, Aaron

HK$1,000

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

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

Effective Theories in Programming Practice

By Misra, Jayadev

Effective Theories in Programming Practice

By Misra, Jayadev

HK$471

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

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

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

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

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$1,032

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

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

C++ How to Program

By Paul J. Deitel, Harvey M. Deitel

C++ How to Program

By Paul J. Deitel, Harvey M. Deitel

HK$1,797

1,293

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,098 Elsewhere ~~HK$1,161.22~~ Save HK$63.22 (5%)

Practical Database Programming with Java

By Bai, Ying

Practical Database Programming with Java

By Bai, Ying

HK$996

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,500 Elsewhere ~~HK$1,716.58~~ Save HK$216.58 (13%)

Introduction to Programming Languages

By Arvind Kumar Bansal

Introduction to Programming Languages

By Arvind Kumar Bansal

HK$1,600 Elsewhere ~~HK$1,918.53~~ Save HK$318.53 (17%)

Introduction to Python Programming

By S, Gowrishankar, A, Veena

Introduction to Python Programming

By S, Gowrishankar, A, Veena

HK$1,500 Elsewhere ~~HK$1,666.09~~ Save HK$166.09 (10%)

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$800 Elsewhere ~~HK$908.68~~ Save HK$108.68 (12%)

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$481 Elsewhere ~~HK$807.70~~ Save HK$326.70 (40%)

7

View:
Safe Search(?):