FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

FM 2014: Formal Methods (19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering))

By Cliff Jones, Pekka Pihlajasaari, Jun Sun

HK$1,039

Theory and Models for Cyber Situation Awareness (Programming and Software Engineering)

By Peng Liu, Sushil Jajodia, Cliff Wang

Theory and Models for Cyber Situation Awareness (Programming and Software Engineering)

By Peng Liu, Sushil Jajodia, Cliff Wang

HK$537

The Async-First Playbook (Remote Collaboration Techniques for Agile Software Teams)

By Sumeet Gayathri Moghe

The Async-First Playbook (Remote Collaboration Techniques for Agile Software Teams)

By Sumeet Gayathri Moghe

HK$259 Elsewhere ~~HK$306.70~~ Save HK$47.70 (16%)

WPF 4.5 Unleashed (Unleashed)

By Nathan, Adam

WPF 4.5 Unleashed (Unleashed)

By Nathan, Adam

HK$497

80

The Road Map to Software Engineering (A Standards-Based Guide (Software Engineering Standards Series))

By James W.

The Road Map to Software Engineering (A Standards-Based Guide (Software Engineering Standards Series))

By James W.

HK$890 Elsewhere ~~HK$960.81~~ Save HK$70.81 (7%)

Java Concurrency in Practice

By Goetz, Brian F., Bloch, Joshua, Joshua Bloch, Doug Lea

Java Concurrency in Practice

By Goetz, Brian F., Bloch, Joshua, Joshua Bloch, Doug Lea

HK$411 Elsewhere ~~HK$454.99~~ Save HK$43.99 (10%)

2,885

Web Services (Theory and Practice)

By Anura Guruge

Web Services (Theory and Practice)

By Anura Guruge

HK$500

Karl Moore's Visual Basic .NET (The Tutorials)

By Karl Moore

Karl Moore's Visual Basic .NET (The Tutorials)

By Karl Moore

HK$400 Elsewhere ~~HK$460.11~~ Save HK$60.11 (13%)

The Ultimate Vb.Net and Asp.Net Code Book

By Karl Moore

The Ultimate Vb.Net and Asp.Net Code Book

By Karl Moore

HK$344 Elsewhere ~~HK$403.86~~ Save HK$59.86 (15%)

2

Internet Babylon (Secrets, Scandals, and Shocks on the Information Superhighway)

By Holden, Greg

Internet Babylon (Secrets, Scandals, and Shocks on the Information Superhighway)

By Holden, Greg

HK$260

5

excel* can do that!? (*only with VBA)

By Louis Janis, Jim Boston

excel* can do that!? (*only with VBA)

By Louis Janis, Jim Boston

HK$146

Think Like a Startup Founder (Anecdotes of an Incorrigible Entrepreneur)

By Jothy Rosenberg

Think Like a Startup Founder (Anecdotes of an Incorrigible Entrepreneur)

By Jothy Rosenberg

HK$240 Elsewhere ~~HK$316.93~~ Save HK$76.93 (24%)

Darknet (A Beginner's Guide to Staying Anonymous Online (Darknet))

By Lance Henderson

Darknet (A Beginner's Guide to Staying Anonymous Online (Darknet))

By Lance Henderson

HK$103

178

The Future of National Infrastructure (A System-Of-Systems Approach)

By Jim W. Hall, Robert J. Nicholls, Adrian J. Hickford

The Future of National Infrastructure (A System-Of-Systems Approach)

By Jim W. Hall, Robert J. Nicholls, Adrian J. Hickford

HK$1,093 Elsewhere ~~HK$1,196.54~~ Save HK$103.54 (9%)

The Essential Guide to Facilitating Project Management Workshops

By Lynda Carter, David Balan

The Essential Guide to Facilitating Project Management Workshops

By Lynda Carter, David Balan

HK$220

Murach's C# (7th Edition)

By Murach, Joel, Boehm, Anne

Murach's C# (7th Edition)

By Murach, Joel, Boehm, Anne

HK$500 Elsewhere ~~HK$623.74~~ Save HK$123.74 (20%)

Mastering Python Lists

By Marc Poulin

Mastering Python Lists

By Marc Poulin

HK$150

mural (A Formal Development Support System)

By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones

mural (A Formal Development Support System)

By C.B. Jones, J. Bicarregui, M. Elvang-Goransson, K.D. Jones

HK$554

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

HK$1,100

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

CONCUR '93 (4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 - Proceedings (Lecture Notes in Computer Science))

By Eike Best

HK$558

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming, Linkoping, Sweden, April, 22 - 24, 1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)

By Hanne Riis Nielson

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming, Linkoping, Sweden, April, 22 - 24, 1996. Proceedings (6th European Symposium on Programming, Linkoping, Sweden, April 22-24, 1996, Proceedings: 6th European Symposium on)

By Hanne Riis Nielson

HK$530

Advances in Cryptology - CRYPTO '96 (16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings (Lecture Notes in Computer Science))

By Neal Koblitz

Advances in Cryptology - CRYPTO '96 (16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings (Lecture Notes in Computer Science))

By Neal Koblitz

HK$540

Parallel Computing Technologies (12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Victor Malyshkin

Parallel Computing Technologies (12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Victor Malyshkin

HK$536

Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)

By Reisig, Wolfgang

Understanding Petri Nets (Modeling Techniques, Analysis Methods, Case Studies)

By Reisig, Wolfgang

HK$500

View:
Safe Search(?):