Concrete Abstractions (Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation))

By Wolfgang Schreiner

Concrete Abstractions (Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation))

By Wolfgang Schreiner

HK$740

Software Engineering for Games in Serious Contexts (Theories, Methods, Tools, and Experiences)

By Kendra M. L. Cooper, Antonio Bucchiarone

Software Engineering for Games in Serious Contexts (Theories, Methods, Tools, and Experiences)

By Kendra M. L. Cooper, Antonio Bucchiarone

HK$1,498

SOFSEM 2024 (Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings (Lecture Notes in Computer Science))

By Henning Fernau, Serge Gaspers, Ralf Klasing

SOFSEM 2024 (Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings (Lecture Notes in Computer Science))

By Henning Fernau, Serge Gaspers, Ralf Klasing

HK$778

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

HK$680

Database Theory _ ICDT 2003 (9th International Conference, Siena, Italy, January 8-10, 2003 : Proceedings (Lecture Notes in Computer Science))

By Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani

Database Theory _ ICDT 2003 (9th International Conference, Siena, Italy, January 8-10, 2003 : Proceedings (Lecture Notes in Computer Science))

By Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani

HK$573

Inductive Logic Programming (12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Stan Matwin, Claude Sammut

Inductive Logic Programming (12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Stan Matwin, Claude Sammut

HK$540

Rough Set Theory and Granular Computing (Studies in Fuzziness and Soft Computing)

By Masahiro Inuiguchi, Shusaku Tsumoto, Shoji Hirano

Rough Set Theory and Granular Computing (Studies in Fuzziness and Soft Computing)

By Masahiro Inuiguchi, Shusaku Tsumoto, Shoji Hirano

HK$1,400

Automata, Languages and Programming (2nd Colloquium, University of Saarbrucken, July 29 - August 2, 1974. Proceedings (Lecture Notes in Computer Science))

By Jacques Loeckx

Automata, Languages and Programming (2nd Colloquium, University of Saarbrucken, July 29 - August 2, 1974. Proceedings (Lecture Notes in Computer Science))

By Jacques Loeckx

HK$500

Fundamentals of Computation Theory (Proceedings of the 1977 International FCT-conference, Poznan - Kornik, Poland, September 19 - 23, 1977: v. 56 (Lecture Notes in Computer Science))

By Marek Karpinski

Fundamentals of Computation Theory (Proceedings of the 1977 International FCT-conference, Poznan - Kornik, Poland, September 19 - 23, 1977: v. 56 (Lecture Notes in Computer Science))

By Marek Karpinski

HK$752

Automata, Languages and Programming (Fifth Colloquium, Udine, Italy, July 17 - 21, 1978, Proceedings: v. 62 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, C. Böhm

Automata, Languages and Programming (Fifth Colloquium, Udine, Italy, July 17 - 21, 1978, Proceedings: v. 62 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, C. Böhm

HK$577

Automata, Languages, and Programming (Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings: v. 71 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By H. A. Maurer

Automata, Languages, and Programming (Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings: v. 71 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By H. A. Maurer

HK$1,252

Graph-grammars and Their Application to Computer Science and Biology (International Workshop, Bad Honnef, October 30 - November 3, 1978 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg

Graph-grammars and Their Application to Computer Science and Biology (International Workshop, Bad Honnef, October 30 - November 3, 1978 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg

HK$573

Automata, Languages and Programming (Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981: v. 115 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By S. Even, O. Kariv

Automata, Languages and Programming (Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981: v. 115 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By S. Even, O. Kariv

HK$600

Application and Theory of Petri Nets (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 (Informatik-Fachberichte / Subreihe Kunstli)

By Claude Girault, Wolfgang Reisig

Application and Theory of Petri Nets (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 (Informatik-Fachberichte / Subreihe Kunstli)

By Claude Girault, Wolfgang Reisig

HK$1,000

Applications and Theory of Petri Nets (Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (Under Auspices of AFCET, AICA, GI, and EATCS) (Informatik-Fachberichte / Subreihe Kunstli)

By Anastasia Pagnoni, G. Rozenberg

Applications and Theory of Petri Nets (Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (Under Auspices of AFCET, AICA, GI, and EATCS) (Informatik-Fachberichte / Subreihe Kunstli)

By Anastasia Pagnoni, G. Rozenberg

HK$995

Automata, Languages and Programming (10th Colloquium Barcelona, Spain, July 18–22, 1983 (Lecture Notes in Computer Science))

By J. Diaz

Automata, Languages and Programming (10th Colloquium Barcelona, Spain, July 18–22, 1983 (Lecture Notes in Computer Science))

By J. Diaz

HK$637

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

CAAP '83, Trees in Algebra and Programming (8th Colloquium L'Aquila, March 9-11, 1983, Proceedings: v. 159 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By G. Ausiello, M. Protasi

HK$559

Parsing Theory (Volume I Languages and Parsing (Monographs in Theoretical Computer Science. An EATCS Series))

By Soisalon-Soininen, Eljas, Sippu, Seppo

Parsing Theory (Volume I Languages and Parsing (Monographs in Theoretical Computer Science. An EATCS Series))

By Soisalon-Soininen, Eljas, Sippu, Seppo

HK$585

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 (Proceedings of the International Joint Conference on Theory and Practice of Sof)

By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 (Proceedings of the International Joint Conference on Theory and Practice of Sof)

By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

HK$680

Functional Programming Languages and Computer Architecture (Proceedings, Nancy, France, September 16-19, 1985: v. 201 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Jouannaud

Functional Programming Languages and Computer Architecture (Proceedings, Nancy, France, September 16-19, 1985: v. 201 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Pierre Jouannaud

HK$558

Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings (v. 214 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paul Franchi-Zannettacci

Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings (v. 214 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paul Franchi-Zannettacci

HK$600

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

Automata, Languages and Programming (13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Laurent Kott

HK$551

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

Automata, Languages and Programming (14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987, Proceeding: v. 267 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Ottmann

HK$1,039

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

Functional Programming Languages and Computer Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gilles Kahn

HK$540

View:
Safe Search(?):