Tools and Algorithms for the Construction and Analysis of Systems (28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Par)

By Dana Fisman, Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems (28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Par)

By Dana Fisman, Grigore Rosu

HK$500

Foundations of Software Science and Computation Structures (27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proce ..)

By Naoki Kobayashi, James Worrell

Foundations of Software Science and Computation Structures (27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proce ..)

By Naoki Kobayashi, James Worrell

HK$446

Fundamental Approaches to Software Engineering (27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (Lecture ..)

By Dirk Beyer, Ana Cavalcanti

Fundamental Approaches to Software Engineering (27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (Lecture ..)

By Dirk Beyer, Ana Cavalcanti

HK$457

CONCUR 2004 - Concurrency Theory (15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Philippa Gardner, Nobuko Yoshida

CONCUR 2004 - Concurrency Theory (15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Philippa Gardner, Nobuko Yoshida

HK$600

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

HK$1,060

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

HK$1,238

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 (Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A)

By Josep Diaz, Fernando Orejas

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 (Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A)

By Josep Diaz, Fernando Orejas

HK$676

Fundamentals of Computation Theory (International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janos Csirik, Ferenc Gecseg, Janos Demetrovics

Fundamentals of Computation Theory (International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janos Csirik, Ferenc Gecseg, Janos Demetrovics

HK$739

Theory of Computing and Systems (ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992 - Proceedings (Lecture Notes in Computer Science))

By Danny Dolev, Zvi Galil, Michael Rodeh

Theory of Computing and Systems (ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992 - Proceedings (Lecture Notes in Computer Science))

By Danny Dolev, Zvi Galil, Michael Rodeh

HK$540

Fundamentals of Computation Theory (9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings (Lecture Notes in Computer Science))

By Zoltan Esik

Fundamentals of Computation Theory (9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings: 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings (Lecture Notes in Computer Science))

By Zoltan Esik

HK$590

Application and Theory of Petri Nets: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (1995: 16th International Conference, Torino, Italy, June 26-30, 1995 - Proceedings (Lecture Notes in Computer Science))

By Giorgio De Michelis, Michel Diaz

Application and Theory of Petri Nets: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (1995: 16th International Conference, Torino, Italy, June 26-30, 1995 - Proceedings (Lecture Notes in Computer Science))

By Giorgio De Michelis, Michel Diaz

HK$740

Application and Theory of Petri Nets: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings (1996: 17th International Conference, Osaka, Japan, June 24-28, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artif)

By Jonathan Billington, Wolfgang Reisig

Application and Theory of Petri Nets: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings (1996: 17th International Conference, Osaka, Japan, June 24-28, 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artif)

By Jonathan Billington, Wolfgang Reisig

HK$1,060

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

Concur '96, Concurrency Theory (7th International Conference, Pisa, Italy, August 26 - 29, 1996, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ugo Montanari, Vladimiro Sassone

HK$1,100

Category Theory and Computer Science (7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science))

By Eugenio Moggi, Giuseppe Rosolini

Category Theory and Computer Science (7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science))

By Eugenio Moggi, Giuseppe Rosolini

HK$654

CONCUR'99. Concurrency Theory (10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Sjouke Mauw

CONCUR'99. Concurrency Theory (10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Sjouke Mauw

HK$1,233

Concur 2000. Concurrency Theory (11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Catuscia Palamidessi

Concur 2000. Concurrency Theory (11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Catuscia Palamidessi

HK$1,078

Applications and Theory of Petri Nets (29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Kees van Hee, Rudiger Valk

Applications and Theory of Petri Nets (29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Kees van Hee, Rudiger Valk

HK$590

Fundamental Approaches to Software Engineering (21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in)

By Alessandra Russo, Andy Schurr

Fundamental Approaches to Software Engineering (21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in)

By Alessandra Russo, Andy Schurr

HK$573

Bio-Inspired Computing (Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science))

By Linqiang Pan, Yong Wang, Jianqing Lin

Bio-Inspired Computing (Theories and Applications: 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science))

By Linqiang Pan, Yong Wang, Jianqing Lin

HK$700 Elsewhere ~~HK$774.69~~ Save HK$74.69 (10%)

Unix System Administration Handbook

By Evi Nemeth, Garth Snyder, Scott Seebass, Trent Hein

Unix System Administration Handbook

By Evi Nemeth, Garth Snyder, Scott Seebass, Trent Hein

HK$460 Elsewhere ~~HK$563.01~~ Save HK$103.01 (18%)

1

Reliability of Computer Systems and Networks (Fault Tolerance, Analysis, and Design)

By Martin L. Shooman

Reliability of Computer Systems and Networks (Fault Tolerance, Analysis, and Design)

By Martin L. Shooman

HK$1,200 Elsewhere ~~HK$1,910.63~~ Save HK$710.63 (37%)

Advanced Topics in Term Rewriting

By Ohlebusch, Enno

Advanced Topics in Term Rewriting

By Ohlebusch, Enno

HK$600

Scheduling and Automatic Parallelization

By Darte, Alain, Robert, Yves., Frederic Vivien

Scheduling and Automatic Parallelization

By Darte, Alain, Robert, Yves., Frederic Vivien

HK$1,040

Principles of Asynchronous Circuit Design (A Systems Perspective)

By Jens Sparso, Stephen B. Furber

Principles of Asynchronous Circuit Design (A Systems Perspective)

By Jens Sparso, Stephen B. Furber

HK$2,186

View:
Safe Search(?):