Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

Computer Safety, Reliability, and Security (25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings (Programming and Software Engineering))

By Janusz Gorski

HK$673

Sams Teach Yourself C++ in One Hour a Day

By Siddhartha Rao, Jesse Liberty

Sams Teach Yourself C++ in One Hour a Day

By Siddhartha Rao, Jesse Liberty

HK$388

1

Improv-Ing Agile Teams (Using Constraints to Unlock Creativity)

By Paul Goddard, Neil Mullarkey, Paul Goddard

Improv-Ing Agile Teams (Using Constraints to Unlock Creativity)

By Paul Goddard, Neil Mullarkey, Paul Goddard

HK$168

Cooperative Design, Visualization, and Engineering (15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Yuhua Luo

Cooperative Design, Visualization, and Engineering (15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Yuhua Luo

HK$498

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

HK$700

Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo

Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo

HK$578

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

HK$600

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

Reliable Software Technologies - Ada-Europe 2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Luis Miguel Pinho, Michael Gonzalez Harbour

HK$560

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

Quality of Software Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner

HK$500

Fuzzy Logic in Artificial Intelligence (8th Austrian Artificial Intelligence Conference, FLAI'93, Linz, Austria, June 28-30, 1993. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Erich Peter Klement, Wolfgang Slany

Fuzzy Logic in Artificial Intelligence (8th Austrian Artificial Intelligence Conference, FLAI'93, Linz, Austria, June 28-30, 1993. Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Erich Peter Klement, Wolfgang Slany

HK$407

Formal Methods for Open Object-Based Distributed Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)

By Gilles Barthe, Frank S. de Boer

Formal Methods for Open Object-Based Distributed Systems (10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceed)

By Gilles Barthe, Frank S. de Boer

HK$500

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

HK$483

Universal Access in Human-Computer Interaction. Applications and Services (4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Pa)

By Constantine Stephanidis

Universal Access in Human-Computer Interaction. Applications and Services (4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Pa)

By Constantine Stephanidis

HK$1,100

Computer Aided Verification (19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Theoretical Computer Science and General Issues))

By Werner Damm, Holger Hermanns

Computer Aided Verification (19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Theoretical Computer Science and General Issues))

By Werner Damm, Holger Hermanns

HK$577

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

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

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

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$498

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$500

NASA Formal Methods (4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Programming and Software Engineering))

By Alwyn Goodloe, Suzette Person

NASA Formal Methods (4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Programming and Software Engineering))

By Alwyn Goodloe, Suzette Person

HK$560

Model Driven Engineering Languages and Systems (11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings (Lecture Notes in Computer Science))

By Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl

Model Driven Engineering Languages and Systems (11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings (Lecture Notes in Computer Science))

By Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl

Currently
Unavailable

Practical Foundations for Programming Languages

By Robert Harper

Practical Foundations for Programming Languages

By Robert Harper

1

Currently
Unavailable

Validation of Communications Systems with Sdl (The Art of Sdl Simulation and Reachability Analysis)

By Doldi, Laurent

Validation of Communications Systems with Sdl (The Art of Sdl Simulation and Reachability Analysis)

By Doldi, Laurent

Currently
Unavailable

View:
Safe Search(?):