Formal Methods Teaching (6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science))

By Emil Sekerinski, Leila Ribeiro

Formal Methods Teaching (6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science))

By Emil Sekerinski, Leila Ribeiro

HK$364

Formal Methods Teaching (5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science))

By Catherine Dubois, Pierluigi San Pietro

Formal Methods Teaching (5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science))

By Catherine Dubois, Pierluigi San Pietro

HK$464 Elsewhere ~~HK$513.60~~ Save HK$49.60 (10%)

Reflections on the Teaching of Programming (Methods and Implementations (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jens Bennedsen, Michael E. Caspersen, Michael Kölling

Reflections on the Teaching of Programming (Methods and Implementations (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jens Bennedsen, Michael E. Caspersen, Michael Kölling

HK$490

Learn ASP.NET 4.0, C# and Visual Studio 2010 Expert Skills with the Smart Method (Courseware Tutorial for Self-Instruction to Expert Level)

By Smart, Simon

Learn ASP.NET 4.0, C# and Visual Studio 2010 Expert Skills with the Smart Method (Courseware Tutorial for Self-Instruction to Expert Level)

By Smart, Simon

HK$392

2

Teaching Formal Methods (CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science))

By C. Neville Dean, Raymond T. Boute

Teaching Formal Methods (CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science))

By C. Neville Dean, Raymond T. Boute

HK$672

Teaching Formal Methods (Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jeremy Gibbons, Jose Oliveira

Teaching Formal Methods (Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jeremy Gibbons, Jose Oliveira

HK$490

Formal Methods Teaching (Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lectur ..)

By Brijesh Dongol, Luigia Petre, Graeme Smith

Formal Methods Teaching (Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lectur ..)

By Brijesh Dongol, Luigia Petre, Graeme Smith

HK$500

OOP Demystified (A Self-Teaching Guide (Demystified))

By James Keogh, Mario Giannini

OOP Demystified (A Self-Teaching Guide (Demystified))

By James Keogh, Mario Giannini

HK$225

1

Java Demystified (A Self-Teaching Guide (Demystified))

By Keogh, James

Java Demystified (A Self-Teaching Guide (Demystified))

By Keogh, James

HK$228

1

Systems Analysis and Design Methods

By Whitten, Jeffrey L., Bentley, Lonnie D., Whitten Jeffrey

Systems Analysis and Design Methods

By Whitten, Jeffrey L., Bentley, Lonnie D., Whitten Jeffrey

HK$700 Elsewhere ~~HK$1,643.76~~ Save HK$943.76 (57%)

1

Software Testing (A Self-Teaching Introduction)

By Rajiv Chopra

Software Testing (A Self-Teaching Introduction)

By Rajiv Chopra

HK$379 Elsewhere ~~HK$513.19~~ Save HK$134.19 (26%)

Handbook on Teaching Empirical Software Engineering

By Daniel Mendez, Paris Avgeriou, Marcos Kalinowski

Handbook on Teaching Empirical Software Engineering

By Daniel Mendez, Paris Avgeriou, Marcos Kalinowski

HK$1,956 Elsewhere ~~HK$2,054.72~~ Save HK$98.72 (5%)

The Teaching and Learning of Programming

By Stuart Garner

The Teaching and Learning of Programming

By Stuart Garner

HK$700

Fundamental Proof Methods in Computer Science (A Computer-Based Approach (Fundamental Proof Methods in Computer Science))

By Konstantine Arkoudas, David A. Musser

Fundamental Proof Methods in Computer Science (A Computer-Based Approach (Fundamental Proof Methods in Computer Science))

By Konstantine Arkoudas, David A. Musser

HK$640

The Patient Factor (Theories and Methods for Patient Ergonomics)

By Richard J. Holden, Rupa S. Valdez

The Patient Factor (Theories and Methods for Patient Ergonomics)

By Richard J. Holden, Rupa S. Valdez

HK$1,440 Elsewhere ~~HK$1,695.23~~ Save HK$255.23 (15%)

Component-Based Software Engineering (Methods and Metrics)

By Tiwari, Umesh Kumar, Kumar, Santosh

Component-Based Software Engineering (Methods and Metrics)

By Tiwari, Umesh Kumar, Kumar, Santosh

HK$760 Elsewhere ~~HK$1,078.78~~ Save HK$318.78 (30%)

Component-Based Software Engineering (Methods and Metrics)

By Tiwari, Umesh Kumar, Kumar, Santosh

Component-Based Software Engineering (Methods and Metrics)

By Tiwari, Umesh Kumar, Kumar, Santosh

HK$379 Elsewhere ~~HK$462.23~~ Save HK$83.23 (18%)

Introduction to Modern Scientific Programming and Numerical Methods

By Lubos Brieda, Joseph Wang, Robert Martin

Introduction to Modern Scientific Programming and Numerical Methods

By Lubos Brieda, Joseph Wang, Robert Martin

HK$722 Elsewhere ~~HK$770.46~~ Save HK$48.46 (6%)

Teaching and Learning Computer Programming (Multiple Research Perspectives)

By Barbara Mayer, John Ed Mayer

Teaching and Learning Computer Programming (Multiple Research Perspectives)

By Barbara Mayer, John Ed Mayer

HK$1,000 Elsewhere ~~HK$1,489.75~~ Save HK$489.75 (33%)

Analytic Methods in Systems and Software Testing

By Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin

Analytic Methods in Systems and Software Testing

By Ron S. Kenett, Fabrizio Ruggeri, Frederick W. Faltin

HK$699

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

By Jerzy Pejas, Andrzej Piegat

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

By Jerzy Pejas, Andrzej Piegat

HK$1,740 Elsewhere ~~HK$1,849.24~~ Save HK$109.24 (6%)

Quantitative Methods in Supply Chain Management (Models and Algorithms)

By Christou, Ioannis T.

Quantitative Methods in Supply Chain Management (Models and Algorithms)

By Christou, Ioannis T.

HK$1,300

Formal Methods in Manufacturing Systems (Recent Advances)

By Po Li, ZhiWu Li

Formal Methods in Manufacturing Systems (Recent Advances)

By Po Li, ZhiWu Li

HK$1,733 Elsewhere ~~HK$1,982.91~~ Save HK$249.91 (13%)

View:
Safe Search(?):