Search-Based Software Engineering (11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shiva Nejati, Gregory Gay

Search-Based Software Engineering (11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shiva Nejati, Gregory Gay

HK$491

Central European Functional Programming School (6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Porkolab, Zoltan Horvath

Central European Functional Programming School (6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Porkolab, Zoltan Horvath

HK$672

OpenMP: Conquering the Full Hardware Spectrum (15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman

OpenMP: Conquering the Full Hardware Spectrum (15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman

HK$660

Quality of Information and Communications Technology (12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings (Communications in Computer and Information Science))

By Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán

Quality of Information and Communications Technology (12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings (Communications in Computer and Information Science))

By Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán

HK$700

Geographical Information Systems Theory, Applications and Management (4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers (Communications in Computer and Information Science))

By Lemonia Ragia, Cédric Grueau, Robert Laurini

Geographical Information Systems Theory, Applications and Management (4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers (Communications in Computer and Information Science))

By Lemonia Ragia, Cédric Grueau, Robert Laurini

HK$485

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

HK$500

From Software Engineering to Formal Methods and Tools, and Back (Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

From Software Engineering to Formal Methods and Tools, and Back (Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

HK$560

Unifying Theories of Programming (7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Com ..)

By Pedro Ribeiro, Augusto Sampaio

Unifying Theories of Programming (7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Com ..)

By Pedro Ribeiro, Augusto Sampaio

HK$500

Fundamentals of Software Engineering (8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hossein Hojjat, Mieke Massink

Fundamentals of Software Engineering (8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hossein Hojjat, Mieke Massink

HK$500

Automated Technology for Verification and Analysis (17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

Automated Technology for Verification and Analysis (17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

HK$560

Runtime Verification (19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bernd Finkbeiner, Leonardo Mariani

Runtime Verification (19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bernd Finkbeiner, Leonardo Mariani

HK$638

Static Analysis (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bor-Yuh Evan Chang

Static Analysis (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bor-Yuh Evan Chang

HK$558

Formal Methods Teaching (Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lectur ..)

By Brijesh Dongol, Luigia Petre, Graeme Smith

Formal Methods Teaching (Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lectur ..)

By Brijesh Dongol, Luigia Petre, Graeme Smith

HK$500

On the Move to Meaningful Internet Systems: OTM 2019 Conferences (Confederated International Conferences: CoopIS, ODBASE, C & TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engine ..)

By Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis

On the Move to Meaningful Internet Systems: OTM 2019 Conferences (Confederated International Conferences: CoopIS, ODBASE, C & TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engine ..)

By Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis

HK$954

Programming Languages and Systems (17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Anthony Widjaja Lin

Programming Languages and Systems (17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Anthony Widjaja Lin

HK$550

Languages and Compilers for Parallel Computing (31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mary Hall, Hari Sundar

Languages and Compilers for Parallel Computing (31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Mary Hall, Hari Sundar

HK$489

Integrated Formal Methods (15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

Integrated Formal Methods (15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa

HK$576

Languages and Compilers for Parallel Computing (30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers (Lecture Notes in Computer Science))

By Lawrence Rauchwerger

Languages and Compilers for Parallel Computing (30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers (Lecture Notes in Computer Science))

By Lawrence Rauchwerger

HK$500

Product-Focused Software Process Improvement (20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández

Product-Focused Software Process Improvement (20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández

HK$630

Guide to Assembly Language (A Concise Introduction (Undergraduate Topics in Computer Science))

By Streib, James T.

Guide to Assembly Language (A Concise Introduction (Undergraduate Topics in Computer Science))

By Streib, James T.

HK$254 Elsewhere ~~HK$463.28~~ Save HK$209.28 (45%)

Dynamic Logic. New Trends and Applications (Second International Workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Theoretical Computer Science and General Issues))

By Luis Soares Barbosa, Alexandru Baltag

Dynamic Logic. New Trends and Applications (Second International Workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Theoretical Computer Science and General Issues))

By Luis Soares Barbosa, Alexandru Baltag

HK$500

Verified Software. Theories, Tools, and Experiments (11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Supratik Chakraborty, Jorge A. Navas

Verified Software. Theories, Tools, and Experiments (11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Supratik Chakraborty, Jorge A. Navas

HK$491

Artificial Intelligence in Music, Sound, Art and Design (9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Ge ..)

By Juan Romero, Anikó Ekárt, Tiago Martins

Artificial Intelligence in Music, Sound, Art and Design (9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Ge ..)

By Juan Romero, Anikó Ekárt, Tiago Martins

HK$500

Foundations of Software Science and Computation Structures (23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (The ..)

By Jean Goubault-Larrecq, Barbara König

Foundations of Software Science and Computation Structures (23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (The ..)

By Jean Goubault-Larrecq, Barbara König

HK$487

View:
Safe Search(?):