Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Roggenbach, Markus, Cerone, Antonio, Bernd-Holger Schlingloff, Gerardo Schneider

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Roggenbach, Markus, Cerone, Antonio, Bernd-Holger Schlingloff, Gerardo Schneider

HK$470 Elsewhere ~~HK$655.04~~ Save HK$185.04 (28%)

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff

HK$303 Elsewhere ~~HK$503.86~~ Save HK$200.86 (40%)

Norm and Ideology in Spoken French (A Sociolinguistic History of Liaison)

By Hornsby, David

Norm and Ideology in Spoken French (A Sociolinguistic History of Liaison)

By Hornsby, David

HK$755

Embeddings in Natural Language Processing (Theory and Advances in Vector Representations of Meaning)

By Mohammad Taher Pilehvar, Jose Camacho-Collados

Embeddings in Natural Language Processing (Theory and Advances in Vector Representations of Meaning)

By Mohammad Taher Pilehvar, Jose Camacho-Collados

HK$486 Elsewhere ~~HK$503.86~~ Save HK$17.86 (4%)

Formalizing Natural Languages (Applications to Natural Language Processing and Digital Humanities: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers (Communications in Computer and Information Science))

By Mariana Gonzalez, Silvia Susana Reyes, Andrea Rodrigo, Max Silberztein

Formalizing Natural Languages (Applications to Natural Language Processing and Digital Humanities: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers (Communications in Computer and Information Science))

By Mariana Gonzalez, Silvia Susana Reyes, Andrea Rodrigo, Max Silberztein

HK$600 Elsewhere ~~HK$655.04~~ Save HK$55.04 (8%)

Programming Languages and Systems (32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Computer S)

By Thomas Wies

Programming Languages and Systems (32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings (Lecture Notes in Computer S)

By Thomas Wies

HK$472

Ontology-Based Evolution of Domain-Oriented Languages (Models, Methods and Tools for User Interface Design in General-Purpose Software Systems)

By Ulitin, Boris, Babkin, Eduard

Ontology-Based Evolution of Domain-Oriented Languages (Models, Methods and Tools for User Interface Design in General-Purpose Software Systems)

By Ulitin, Boris, Babkin, Eduard

HK$935

Linguistic Resources for Natural Language Processing (On the Necessity of Using Linguistic Methods to Develop Nlp Software)

By Max Silberztein

Linguistic Resources for Natural Language Processing (On the Necessity of Using Linguistic Methods to Develop Nlp Software)

By Max Silberztein

HK$1,195

Python for Natural Language Processing (Programming with NumPy, scikit-learn, Keras, and PyTorch (Cognitive Technologies))

By Pierre M. Nugues

Python for Natural Language Processing (Programming with NumPy, scikit-learn, Keras, and PyTorch (Cognitive Technologies))

By Pierre M. Nugues

HK$632

ICT - Integrating Computers in Teaching (Creating a Computer-Based Language-Learning Environment)

By Barr, David

ICT - Integrating Computers in Teaching (Creating a Computer-Based Language-Learning Environment)

By Barr, David

HK$540 Elsewhere ~~HK$609.79~~ Save HK$69.79 (11%)

Interactional Humor (Multimodal Design and Negotiation (Language Play and Creativity [LPC]))

By Béatrice Priego-Valverde

Interactional Humor (Multimodal Design and Negotiation (Language Play and Creativity [LPC]))

By Béatrice Priego-Valverde

HK$1,200 Elsewhere ~~HK$1,295.17~~ Save HK$95.17 (7%)

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

Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))

By G. Kahn, D. B. MacQueen, G. Plotkin

Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))

By G. Kahn, D. B. MacQueen, G. Plotkin

HK$500

Combinators and Functional Programming Languages (Thirteenth Spring School of the Litp, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

Combinators and Functional Programming Languages (Thirteenth Spring School of the Litp, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

HK$290

ECOOP '87. European Conference on Object-Oriented Programming (Paris, France, June 15-17, 1987. Proceedings (Lecture Notes in Computer Science))

By Jean Bezivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman

ECOOP '87. European Conference on Object-Oriented Programming (Paris, France, June 15-17, 1987. Proceedings (Lecture Notes in Computer Science))

By Jean Bezivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman

HK$374

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

UML 2004 - The Unified Modeling Language (Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings (Lecture Notes in Computer Science))

By Thomas Baar, Alfred Strohmeier, Ana Moreira

HK$533

Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

Advances in Natural Language Processing (4th International Conference, Estal 2004, Alicante, Spain, October 20-22, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jose Luis Vicedo, Particio Martinez-Barco, Particio Martinez-Barco, Maximiliano Saiz Noeda

HK$1,096

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

HK$500

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

CONCUR 2003 - Concurrency Theory (14th International Conference, Marseille, France, September 3-5, 2003, Proceedings (Lecture Notes in Computer Science))

By Roberto Amadio, Denis Lugiez

HK$700

Advances in Cross-Language Information Retrieval (Third Workshop of the Cross-Language Evaluation Forum, CLEF 2002 Rome, Italy, September 19–20, 2002 Revised Papers (Lecture Notes in Computer Science))

By Carol Peters, Martin Braschler, Martin Kluck, Martin Kluck

Advances in Cross-Language Information Retrieval (Third Workshop of the Cross-Language Evaluation Forum, CLEF 2002 Rome, Italy, September 19–20, 2002 Revised Papers (Lecture Notes in Computer Science))

By Carol Peters, Martin Braschler, Martin Kluck, Martin Kluck

HK$1,050

Logical Aspects of Computational Linguistics (4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings (Lecture Notes in Computer)

By Philippe de Groote, Glyn Morrill, Christian Retore

Logical Aspects of Computational Linguistics (4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings: 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings (Lecture Notes in Computer)

By Philippe de Groote, Glyn Morrill, Christian Retore

HK$500

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings (8th: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings (Lecture Notes in Computer Science))

By Patrick Cousot

HK$500

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

Programming Languages and Systems (11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings (Lecture Notes in Comput ..)

By Daniel Le Metayer

HK$659

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

Advances in Natural Language Processing (Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Elisabete Ranchod, Nuno J. Mamede

HK$560

View:
Safe Search(?):