New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

New Directions in Logic, Language, and Computation (ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Daniel Lassiter, Marija Slavkovik

HK$459

Runtime Verification (4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Axel Legay, Saddek Bensalem

Runtime Verification (4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Axel Legay, Saddek Bensalem

HK$552

Constraint Solving and Language Processing (7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Denys Duchier, Yannick Parmentier

Constraint Solving and Language Processing (7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Denys Duchier, Yannick Parmentier

HK$447

Programming Languages and Systems (23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer)

By Zhong Shao

Programming Languages and Systems (23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer)

By Zhong Shao

HK$679

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s (Selected Contributions on Specification, Design, and Verification from FDL 2009 (Lecture Notes in Electrical Engineering))

By Dominique Borrione

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s (Selected Contributions on Specification, Design, and Verification from FDL 2009 (Lecture Notes in Electrical Engineering))

By Dominique Borrione

HK$1,300 Elsewhere ~~HK$1,349.28~~ Save HK$49.28 (4%)

Logical Aspects of Computational Linguistics (8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Nicholas Asher, Sergei Soloviev

Logical Aspects of Computational Linguistics (8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Nicholas Asher, Sergei Soloviev

HK$740

Coalgebraic Methods in Computer Science (12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Marcello M. Bonsangue

Coalgebraic Methods in Computer Science (12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Marcello M. Bonsangue

HK$631

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

HK$800

Formal Grammar (22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Annie Foret, Reinhard Muskens, Sylvain Pogodalla

Formal Grammar (22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Annie Foret, Reinhard Muskens, Sylvain Pogodalla

HK$423

Software Technologies (Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science))

By Manuel Mazzara, Iulian Ober, Gwen Salaun

Software Technologies (Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science))

By Manuel Mazzara, Iulian Ober, Gwen Salaun

HK$586

Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Nicolas Peltier, Viorica Sofronie-Stokkermans

Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Nicolas Peltier, Viorica Sofronie-Stokkermans

HK$740

Application and Theory of Petri Nets and Concurrency (41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ryszard Janicki, Natalia Sidorova, Thomas Chatain

Application and Theory of Petri Nets and Concurrency (41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ryszard Janicki, Natalia Sidorova, Thomas Chatain

HK$553

Frontiers in Software Engineering Education (First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer

Frontiers in Software Engineering Education (First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer

HK$537

Implementation and Application of Automata (26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings (Lecture Notes in Computer Science))

By Pascal Caron, Ludovic Mignot

Implementation and Application of Automata (26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings (Lecture Notes in Computer Science))

By Pascal Caron, Ludovic Mignot

HK$600

Computational Linguistics and Intelligent Text Processing (20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science))

By Alexander Gelbukh

Computational Linguistics and Intelligent Text Processing (20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science))

By Alexander Gelbukh

HK$956

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

Rewriting Techniques and Applications (Bordeaux, France, May 25-27, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Lescanne

Rewriting Techniques and Applications (Bordeaux, France, May 25-27, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Pierre Lescanne

HK$388

ESEC '87 (1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Howard K. Nichols, Dan Simpson

ESEC '87 (1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Howard K. Nichols, Dan Simpson

HK$538

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

HK$538

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

HK$532

Persistent Object Systems (Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994 (Workshops in Computing))

By Malcolm Atkinson, David Maier, Veronique Benzaken

Persistent Object Systems (Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994 (Workshops in Computing))

By Malcolm Atkinson, David Maier, Veronique Benzaken

HK$578

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

HK$500

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

Artificial Evolution (6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers (Lecture Notes in Computer Science))

By Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton

HK$540

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

HK$588

View:
Safe Search(?):