Multilevel Modeling of Secure Systems in QoP-ML

HK$492

Inductive Logic Programming (23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerson Zaverucha, Vítor Santos Costa, Aline Paes

Inductive Logic Programming (23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Gerson Zaverucha, Vítor Santos Costa, Aline Paes

HK$635

Fundamental Approaches to Software Engineering (19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Theoretic ..)

By Perdita Stevens, Andrzej Wąsowski

Fundamental Approaches to Software Engineering (19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Theoretic ..)

By Perdita Stevens, Andrzej Wąsowski

HK$860

The Semantic Web - ISWC 2019 (18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svatek

The Semantic Web - ISWC 2019 (18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI))

By Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtech Svatek

HK$800

The Semantic Web (17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Andreas Harth, Sabrina Kirrane, Axel-Cyrille Ngonga Ngomo, Heiko Paulheim

The Semantic Web (17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Andreas Harth, Sabrina Kirrane, Axel-Cyrille Ngonga Ngomo, Heiko Paulheim

HK$940

The Semantic Web (ESWC 2020 Satellite Events: ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Andreas Harth, Valentina Presutti, Raphaël Troncy

The Semantic Web (ESWC 2020 Satellite Events: ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Andreas Harth, Valentina Presutti, Raphaël Troncy

HK$500

The Semantic Web – ISWC 2020 (19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Jeff Z. Pan, Valentina Tamma, Claudia d’Amato, Krzysztof Janowicz

The Semantic Web – ISWC 2020 (19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Jeff Z. Pan, Valentina Tamma, Claudia d’Amato, Krzysztof Janowicz

HK$1,097

The Semantic Web (18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin

The Semantic Web (18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin

HK$1,037

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Ludovic Henrio, Luca Cardelli

HK$1,100

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

Unconventional Programming Paradigms (International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jean Pierre Banatre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel

HK$500

Automated Deduction – CADE-20 (20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Robert Nieuwenhuis

Automated Deduction – CADE-20 (20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Robert Nieuwenhuis

HK$553

Conceptual Structures, Standards and Practices: 7th International Conference on Conceptual Structures, Iccs'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings (7th: Standards and Practices - International Conference on Conceptual Structures, ICCS '99,)

By William M. Tepfenhart, Walling Cyre

Conceptual Structures, Standards and Practices: 7th International Conference on Conceptual Structures, Iccs'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings (7th: Standards and Practices - International Conference on Conceptual Structures, ICCS '99,)

By William M. Tepfenhart, Walling Cyre

HK$700

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

HK$534

NASA Formal Methods (7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

NASA Formal Methods (7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

HK$553

Integrated Formal Methods (12th International Conference, iFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Erika Abraham, Marieke Huisman

Integrated Formal Methods (12th International Conference, iFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Erika Abraham, Marieke Huisman

HK$1,100

The Semantic Web (ESWC 2018 Satellite Events: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph

The Semantic Web (ESWC 2018 Satellite Events: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph

HK$500

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Luca Cardelli, Ludovic Henrio

A Theory of Distributed Objects (Asynchrony - Mobility - Groups - Components)

By Denis Caromel, Luca Cardelli, Ludovic Henrio

HK$960

Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))

By Einar Broch Johnsen, Luigia Petre

Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))

By Einar Broch Johnsen, Luigia Petre

HK$550

Intelligent Computer Mathematics (MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka

Intelligent Computer Mathematics (MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka

HK$537

Fundamental Approaches to Software Engineering (17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Comput ..)

By Stefania Gnesi, Arend Rensink

Fundamental Approaches to Software Engineering (17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Comput ..)

By Stefania Gnesi, Arend Rensink

HK$673

Testing: Academic and Industrial Conference - Practice and Research Techniques (5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Leonardo Bottaci, Gordon Fraser

Testing: Academic and Industrial Conference - Practice and Research Techniques (5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Leonardo Bottaci, Gordon Fraser

Currently
Unavailable

Formal Methods and Software Engineering (12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, Huibiao Zhu

Formal Methods and Software Engineering (12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science))

By Jin Song Dong, Huibiao Zhu

Currently
Unavailable

KI 2008: Advances in Artificial Intelligence (31st Annual German Confernce on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings)

By Thomas M. Breuel, Andreas Dengel, Karsten Berns, Frank Bomarius

KI 2008: Advances in Artificial Intelligence (31st Annual German Confernce on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings)

By Thomas M. Breuel, Andreas Dengel, Karsten Berns, Frank Bomarius

Currently
Unavailable

View:
Safe Search(?):