Rendezvous in Distributed Systems (Theory, Algorithms and Applications)

HK$1,638

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

HK$1,071

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

Advanced Parallel Processing Technologies (6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jiannong Cao, Wolfgang Nejdl, Ming Xu

Advanced Parallel Processing Technologies (6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jiannong Cao, Wolfgang Nejdl, Ming Xu

HK$600

Parallelization in Inference Systems (International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings (Lecture Notes in Artificial Intelligence))

By Bertram Fronhoefer, Graham Wrightson

Parallelization in Inference Systems (International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings (Lecture Notes in Artificial Intelligence))

By Bertram Fronhoefer, Graham Wrightson

HK$576

Theorem Proving in Higher Order Logics (21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar

Theorem Proving in Higher Order Logics (21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Theoretical Computer Science and General Issues))

By Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar

HK$590

Computer Security - ESORICS 2008 (13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Jajodia, Sushil, Lopez, Javier

Computer Security - ESORICS 2008 (13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))

By Jajodia, Sushil, Lopez, Javier

HK$600

Computer Engineering and Networking (Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) (Lecture Notes in Electrical Engineering))

By W. Eric Wong, Tingshao Zhu

Computer Engineering and Networking (Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) (Lecture Notes in Electrical Engineering))

By W. Eric Wong, Tingshao Zhu

HK$2,852

Computational Science - ICCS 2018 (18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya

Computational Science - ICCS 2018 (18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya

HK$660

Euro-Par 2018 (Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marco Aldinucci, Luca Padovani, Massimo Torquati

Euro-Par 2018 (Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Marco Aldinucci, Luca Padovani, Massimo Torquati

HK$680

Algorithms and Architectures for Parallel Processing (9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Arrems Hua, Shih-Liang Chang

Algorithms and Architectures for Parallel Processing (9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Arrems Hua, Shih-Liang Chang

HK$1,140

Parallel Computing Technologies (10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Victor Malyshkin

Parallel Computing Technologies (10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Victor Malyshkin

HK$600

Future Generation Information Technology (First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings (Computer Communication Networks and Telecommunications))

By Young Hoon Lee, Dominik Slezak

Future Generation Information Technology (First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings (Computer Communication Networks and Telecommunications))

By Young Hoon Lee, Dominik Slezak

HK$560

Cloud Computing (First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By Martin Gilje Jaatun, Gansen Zhao, Chunming Rong

Cloud Computing (First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By Martin Gilje Jaatun, Gansen Zhao, Chunming Rong

HK$1,100

Network and Parallel Computing (10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng

Network and Parallel Computing (10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng

HK$587

Formal Models and Semantics (Volume B)

By Jan van Leeuwen

Formal Models and Semantics (Volume B)

By Jan van Leeuwen

Currently
Unavailable

Modelling, Computation and Optimization in Information Systems and Management Sciences (Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Proceedings (Communications in Computer and Information Science))

By Le Thi Hoai An, Pascal Bouvry, Tao Pham Dinh

Modelling, Computation and Optimization in Information Systems and Management Sciences (Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Proceedings (Communications in Computer and Information Science))

By Le Thi Hoai An, Pascal Bouvry, Tao Pham Dinh

Currently
Unavailable

Parallel and Distributed Processing (11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedi)

By Jose D. P. Rolim

Parallel and Distributed Processing (11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedi)

By Jose D. P. Rolim

Currently
Unavailable

Euro-Par'97 Parallel Processing (Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings (Lecture Notes in Computer Science))

By Christian Lengauer, Martin Griebl, Sergei Gorlatch

Euro-Par'97 Parallel Processing (Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings (Lecture Notes in Computer Science))

By Christian Lengauer, Martin Griebl, Sergei Gorlatch

Currently
Unavailable

Handbook of Model Checking

By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Handbook of Model Checking

By Edmund M. Clarke, Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Currently
Unavailable

Computer Engineering and Networking (Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) (Lecture Notes in Electrical Engineering))

By W. Eric Wong, Tingshao Zhu

Computer Engineering and Networking (Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) (Lecture Notes in Electrical Engineering))

By W. Eric Wong, Tingshao Zhu

Currently
Unavailable

View:
Safe Search(?):