Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))

By Dang van Hung, Mizuhito Ogawa

HK$560

Intelligent Information and Database Systems (6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Ngoc-Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat

Intelligent Information and Database Systems (6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Ngoc-Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat

HK$1,359

Intelligent Information and Database Systems (6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I: Part I (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat

Intelligent Information and Database Systems (6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I: Part I (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawinski, Kulwadee Somboonviwat

HK$1,359

Software Language Engineering (7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju

Software Language Engineering (7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju

HK$500

Social Coordination Frameworks for Social Technical Systems (Law, Governance and Technology Series)

By Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega

Social Coordination Frameworks for Social Technical Systems (Law, Governance and Technology Series)

By Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega

HK$1,240

Smart City 360 Degrees (First EAI International Summit, Smart City 360 Degrees, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun)

By Alberto Leon-Garcia, Dagmar Caganova, Kim Nguyen

Smart City 360 Degrees (First EAI International Summit, Smart City 360 Degrees, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun)

By Alberto Leon-Garcia, Dagmar Caganova, Kim Nguyen

HK$651

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

HK$890

Learning and Intelligent Optimization (10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Paola Festa, Meinolf Sellmann

Learning and Intelligent Optimization (10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Paola Festa, Meinolf Sellmann

HK$500

Social Coordination Frameworks for Social Technical Systems (Law, Governance and Technology Series)

By Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega

Social Coordination Frameworks for Social Technical Systems (Law, Governance and Technology Series)

By Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega

HK$900

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman

HK$551

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity (The PAAMS Collection: 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Artificial Intelligence))

By Demazeau, Yves, Fernández-Caballero, Antonio, Javier Bajo, Antonio Fernandez-Caballero

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity (The PAAMS Collection: 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Artificial Intelligence))

By Demazeau, Yves, Fernández-Caballero, Antonio, Javier Bajo, Antonio Fernandez-Caballero

HK$535

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science) (Programming and Software Engineering)

By Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

HK$500

Evolutionary Multi-Criterion Optimization (5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Matthias Ehrgott, Carlos M. Fonseca, Jin-Kao Hao, Jin-Kao Hao

Evolutionary Multi-Criterion Optimization (5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Matthias Ehrgott, Carlos M. Fonseca, Jin-Kao Hao, Jin-Kao Hao

HK$998

The Semantic Web (Research and Applications: 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31- June 4, 2009 Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano

The Semantic Web (Research and Applications: 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31- June 4, 2009 Proceedings (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI))

By Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano

HK$988

Advances in Information Security and Assurance (Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings (Lecture Notes in Computer Science))

By James, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Mohammed Atiquzzaman

Advances in Information Security and Assurance (Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings (Lecture Notes in Computer Science))

By James, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Mohammed Atiquzzaman

HK$1,060

Model Driven Architecture - Foundations and Applications (5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige, Alan Hartman, Arend Rensink

Model Driven Architecture - Foundations and Applications (5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige, Alan Hartman, Arend Rensink

HK$500

Model Driven Engineering Languages and Systems (12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Andy Schurr, Bran V. Selic

Model Driven Engineering Languages and Systems (12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Andy Schurr, Bran V. Selic

HK$1,052

Service-Oriented Computing (7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Luciano Baresi, Chi-Hung Chi, Jun Suzuki

Service-Oriented Computing (7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Luciano Baresi, Chi-Hung Chi, Jun Suzuki

HK$1,034

Information Security Applications (10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Heung Youl Youm, Moti Yung

Information Security Applications (10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology))

By Heung Youl Youm, Moti Yung

HK$538

Models in Software Engineering (Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sudipto Ghosh

Models in Software Engineering (Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Sudipto Ghosh

HK$559

Research in Computational Molecular Biology (14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings (Lecture Notes in Computer Science))

By Bonnie G. Berger

Research in Computational Molecular Biology (14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings (Lecture Notes in Computer Science))

By Bonnie G. Berger

HK$1,000

Model Checking and Artificial Intelligence (6th International Workshop, MOCHART 2010, Atlanta, GA, USA, July 11, 2010 : Revised Selected and Invited Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ron Van Der Meyden, Jan-Georg Smaus

Model Checking and Artificial Intelligence (6th International Workshop, MOCHART 2010, Atlanta, GA, USA, July 11, 2010 : Revised Selected and Invited Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ron Van Der Meyden, Jan-Georg Smaus

HK$480

Trends in Network and Communications (International Conferences, NeCOM 2011, WeST 2011, and WiMON 2011, Chennai, India, July 15-17, 2011, Proceedings (Communications in Computer and Information Science))

By David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan

Trends in Network and Communications (International Conferences, NeCOM 2011, WeST 2011, and WiMON 2011, Chennai, India, July 15-17, 2011, Proceedings (Communications in Computer and Information Science))

By David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan

HK$600

Programming Multi-Agents Systems (9th International Workshop, PROMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Louise Dennis, Olivier Boissier, Rafael H. Bordini

Programming Multi-Agents Systems (9th International Workshop, PROMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Louise Dennis, Olivier Boissier, Rafael H. Bordini

HK$460

View:
Safe Search(?):