Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)

By Petra Hofstedt, Salvador Abreu, Ulrich John

Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)

By Petra Hofstedt, Salvador Abreu, Ulrich John

HK$500

Trends in Functional Programming (20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By William J. Bowman, Ronald Garcia

Trends in Functional Programming (20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By William J. Bowman, Ronald Garcia

HK$479

Accelerator Programming Using Directives (6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers (Lecture Notes in Computer Science))

By Sandra Wienke, Sridutt Bhalachandra

Accelerator Programming Using Directives (6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers (Lecture Notes in Computer Science))

By Sandra Wienke, Sridutt Bhalachandra

HK$488

Tests and Proofs (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Heike Wehrheim

Tests and Proofs (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Heike Wehrheim

HK$492

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

Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (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 I (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Nicolas Peltier, Viorica Sofronie-Stokkermans

HK$791

Graph Transformation (13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Lecture Notes in Computer Science))

By Fabio Gadducci, Timo Kehrer

Graph Transformation (13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Lecture Notes in Computer Science))

By Fabio Gadducci, Timo Kehrer

HK$500

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

HK$800

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

HK$634

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

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

HK$500

Formal Methods for Industrial Critical Systems (25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurice H. ter Beek, Dejan Ničković

Formal Methods for Industrial Critical Systems (25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurice H. ter Beek, Dejan Ničković

HK$500

Functional and Logic Programming (15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings (Theoretical Computer Science and General Issues))

By Keisuke Nakano, Konstantinos Sagonas

Functional and Logic Programming (15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings (Theoretical Computer Science and General Issues))

By Keisuke Nakano, Konstantinos Sagonas

HK$500

Runtime Verification (20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jyotirmoy Deshmukh, Dejan Ničković

Runtime Verification (20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jyotirmoy Deshmukh, Dejan Ničković

HK$560

Formal Methods and Software Engineering (22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shang-Wei Lin, Zhe Hou, Brendan Mahony

Formal Methods and Software Engineering (22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shang-Wei Lin, Zhe Hou, Brendan Mahony

HK$500

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))

By Bruno C. d. S. Oliveira

HK$500

Reuse in Emerging Software Engineering Practices (19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili

Reuse in Emerging Software Engineering Practices (19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili

HK$500

Evaluation of Novel Approaches to Software Engineering (15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers (Communications in Computer and Information Science))

By Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

Evaluation of Novel Approaches to Software Engineering (15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers (Communications in Computer and Information Science))

By Raian Ali, Hermann Kaindl, Leszek A. Maciaszek

HK$550

Tools and Methods of Program Analysis (6th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers (Communications in Computer and Information Science))

By Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy

Tools and Methods of Program Analysis (6th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers (Communications in Computer and Information Science))

By Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy

HK$497

Euro-Par 2020 (Parallel Processing Workshops: Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Bartosz Balis, Dora B. Heras, Laura Antonelli

Euro-Par 2020 (Parallel Processing Workshops: Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Bartosz Balis, Dora B. Heras, Laura Antonelli

HK$531

Modelling to Program (Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers (Communications in Computer and Information Science))

By Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

Modelling to Program (Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers (Communications in Computer and Information Science))

By Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

HK$497

Languages and Compilers for Parallel Computing (32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Santosh Pande, Vivek Sarkar

Languages and Compilers for Parallel Computing (32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Santosh Pande, Vivek Sarkar

HK$485

Accelerator Programming Using Directives (7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland

Accelerator Programming Using Directives (7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland

HK$465

View:
Safe Search(?):