Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings (5th: International Conference, PaCT-99, St.Petersburg, Russia, September 6-10, 1999 - Proceedings (Lecture Notes in Computer)

By Victor Malyshkin

Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings (5th: International Conference, PaCT-99, St.Petersburg, Russia, September 6-10, 1999 - Proceedings (Lecture Notes in Computer)

By Victor Malyshkin

HK$599

Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter G. Clote, Helmut Schwichtenberg

Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Peter G. Clote, Helmut Schwichtenberg

HK$1,060

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

Euro-Par 2008 Parallel Processing (14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Emilio Luque, Tomas Margalef, Domingo Benítez

Euro-Par 2008 Parallel Processing (14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Emilio Luque, Tomas Margalef, Domingo Benítez

HK$1,177

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

Principles of Distributed Systems (12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Theodore P. Baker, Alain Bui, Sebastien Tixeuil

Principles of Distributed Systems (12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Theodore P. Baker, Alain Bui, Sebastien Tixeuil

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

Computer Aided Verification (26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science))

By Armin Biere, Roderick Bloem

Computer Aided Verification (26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science))

By Armin Biere, Roderick Bloem

HK$1,140

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

HK$1,495

Computer Aided Verification (27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Daniel Kroening, Corina S. Păsăreanu

Computer Aided Verification (27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Daniel Kroening, Corina S. Păsăreanu

HK$900

Computer Aided Verification (27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Daniel Kroening, Corina S. Păsăreanu

Computer Aided Verification (27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Daniel Kroening, Corina S. Păsăreanu

HK$634

LATIN 2018: Theoretical Informatics (13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings (Lecture Notes in Computer Science))

By Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro

LATIN 2018: Theoretical Informatics (13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings (Lecture Notes in Computer Science))

By Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro

HK$685

Cyber Deception (Building the Scientific Foundation)

By Sushil Jajodia, V.S. Subrahmanian, Vipin Swarup, Cliff Wang

Cyber Deception (Building the Scientific Foundation)

By Sushil Jajodia, V.S. Subrahmanian, Vipin Swarup, Cliff Wang

HK$1,600

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

Advances in Information Retrieval (31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Mohand Boughanem, Catherine Berrut, Josiane Mothe, Chantal Soule-Dupuy

Advances in Information Retrieval (31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Mohand Boughanem, Catherine Berrut, Josiane Mothe, Chantal Soule-Dupuy

HK$1,136

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

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

Euro-Par 2010 - Parallel Processing (16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Pasqua D'Ambra, Mario Guarracino, Domenico Talia

Euro-Par 2010 - Parallel Processing (16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I (Theoretical Computer Science and General Issues))

By Pasqua D'Ambra, Mario Guarracino, Domenico Talia

HK$1,084

Mobile, Ubiquitous, and Intelligent Computing (MUSIC 2013 (Lecture Notes in Electrical Engineering))

By James J., Hojjat Adeli, Namje Park, Isaac Woungang

Mobile, Ubiquitous, and Intelligent Computing (MUSIC 2013 (Lecture Notes in Electrical Engineering))

By James J., Hojjat Adeli, Namje Park, Isaac Woungang

HK$2,073

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

View:
Safe Search(?):