Verified Software (Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Programming and Software Engineering))

By Bertrand Meyer, James Woodcock

Verified Software (Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Programming and Software Engineering))

By Bertrand Meyer, James Woodcock

HK$982

Theory and Practice of Model Transformations (First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio

Theory and Practice of Model Transformations (First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio

HK$498

Logic Programming (23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Veronica Dahl, Ilkka Neimela

Logic Programming (23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Veronica Dahl, Ilkka Neimela

HK$540

Graph Transformations (4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; Proceedings (Lecture Notes in Computer Science))

By Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer

Graph Transformations (4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; Proceedings (Lecture Notes in Computer Science))

By Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer

HK$586

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

HK$500

Graph-Theoretic Concepts in Computer Science (35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Theoretical Computer Science and General Issues))

By Christopher Paul, Michel Habib

Graph-Theoretic Concepts in Computer Science (35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Theoretical Computer Science and General Issues))

By Christopher Paul, Michel Habib

HK$500

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

HK$900

Graph Transformations (5th International Conference, ICGT 2010, Twente, The Netherlands, September 27-October 2, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schurr

Graph Transformations (5th International Conference, ICGT 2010, Twente, The Netherlands, September 27-October 2, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schurr

HK$540

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

HK$883

Graph-Theoretic Concepts in Computer Science (38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers (Lecture Notes in Computer Science))

By Martin Charles Golumbic, Michael Stern, Avivit Levy, Gila Morgenstern

Graph-Theoretic Concepts in Computer Science (38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers (Lecture Notes in Computer Science))

By Martin Charles Golumbic, Michael Stern, Avivit Levy, Gila Morgenstern

HK$500

Theory and Practice of Model Transformations (6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Programming and Software Engineering))

By Keith Duddy, Gerti Kappel

Theory and Practice of Model Transformations (6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Programming and Software Engineering))

By Keith Duddy, Gerti Kappel

HK$456

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

HK$455

Theories of Programming and Formal Methods (Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhiming Liu, Jim Woodcock, Huibiao Zhu

Theories of Programming and Formal Methods (Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhiming Liu, Jim Woodcock, Huibiao Zhu

HK$535

Theory and Practice of Model Transformations (7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Davide Di Ruscio, Dániel Varró

Theory and Practice of Model Transformations (7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Davide Di Ruscio, Dániel Varró

HK$700

Theory and Practice of Model Transformations (9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pieter Van Gorp, Gregor Engels

Theory and Practice of Model Transformations (9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pieter Van Gorp, Gregor Engels

HK$500

Discrete Optimization (Theory, Algorithms, and Applications)

By Frank Werner

Discrete Optimization (Theory, Algorithms, and Applications)

By Frank Werner

HK$600 Elsewhere ~~HK$680.08~~ Save HK$80.08 (12%)

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

HK$1,000 Elsewhere ~~HK$1,585.95~~ Save HK$585.95 (37%)

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

HK$451 Elsewhere ~~HK$604.55~~ Save HK$153.55 (25%)

Software-Defined Networking and Security (From Theory to Practice (Data-Enabled Engineering))

By Dijiang Huang, Ankur Chowdhary, Sandeep Pisharody

Software-Defined Networking and Security (From Theory to Practice (Data-Enabled Engineering))

By Dijiang Huang, Ankur Chowdhary, Sandeep Pisharody

HK$419 Elsewhere ~~HK$485.60~~ Save HK$66.60 (14%)

Global Optimization (From Theory to Implementation (Nonconvex Optimization and Its Applications))

By Leo Liberti, Nelson Maculan

Global Optimization (From Theory to Implementation (Nonconvex Optimization and Its Applications))

By Leo Liberti, Nelson Maculan

HK$937

Parallel Processing and Parallel Algorithms (Theory and Computation)

By Seyed H. Roosta

Parallel Processing and Parallel Algorithms (Theory and Computation)

By Seyed H. Roosta

HK$960

Cognitive Computing (Theory and Applications (Handbook of Statistics))

By Vijay V. Raghavan, Venkat N. Gudivada, Venu Govindaraju, C. Radhakrishna Rao

Cognitive Computing (Theory and Applications (Handbook of Statistics))

By Vijay V. Raghavan, Venkat N. Gudivada, Venu Govindaraju, C. Radhakrishna Rao

HK$1,674 Elsewhere ~~HK$1,813.93~~ Save HK$139.93 (8%)

Software Testing and Quality Assurance (Theory and Practice)

By Kshirasagar Naik, Priyadarshi Tripathy

Software Testing and Quality Assurance (Theory and Practice)

By Kshirasagar Naik, Priyadarshi Tripathy

HK$851 Elsewhere ~~HK$1,179.06~~ Save HK$328.06 (28%)

1

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

HK$800 Elsewhere ~~HK$1,110.17~~ Save HK$310.17 (28%)

View:
Safe Search(?):