HK$460

Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

Model Driven Engineering Languages and Systems (10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank. Weil

HK$1,000

Trustworthy Global Computing (Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ugo Montanari, Donald Sannella, Roberto Bruni

Trustworthy Global Computing (Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ugo Montanari, Donald Sannella, Roberto Bruni

HK$500

Proof in VDM (Case Studies (Formal Approaches to Computing and Information Technology (FACIT)))

By J. Bicarregui

Proof in VDM (Case Studies (Formal Approaches to Computing and Information Technology (FACIT)))

By J. Bicarregui

HK$877 Elsewhere ~~HK$924.56~~ Save HK$47.56 (5%)

Hybrid Systems (Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Magnus Egerstedt, Bud Mishra

Hybrid Systems (Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Magnus Egerstedt, Bud Mishra

HK$1,035

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in Computer and Information Science))

By Tiziana Margaria, Bernhard Steffen

HK$1,454

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

Software Engineering and Formal Methods (SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Programming and Software Engineering))

By Steve Counsell, Manuel Nunez

HK$860

Models@run.time (Foundations, Applications, and Roadmaps (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert B. France, Betty H. C. Cheng, Uwe Assmann

Models@run.time (Foundations, Applications, and Roadmaps (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert B. France, Betty H. C. Cheng, Uwe Assmann

HK$800

Fundamentals of Software Engineering (6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers: 2015 (Lecture Notes in Computer Science))

By Mehdi Dastani, Marjan Sirjani

Fundamentals of Software Engineering (6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers: 2015 (Lecture Notes in Computer Science))

By Mehdi Dastani, Marjan Sirjani

HK$800

Programming Languages with Applications to Biology and Security (Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Chiara Bodei, Gianluigi Ferrari, Corrado Priami

Programming Languages with Applications to Biology and Security (Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues))

By Chiara Bodei, Gianluigi Ferrari, Corrado Priami

HK$840

Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))

By Marcio Cornelio, Bill Roscoe

Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))

By Marcio Cornelio, Bill Roscoe

HK$700

Integrated Formal Methods (12th International Conference, iFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Erika Abraham, Marieke Huisman

Integrated Formal Methods (12th International Conference, iFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Erika Abraham, Marieke Huisman

HK$1,100

NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))

By Sanjai Rayadurgam, Oksana Tkachuk

NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))

By Sanjai Rayadurgam, Oksana Tkachuk

HK$936

Formal Aspects of Component Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))

By Jose Proenca, Markus Lumpe

Formal Aspects of Component Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))

By Jose Proenca, Markus Lumpe

HK$796

Programming Languages and Systems (15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Programming and Software Engineering))

By Bor-Yuh Evan Chang

Programming Languages and Systems (15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Programming and Software Engineering))

By Bor-Yuh Evan Chang

HK$900

Perspectives of System Informatics (11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Alexander K. Petrenko, Andrei Voronkov

Perspectives of System Informatics (11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Alexander K. Petrenko, Andrei Voronkov

HK$540

Hybrid Systems (Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Rupak Majumdar, Paulo Tabuada

Hybrid Systems (Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Rupak Majumdar, Paulo Tabuada

HK$560

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

HK$540

Automata, Languages and Programming (36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings: Part II (Lecture Notes in Computer Science))

By Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas

Automata, Languages and Programming (36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings: Part II (Lecture Notes in Computer Science))

By Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas

HK$989

Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maria Alpuente, Byron Cook, Christophe Joubert

Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maria Alpuente, Byron Cook, Christophe Joubert

HK$497

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

Systems and Software Verification (Model-Checking Techniques and Tools)

By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie

HK$1,178 Elsewhere ~~HK$1,232.79~~ Save HK$54.79 (4%)

Ethics and Policy of Biometrics (Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, Hong Kong, January 4-5, 2010 (Security and Cryptology) (Lecture Notes in Computer Science))

By Ajay Kumar, David Zhang

Ethics and Policy of Biometrics (Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, Hong Kong, January 4-5, 2010 (Security and Cryptology) (Lecture Notes in Computer Science))

By Ajay Kumar, David Zhang

HK$498

Logical Analysis of Hybrid Systems (Proving Theorems for Complex Dynamics)

By Platzer, André

Logical Analysis of Hybrid Systems (Proving Theorems for Complex Dynamics)

By Platzer, André

HK$980

Distributed, Parallel and Biologically Inspired Systems (7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advance)

By Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay

Distributed, Parallel and Biologically Inspired Systems (7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advance)

By Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay

HK$560

View:
Safe Search(?):