Formal Methods and Software Engineering (11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Programming and Software Engineering))

By Karin Breitman, Ana Cavalcanti

Formal Methods and Software Engineering (11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Programming and Software Engineering))

By Karin Breitman, Ana Cavalcanti

HK$1,100

Generative and Transformational Techniques in Software Engineering III (International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers (Programming and Software Engineering))

By Joao M. Fernandes, Ralf Lammel, Joost Visser, Joao Saraiva

Generative and Transformational Techniques in Software Engineering III (International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers (Programming and Software Engineering))

By Joao M. Fernandes, Ralf Lammel, Joost Visser, Joao Saraiva

HK$600

Software Tools for the Simulation of Electrical Systems (Theory and Practice)

By Kumar, L. Ashok, PhD (Professor, Department of Electrical and El, Indragandhi, V. (Associate Professor, School of Electrical Engin, Uma Y. Maheswari

Software Tools for the Simulation of Electrical Systems (Theory and Practice)

By Kumar, L. Ashok, PhD (Professor, Department of Electrical and El, Indragandhi, V. (Associate Professor, School of Electrical Engin, Uma Y. Maheswari

HK$860 Elsewhere ~~HK$991.14~~ Save HK$131.14 (13%)

For Fun and Profit (A History of the Free and Open Source Software Revolution (History of Computing))

By Tozzi, Christopher (Assistant Professor of History, Howard Unive

For Fun and Profit (A History of the Free and Open Source Software Revolution (History of Computing))

By Tozzi, Christopher (Assistant Professor of History, Howard Unive

HK$383

Research and Evidence in Software Engineering (From Empirical Studies to Open Source Artifacts)

By Varun Gupta, Chetna Gupta

Research and Evidence in Software Engineering (From Empirical Studies to Open Source Artifacts)

By Varun Gupta, Chetna Gupta

HK$1,000 Elsewhere ~~HK$1,394.52~~ Save HK$394.52 (28%)

Research and Evidence in Software Engineering (From Empirical Studies to Open Source Artifacts)

By Varun Gupta, Chetna Gupta

Research and Evidence in Software Engineering (From Empirical Studies to Open Source Artifacts)

By Varun Gupta, Chetna Gupta

HK$600 Elsewhere ~~HK$712.65~~ Save HK$112.65 (16%)

The Architecture of Scientific Software (IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada (IFIP Advances in Information and Communication Technology))

By Ronald F. Boisvert, Ping Tak Peter Tang

The Architecture of Scientific Software (IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada (IFIP Advances in Information and Communication Technology))

By Ronald F. Boisvert, Ping Tak Peter Tang

HK$2,073

Software Synthesis from Dataflow Graphs (The Springer International Series in Engineering and Computer Science)

By Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

Software Synthesis from Dataflow Graphs (The Springer International Series in Engineering and Computer Science)

By Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee

HK$1,100

Metadata-driven Software Systems in Biomedicine (Designing Systems that can adapt to Changing Knowledge (Health Informatics))

By Nadkarni, Prakash M.

Metadata-driven Software Systems in Biomedicine (Designing Systems that can adapt to Changing Knowledge (Health Informatics))

By Nadkarni, Prakash M.

HK$940

Computer-Supported Collaboration (With Applications to Software Development (Springer International Series in Engineering and Computer Science The))

By McHugh, James A. M., Deek, Fadi P.

Computer-Supported Collaboration (With Applications to Software Development (Springer International Series in Engineering and Computer Science The))

By McHugh, James A. M., Deek, Fadi P.

HK$1,000

Business Component-Based Software Engineering (The Springer International Series in Engineering and Computer Science)

By Franck Barbier

Business Component-Based Software Engineering (The Springer International Series in Engineering and Computer Science)

By Franck Barbier

HK$1,140

Computer-Supported Collaboration (With Applications to Software Development (Springer International Series in Engineering and Computer Science The))

By McHugh, James A. M., Deek, Fadi P.

Computer-Supported Collaboration (With Applications to Software Development (Springer International Series in Engineering and Computer Science The))

By McHugh, James A. M., Deek, Fadi P.

HK$1,134

The Architecture of Scientific Software (IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada (IFIP Advances in Information and Communication Technology))

By Ronald F. Boisvert, Ping Tak Peter Tang

The Architecture of Scientific Software (IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada (IFIP Advances in Information and Communication Technology))

By Ronald F. Boisvert, Ping Tak Peter Tang

HK$1,893

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

By Ou, Jingzhao, Prasanna, Viktor K. (Univ. of Southern California, Los Angeles, , Viktor K. Prasanna

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

By Ou, Jingzhao, Prasanna, Viktor K. (Univ. of Southern California, Los Angeles, , Viktor K. Prasanna

HK$1,740 Elsewhere ~~HK$2,117.60~~ Save HK$377.60 (18%)

Metadata-driven Software Systems in Biomedicine (Designing Systems that can adapt to Changing Knowledge (Health Informatics))

By Nadkarni, Prakash M.

Metadata-driven Software Systems in Biomedicine (Designing Systems that can adapt to Changing Knowledge (Health Informatics))

By Nadkarni, Prakash M.

HK$1,086

What Every Engineer Should Know about Software Engineering (What Every Engineer Should Know)

By Laplante, Phillip A. (The Pennsylvania State University, Malvern, Kassab, Mohamad

What Every Engineer Should Know about Software Engineering (What Every Engineer Should Know)

By Laplante, Phillip A. (The Pennsylvania State University, Malvern, Kassab, Mohamad

HK$454 Elsewhere ~~HK$485.39~~ Save HK$31.39 (6%)

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

By Jingzhao Ou, Viktor K. Prasanna, Viktor K. Prasanna

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware (Chapman & Hall/CRC Computer and Information Science Series)

By Jingzhao Ou, Viktor K. Prasanna, Viktor K. Prasanna

HK$700 Elsewhere ~~HK$774.63~~ Save HK$74.63 (10%)

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

HK$1,900

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

By Guillermo Payá-Vayá, Holger Blume

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

By Guillermo Payá-Vayá, Holger Blume

HK$365

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

HK$1,937

ECOOP 2014 -- Object-Oriented Programming (28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard Jones

ECOOP 2014 -- Object-Oriented Programming (28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard Jones

HK$660

Modeling and Verification of Real-Time Systems (Formalisms and Software Tools)

By Nicolas Navet, Stephan Merz

Modeling and Verification of Real-Time Systems (Formalisms and Software Tools)

By Nicolas Navet, Stephan Merz

HK$1,840 Elsewhere ~~HK$2,189.39~~ Save HK$349.39 (16%)

System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics)

By Matteo Sonza Reorda, Zebo Peng, Massimo Violante

System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics)

By Matteo Sonza Reorda, Zebo Peng, Massimo Violante

HK$940

System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics)

By Matteo Sonza Recorda, Zebo Peng, Massimo Violante

System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics)

By Matteo Sonza Recorda, Zebo Peng, Massimo Violante

HK$1,095

View:
Safe Search(?):