Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))

By Friedrich H. Vogt

HK$636

Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 (3rd, 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Thalheim, Janos Demetrovics, Hans-Detlef Gerhardt

Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 (3rd, 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Thalheim, Janos Demetrovics, Hans-Detlef Gerhardt

HK$540

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (2nd: Proceedings of the Second International Symposium, Nijmegen, The NNetherlands, January 8-10, 1992 ()

By Jan Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (2nd: Proceedings of the Second International Symposium, Nijmegen, The NNetherlands, January 8-10, 1992 ()

By Jan Vytopil

HK$1,000

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (3rd: International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Art)

By Kim G. Larsen, Arne Skou

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (3rd: International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Art)

By Kim G. Larsen, Arne Skou

HK$560

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (4th: International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 - Proceedings (Lecture Notes in Computer Science / Lec)

By Gregor von Bochmann, David K. Probst

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (4th: International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 - Proceedings (Lecture Notes in Computer Science / Lec)

By Gregor von Bochmann, David K. Probst

HK$540

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

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (6th: International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 - Proceedings (Lectur)

By Jeffrey J. Joyce, Carl-Johan H. Seger

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (6th: International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 - Proceedings (Lectur)

By Jeffrey J. Joyce, Carl-Johan H. Seger

HK$560

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

FME '94: Industrial Benefit of Formal Methods (Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science))

By Maurice Naftalin, Tim Denvir, Miquel Bertran

HK$1,035

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (7th: International Conference, CAV '95, Liege, Belguim, July 3-5, 1995 - Proceedings (Lecture Notes in Computer Science))

By Pierre Wolper

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (7th: International Conference, CAV '95, Liege, Belguim, July 3-5, 1995 - Proceedings (Lecture Notes in Computer Science))

By Pierre Wolper

HK$650

Deductive and Object-Oriented Databases (Fourth International Conference, DOOD '95, Singapore, December 4-7, 1995. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By T. W. Ling, Alberto O. Mendelzon, Laurent Vieille

Deductive and Object-Oriented Databases (Fourth International Conference, DOOD '95, Singapore, December 4-7, 1995. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By T. W. Ling, Alberto O. Mendelzon, Laurent Vieille

HK$734

Computer Aided Verification (8th: International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rejeev Alur, Thomas Henzinger

Computer Aided Verification (8th: International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rejeev Alur, Thomas Henzinger

HK$560

Formal Methods for Industrial Applications (Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science))

By Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Formal Methods for Industrial Applications (Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science))

By Jean-Raymond Abrial, Egon Börger, Hans Langmaack

HK$895 Elsewhere ~~HK$934.08~~ Save HK$39.08 (4%)

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

HK$500

Automata, Languages and Programming (25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science))

By Kim G. Larsen, Sven Skyum, Glynn Winskel

Automata, Languages and Programming (25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science))

By Kim G. Larsen, Sven Skyum, Glynn Winskel

HK$1,078

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

HK$1,079

Hybrid Systems, Computation and Control (Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nancy A. Lynch, Bruce Krogh

Hybrid Systems, Computation and Control (Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nancy A. Lynch, Bruce Krogh

HK$552

Algebraic Methodology and Software Technology (8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Teodor Rus

Algebraic Methodology and Software Technology (8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Teodor Rus

HK$987

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

Reliable Software Technologies Ada-Europe 2000 (5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hubertus B. Keller, Erhard Plödereder

HK$500

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

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

Fundamental Approaches to Software Engineering (10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Lecture Notes in C)

By Matthew B. Dwyer, Antonia Lopes

HK$557

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,130

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

Mobilitï¿½t Und Echtzeit [German] (Fachtagung Der Gi-Fachgruppe Echtzeitsysteme (Real-Time) Boppard, 6./7. Dezember 2007 (Informatik Aktuell))

By Peter Holleczek, Birgit Vogel-Heuser

Mobilitï¿½t Und Echtzeit [German] (Fachtagung Der Gi-Fachgruppe Echtzeitsysteme (Real-Time) Boppard, 6./7. Dezember 2007 (Informatik Aktuell))

By Peter Holleczek, Birgit Vogel-Heuser

HK$463

View:
Safe Search(?):