HK$651

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

HK$500

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

HK$600

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

HK$1,072

Implementation of Functional Languages (12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science))

By Markus Mohnen, Pieter Koopman

Implementation of Functional Languages (12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes in Computer Science))

By Markus Mohnen, Pieter Koopman

HK$540

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

Implementation of Functional Languages (13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Arts, Markus Mohnen

Implementation of Functional Languages (13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Thomas Arts, Markus Mohnen

HK$536

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

HK$1,238

Memory Management (International Workshop Iwmm 95, Kinross, UK, September 27 - 29, 1995. Proceedings: International Workshop IWMM 95, Kinross, UK, September 27-29, 1995. Proceedings (Lecture Notes in Computer Science))

By Henry G. Baker

Memory Management (International Workshop Iwmm 95, Kinross, UK, September 27 - 29, 1995. Proceedings: International Workshop IWMM 95, Kinross, UK, September 27-29, 1995. Proceedings (Lecture Notes in Computer Science))

By Henry G. Baker

HK$579

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

Automated Deduction - CADE-15 (15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Claude Kirchner, Helene Kirchner

HK$692

Computer Science Logic (13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science))

By Jörg Flum, Mario Rodriguez-Artalejo

Computer Science Logic (13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science))

By Jörg Flum, Mario Rodriguez-Artalejo

HK$600

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

HK$1,100

Information and Communication Security (Second International Conference, ICICS '99, Sydney, Australia, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Vijay Varadharajan, Yi Mu

Information and Communication Security (Second International Conference, ICICS '99, Sydney, Australia, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Vijay Varadharajan, Yi Mu

HK$560

Information Security and Privacy (5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ed Dawson, Andrew Clark, Colin Boyd

Information Security and Privacy (5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ed Dawson, Andrew Clark, Colin Boyd

HK$736

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

HK$560

CONCUR 2008 - Concurrency Theory (19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck van Breugel, Marsha Chechik

CONCUR 2008 - Concurrency Theory (19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Franck van Breugel, Marsha Chechik

HK$600

Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Portoroz, Slovenia, 1999 (1999: Proceedings of the International Conference in Portoroz, Slovenia)

By Andrej Dobnikar, Nigel C. Steele, David W. Pearson, Rudolf F. Albrecht

Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Portoroz, Slovenia, 1999 (1999: Proceedings of the International Conference in Portoroz, Slovenia)

By Andrej Dobnikar, Nigel C. Steele, David W. Pearson, Rudolf F. Albrecht

HK$1,100

Optimization and Decision Science (Methodologies and Applications: International Conference on Optimization and Decision Science, Sorrento, Italy, September 2017 (Springer Proceedings in Mathematics & Statistics))

By Antonio Sforza, Claudio Sterle

Optimization and Decision Science (Methodologies and Applications: International Conference on Optimization and Decision Science, Sorrento, Italy, September 2017 (Springer Proceedings in Mathematics & Statistics))

By Antonio Sforza, Claudio Sterle

HK$1,540

Frontiers in Statistical Quality Control 12 (Frontiers in Statistical Quality Control)

By Sven Knoth, Wolfgang Schmid

Frontiers in Statistical Quality Control 12 (Frontiers in Statistical Quality Control)

By Sven Knoth, Wolfgang Schmid

HK$1,900

Distributed Applications and Interoperable Systems (18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, P ..)

By Silvia Bonomi, Etienne Rivière

Distributed Applications and Interoperable Systems (18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, P ..)

By Silvia Bonomi, Etienne Rivière

HK$794

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

HK$540

Information Processing and Management (International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings (Communications in Computer and Information Scienc)

By Vinu V. Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen

Information Processing and Management (International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings (Communications in Computer and Information Scienc)

By Vinu V. Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen

HK$1,100

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

HK$700

Decision Mathematics, Statistical Learning and Data Mining (Selected Contributions from ICMSCT2023, Manila, Philippines, September 20-21 (Springer Proceedings in Mathematics & Statistics))

By Wan Fairos Wan Yaacob, Yap Bee Wah, Obaid Ullah Mehmood

Decision Mathematics, Statistical Learning and Data Mining (Selected Contributions from ICMSCT2023, Manila, Philippines, September 20-21 (Springer Proceedings in Mathematics & Statistics))

By Wan Fairos Wan Yaacob, Yap Bee Wah, Obaid Ullah Mehmood

HK$1,900

View:
Safe Search(?):