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

£72.02

Software Engineering and Formal Methods (14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rocco De Nicola, Eva Kühn

Software Engineering and Formal Methods (14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Rocco De Nicola, Eva Kühn

£46.13

Evolutionary Multi-Criterion Optimization (9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schutze

Evolutionary Multi-Criterion Optimization (9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schutze

£45.35

Advanced Hybrid Information Processing (First International Conference, ADHIP 2017, Harbin, China, July 17-18, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Guanglu Sun, Shuai Liu

Advanced Hybrid Information Processing (First International Conference, ADHIP 2017, Harbin, China, July 17-18, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering))

By Guanglu Sun, Shuai Liu

£45.15

Reliable Software Technologies - Ada-Europe 2018 (23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings (Lecture Notes in Computer Science))

By Antonio Casimiro, Pedro M. Ferreira

Reliable Software Technologies - Ada-Europe 2018 (23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings (Lecture Notes in Computer Science))

By Antonio Casimiro, Pedro M. Ferreira

£46.15

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

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 II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

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

£89.22

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

£44.99

Reliable Software Technologies -- Ada-Europe 2013 (18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk

Reliable Software Technologies -- Ada-Europe 2013 (18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk

£40.05

Algorithms and Architectures for Parallel Processing (23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science))

By Zahir Tari, Keqiu Li, Hongyi Wu

Algorithms and Architectures for Parallel Processing (23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science))

By Zahir Tari, Keqiu Li, Hongyi Wu

£58.14 Elsewhere ~~£69.99~~ Save £11.85 (17%)

An Entertainment for Angels (Electricity in the Enlightenment (Revolutions in Science S.))

By Fara, Patricia

An Entertainment for Angels (Electricity in the Enlightenment (Revolutions in Science S.))

By Fara, Patricia

£29.22

Data Love (The Seduction and Betrayal of Digital Technologies)

By Roberto Simanowski, Brigitte Pichon, Dorian Rudnytsky, Dorian Rudnytsky

Data Love (The Seduction and Betrayal of Digital Technologies)

By Roberto Simanowski, Brigitte Pichon, Dorian Rudnytsky, Dorian Rudnytsky

£22.77 Elsewhere ~~£28.00~~ Save £5.23 (19%)

Data Love (The Seduction and Betrayal of Digital Technologies)

By Roberto Simanowski, Brigitte Pichon, Dorian Rudnytsky, John Cayley

Data Love (The Seduction and Betrayal of Digital Technologies)

By Roberto Simanowski, Brigitte Pichon, Dorian Rudnytsky, John Cayley

£15.78 Elsewhere ~~£18.99~~ Save £3.21 (17%)

The Human Edge (Analogy and the Roots of Creative Intelligence)

By Keith J. Holyoak

The Human Edge (Analogy and the Roots of Creative Intelligence)

By Keith J. Holyoak

£55.59 Elsewhere ~~£72.00~~ Save £16.41 (23%)

Dataclysm (Love, Sex, Race, and Identity--What Our Online Lives Tell Us about Our Offline Selves)

By Rudder, Christian

Dataclysm (Love, Sex, Race, and Identity--What Our Online Lives Tell Us about Our Offline Selves)

By Rudder, Christian

£12.52 Elsewhere ~~£15.02~~ Save £2.50 (17%)

12,310

Manufacturing Strategies and Systems (Technologies, Processes, and Machine Tools (Advancements in Intelligent and Sustainable Technologies and Systems))

By Ajay Kumar, Parveen Kumar, Ashish Kumar Srivastava, Lokesh Saharan

Manufacturing Strategies and Systems (Technologies, Processes, and Machine Tools (Advancements in Intelligent and Sustainable Technologies and Systems))

By Ajay Kumar, Parveen Kumar, Ashish Kumar Srivastava, Lokesh Saharan

£130 Elsewhere ~~£140.00~~ Save £10.00 (7%)

Data Science Handbook, 2nd Edition

By Field (Allen Institute for Artificial Intelligence; Stanford Uni

Data Science Handbook, 2nd Edition

By Field (Allen Institute for Artificial Intelligence; Stanford Uni

£51.62 Elsewhere ~~£60.00~~ Save £8.38 (14%)

Human Hacked (My Life and Lessons as the World's First Augmented Ethical Hacker)

By Len

Human Hacked (My Life and Lessons as the World's First Augmented Ethical Hacker)

By Len

£21.07 Elsewhere ~~£26.99~~ Save £5.92 (22%)

Formal Concept Analysis (Mathematical Foundations)

By Bernhard Ganter, Rudolf Wille

Formal Concept Analysis (Mathematical Foundations)

By Bernhard Ganter, Rudolf Wille

£56.24

Expert Hadoop Administration (Managing, Tuning, and Securing Spark, YARN, and HDFS (Addison-Wesley Data & Analytics Series))

By Sam Alapati

Expert Hadoop Administration (Managing, Tuning, and Securing Spark, YARN, and HDFS (Addison-Wesley Data & Analytics Series))

By Sam Alapati

Currently
Unavailable

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 1 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 1 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Currently
Unavailable

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 2 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 2 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Currently
Unavailable

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 3 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Communication and Intelligent Systems (Proceedings of ICCIS 2023, Volume 3 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Ashish Kumar Tripathi, Lipo Wang

Currently
Unavailable

Communication and Intelligent Systems (Proceedings of ICCIS 2021 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Kusum Kumari Bharti, Lipo Wang

Communication and Intelligent Systems (Proceedings of ICCIS 2021 (Lecture Notes in Networks and Systems))

By Harish Sharma, Vivek Shrivastava, Kusum Kumari Bharti, Lipo Wang

Currently
Unavailable

Compiler Construction (12th International Conference, Cc 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes)

By Gorel Hedin

Compiler Construction (12th International Conference, Cc 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes)

By Gorel Hedin

Currently
Unavailable

View:
Safe Search(?):