Reasoning About Program Transformations

By Jean-Francois Collard

Reasoning About Program Transformations

By Jean-Francois Collard

HK$600

Reasoning about Program Transformations (Imperative Programming and Flow of Data)

By Collard, Jean-Francois

Reasoning about Program Transformations (Imperative Programming and Flow of Data)

By Collard, Jean-Francois

HK$479

From Research to Practice in the Design of Cooperative Systems (Results and Open Challenges: Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012)

By Julie Dugdale, Cedric Masclet, Maria Antonietta Grasso, Jean-Francois Boujut

From Research to Practice in the Design of Cooperative Systems (Results and Open Challenges: Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012)

By Julie Dugdale, Cedric Masclet, Maria Antonietta Grasso, Jean-Francois Boujut

HK$1,700 Elsewhere ~~HK$1,804.23~~ Save HK$104.23 (6%)

Physical Layer Multi-Core Prototyping (A Dataflow-Based Approach for LTE eNodeB (Lecture Notes in Electrical Engineering))

By Pelcat, Maxime, Nezan, Jean-François, Jean-Francois Nezan, Jonathan Piat

Physical Layer Multi-Core Prototyping (A Dataflow-Based Approach for LTE eNodeB (Lecture Notes in Electrical Engineering))

By Pelcat, Maxime, Nezan, Jean-François, Jean-Francois Nezan, Jonathan Piat

HK$900

Physical Layer Multi-Core Prototyping (A Dataflow-Based Approach for LTE eNodeB (Lecture Notes in Electrical Engineering))

By Aridhi, Slaheddine, Nezan, Jean-François, Jonathan Piat

Physical Layer Multi-Core Prototyping (A Dataflow-Based Approach for LTE eNodeB (Lecture Notes in Electrical Engineering))

By Aridhi, Slaheddine, Nezan, Jean-François, Jonathan Piat

HK$1,160

From Research to Practice in the Design of Cooperative Systems (Results and Open Challenges: Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012)

By Julie Dugdale, Cedric Masclet, Maria Antonietta Grasso, Jean-Francois Boujut

From Research to Practice in the Design of Cooperative Systems (Results and Open Challenges: Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30 - 1 June, 2012)

By Julie Dugdale, Cedric Masclet, Maria Antonietta Grasso, Jean-Francois Boujut

HK$1,696 Elsewhere ~~HK$1,804.23~~ Save HK$108.23 (6%)

Principles of Systems Design (Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

Principles of Systems Design (Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

HK$884

Machine Learning ECML 2004, (15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Francois Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi

Machine Learning ECML 2004, (15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jean-Francois Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi

HK$554

Local Pattern Detection (International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Katharina Morik, Jean-Francois Boulicaut, Arno Siebes

Local Pattern Detection (International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Katharina Morik, Jean-Francois Boulicaut, Arno Siebes

HK$489

Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

Formal Techniques for Networked and Distributed Systems - FORTE 2006 (26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge

HK$1,084

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

Principles and Practice of Constraint Programming-CP'98 (4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Maher, Jean-Francois Puget

HK$940

Formal Modeling and Analysis of Timed Systems (5th International Conference, Formats 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science))

By Jean-Francois Raskin, P. S. Thiagarajan

Formal Modeling and Analysis of Timed Systems (5th International Conference, Formats 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science))

By Jean-Francois Raskin, P. S. Thiagarajan

HK$500

Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering))

By Franck Cassez, Jean-Francois Raskin

Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering))

By Franck Cassez, Jean-Francois Raskin

HK$840

Scale Space and Variational Methods in Computer Vision (5th International Conference, SSVM 2015, Lege-Cap Ferret, France, May 31 - June 4, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Jean-Francois Aujol, Mila Nikolova, Nicolas Papadakis

Scale Space and Variational Methods in Computer Vision (5th International Conference, SSVM 2015, Lege-Cap Ferret, France, May 31 - June 4, 2015, Proceedings (Image Processing, Computer Vision, Pattern Recognition, and Graphics))

By Jean-Francois Aujol, Mila Nikolova, Nicolas Papadakis

HK$600

Tools and Algorithms for the Construction and Analysis of Systems (22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce)

By Marsha Chechik, Jean-François Raskin

Tools and Algorithms for the Construction and Analysis of Systems (22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce)

By Marsha Chechik, Jean-François Raskin

HK$657

Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language (Bringing the Power of R to a Geochemical Community (Springer Geochemistry))

By Vojtěch Janousek, Jean-François Moyen, Hervé Martin, Vojtech Erban

Geochemical Modelling of Igneous Processes – Principles And Recipes in R Language (Bringing the Power of R to a Geochemical Community (Springer Geochemistry))

By Vojtěch Janousek, Jean-François Moyen, Hervé Martin, Vojtech Erban

HK$1,484

Advances in Design and Specification Languages for SoCs (Selected Contributions from FDL'04)

By Pierre Boulet

Advances in Design and Specification Languages for SoCs (Selected Contributions from FDL'04)

By Pierre Boulet

HK$1,193 Elsewhere ~~HK$1,303.03~~ Save HK$110.03 (8%)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)

By Francesca Rossi, Peter van Beek, Toby Walsh

Handbook of Constraint Programming (Foundations of Artificial Intelligence)

By Francesca Rossi, Peter van Beek, Toby Walsh

HK$1,460 Elsewhere ~~HK$1,633.92~~ Save HK$173.92 (11%)

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

HK$1,000 Elsewhere ~~HK$1,122.70~~ Save HK$122.70 (11%)

100 Java Mistakes and How to Avoid Them

By Valeev, Tagir

100 Java Mistakes and How to Avoid Them

By Valeev, Tagir

HK$577

Geographical Data Imperfection 1 - From Theory to Applications

By Batton-Hubert, Mireille, Desjardin, Eric

Geographical Data Imperfection 1 - From Theory to Applications

By Batton-Hubert, Mireille, Desjardin, Eric

HK$1,492

Geographical Data Imperfection 2 (From Theory to Applications)

By Francois Pinet, Mireille Batton-Hubert, Eric Desjardin

Geographical Data Imperfection 2 (From Theory to Applications)

By Francois Pinet, Mireille Batton-Hubert, Eric Desjardin

HK$1,100 Elsewhere ~~HK$1,263.03~~ Save HK$163.03 (13%)

Models and Analysis for Distributed Systems

By Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Models and Analysis for Distributed Systems

By Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

HK$1,500

Real-Time Systems Scheduling 1 (Fundamentals)

By Maryline Chetto

Real-Time Systems Scheduling 1 (Fundamentals)

By Maryline Chetto

HK$1,200 Elsewhere ~~HK$1,392.85~~ Save HK$192.85 (14%)

View:
Safe Search(?):