Fundamentals of Computation Theory (International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janos Csirik, Ferenc Gecseg, Janos Demetrovics

Fundamentals of Computation Theory (International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janos Csirik, Ferenc Gecseg, Janos Demetrovics

HK$700

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

Algebraic and Logic Programming (Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Wolfgang Wechler

HK$500

Advances in Petri Nets (10th Annual International Conference on Applications and Theory of Petri Nets, Selected Papers: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Grzegorz Rozenberg

Advances in Petri Nets (10th Annual International Conference on Applications and Theory of Petri Nets, Selected Papers: 1990 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Grzegorz Rozenberg

HK$554

Advances in Petri Nets (11th International Conference on Applications and Theory of Petri Nets, Selected Papers (Lecture Notes in Computer Science))

By Grzegorz Rozenberg

Advances in Petri Nets (11th International Conference on Applications and Theory of Petri Nets, Selected Papers (Lecture Notes in Computer Science))

By Grzegorz Rozenberg

HK$981

Testfreundliche Synthese Hochintegrierter Schaltungen [German] (Fzi-Berichte Informatik)

By Eschermann, Bernhard

Testfreundliche Synthese Hochintegrierter Schaltungen [German] (Fzi-Berichte Informatik)

By Eschermann, Bernhard

HK$500

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

Fme '93 Industrial-Strength Formal Methods (First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James C.P. Woodcock, Peter G. Larsen

HK$1,100

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

HK$500

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings (1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994 - Proceedings (Lecture Notes in Computer Science))

By Robert Valette

Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings (1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994 - Proceedings (Lecture Notes in Computer Science))

By Robert Valette

HK$570

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 - Proceedings (Lecture Notes)

By Baudoin LeCharlier

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 - Proceedings (Lecture Notes)

By Baudoin LeCharlier

HK$540

ZUM '95: The Z Formal Specification Notation (9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science))

By Jonathan. P. Bowen, Michael G. Hinchey

ZUM '95: The Z Formal Specification Notation (9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science))

By Jonathan. P. Bowen, Michael G. Hinchey

HK$984

Algebraic Methodology and Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Armando Martain Haeberer

Algebraic Methodology and Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Armando Martain Haeberer

HK$560

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (12th: International Workshop, CSl '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28,)

By Georg Gottlob, Etienne Grandjean, Katrin Seyr

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (12th: International Workshop, CSl '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28,)

By Georg Gottlob, Etienne Grandjean, Katrin Seyr

HK$539

Formal Methods for Real-Time and Probabilistic Systems (5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science))

By Jost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems (5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science))

By Jost-Pieter Katoen

HK$500

Application and Theory of Petri Nets: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceeding: 1999 (20th International Conference, Williamsburg, Virginia, USA, June 21-25, 1999 - Proceedings: 20th International)

By Susanna Donatelli, Jetty Kleijn

Application and Theory of Petri Nets: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceeding: 1999 (20th International Conference, Williamsburg, Virginia, USA, June 21-25, 1999 - Proceedings: 20th International)

By Susanna Donatelli, Jetty Kleijn

HK$536

Applied Formal Methods - FM-Trends 98 (International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science))

By Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Applied Formal Methods - FM-Trends 98 (International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science))

By Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

HK$534

Mathematical Foundations of Computer Science (32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ludek Kucera, Antonin Kucera

Mathematical Foundations of Computer Science (32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Ludek Kucera, Antonin Kucera

HK$1,040

Rule Representation, Interchange and Reasoning on the Web (International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings (Lecture Notes in Computer Science))

By Nick Bassiliades, Guido Governatori, Adrian Paschke

Rule Representation, Interchange and Reasoning on the Web (International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings (Lecture Notes in Computer Science))

By Nick Bassiliades, Guido Governatori, Adrian Paschke

HK$500

Collegium Logicum (Collegium Logicum)

By Kurt-Godel-Gesellschaft

Collegium Logicum (Collegium Logicum)

By Kurt-Godel-Gesellschaft

HK$484

Advances in Proof-Theoretic Semantics (2016 (Trends in Logic))

By Thomas Piecha, Peter Schroeder-Heister

Advances in Proof-Theoretic Semantics (2016 (Trends in Logic))

By Thomas Piecha, Peter Schroeder-Heister

HK$536

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

Types for Proofs and Programs (International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro

HK$500

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

By Jorg Flum, Martin Grohe

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

By Jorg Flum, Martin Grohe

HK$789

Theory and Applications of Models of Computation (7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman

Theory and Applications of Models of Computation (7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman

HK$571

Dependency Structures and Lexicalized Grammars (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Marco Kuhlmann

Dependency Structures and Lexicalized Grammars (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Marco Kuhlmann

HK$481

Systementwurf mit Netzen [German] (Springer Compass International)

By Reisig, Wolfgang

Systementwurf mit Netzen [German] (Springer Compass International)

By Reisig, Wolfgang

HK$367

View:
Safe Search(?):