Conlan Report (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Piloty, R., Barbacci, M., D. Borrione, F Hill

Conlan Report (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Piloty, R., Barbacci, M., D. Borrione, F Hill

HK$488

Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: 1991 (v. 1: Conference Contributions (IFIP State-of-the-art Reports S.))

By Soren Neuhold, M. Paul, K.R. Apt, Egidio Astesiano

Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: 1991 (v. 1: Conference Contributions (IFIP State-of-the-art Reports S.))

By Soren Neuhold, M. Paul, K.R. Apt, Egidio Astesiano

HK$957

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

HK$1,477

Fully Integrated Data Environments (Persistent Programming Languages, Object Stores, and Programming Environments (ESPRIT Basic Research S.))

By M.P. Atkinson, R. Welland

Fully Integrated Data Environments (Persistent Programming Languages, Object Stores, and Programming Environments (ESPRIT Basic Research S.))

By M.P. Atkinson, R. Welland

HK$1,040

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

HK$1,384

Open Source Software (New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings (IFIP Advances in Information and Communication Technology))

By Pär J. Ågerfalk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey

Open Source Software (New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings (IFIP Advances in Information and Communication Technology))

By Pär J. Ågerfalk, Cornelia Boldyreff, Jesús M. González-Barahona, Gregory R. Madey

HK$985

Using and Improving OpenMP for Devices, Tasks, and More (10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman

Using and Improving OpenMP for Devices, Tasks, and More (10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman

HK$700

Openmp: Heterogenous Execution and Data Movements (11th International Workshop on Openmp, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman

Openmp: Heterogenous Execution and Data Movements (11th International Workshop on Openmp, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman

HK$751

Scaling OpenMP for Exascale Performance and Portability (13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science))

By Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman

Scaling OpenMP for Exascale Performance and Portability (13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science))

By Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman

HK$800

Introduction to R for Terrestrial Ecology (Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R)

By Lakicevic, Milena, Reynolds, Keith M., Keith M. Reynolds

Introduction to R for Terrestrial Ecology (Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R)

By Lakicevic, Milena, Reynolds, Keith M., Keith M. Reynolds

HK$760

Introduction to R for Terrestrial Ecology (Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R)

By Lakicevic, Milena, Reynolds, Keith M., Keith M. Reynolds

Introduction to R for Terrestrial Ecology (Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R)

By Lakicevic, Milena, Reynolds, Keith M., Keith M. Reynolds

HK$540

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

HK$840 Elsewhere ~~HK$926.80~~ Save HK$86.80 (9%)

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

HK$587

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

HK$600

Component-Based Software Engineering (11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner

Component-Based Software Engineering (11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner

HK$500

The Denotational Description of Programming Languages (An Introduction)

By Gordon, M. J. C.

The Denotational Description of Programming Languages (An Introduction)

By Gordon, M. J. C.

HK$486

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning (v. 5: Algorithms for Uncertainty and Defeasible Reasoning (Handbook of Defeasible Reasoning & Uncertainty Management Systems))

By Dov M. Gabbay, Philippe Smets

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning (v. 5: Algorithms for Uncertainty and Defeasible Reasoning (Handbook of Defeasible Reasoning & Uncertainty Management Systems))

By Dov M. Gabbay, Philippe Smets

HK$1,950

Machine Learning Using R (With Time Series and Industry-Based Use Cases in R)

By Ramasubramanian, Karthik, Singh, Abhishek

Machine Learning Using R (With Time Series and Industry-Based Use Cases in R)

By Ramasubramanian, Karthik, Singh, Abhishek

HK$560

Beginning R 4 (From Beginner to Pro)

By Wiley, Joshua F., Wiley, Matt

Beginning R 4 (From Beginner to Pro)

By Wiley, Joshua F., Wiley, Matt

HK$242 Elsewhere ~~HK$566.34~~ Save HK$324.34 (57%)

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

HK$600

Das V-Modell XT [German] (Grundlagen, Methodik und Anwendungen (eXamen.press))

By Reinhard Hohn, A Rausch, M. Broy

Das V-Modell XT [German] (Grundlagen, Methodik und Anwendungen (eXamen.press))

By Reinhard Hohn, A Rausch, M. Broy

HK$534

CSL '88 (2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Egon Borger, Hans Kleine Buning, Michael M. Richter

CSL '88 (2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Egon Borger, Hans Kleine Buning, Michael M. Richter

HK$636

Algebraic Methods: Theory, Tools and Applications (v. 2: Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan A. Bergstra, Loe M.G. Feijs

Algebraic Methods: Theory, Tools and Applications (v. 2: Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan A. Bergstra, Loe M.G. Feijs

HK$538

Software Engineering and Formal Methods (11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

Software Engineering and Formal Methods (11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science))

By Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

HK$800

View:
Safe Search(?):