Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

Runtime Verification (23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science))

By Panagiotis Katsaros, Laura Nenzi

£59.88

Product-Focused Software Process Improvement (24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part I (Lecture Notes in Computer Science))

By Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi

Product-Focused Software Process Improvement (24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part I (Lecture Notes in Computer Science))

By Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi

£78.96 Elsewhere ~~£89.99~~ Save £11.03 (12%)

International Conference on Applied Technologies (5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22–24, 2023, Revised Selected Papers, Part III (Communications in Computer and Information Science))

By Miguel Botto-Tobar, Marcelo Zambrano Vizuete, Sergio Montes León, Pablo Torres-Carrión

International Conference on Applied Technologies (5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22–24, 2023, Revised Selected Papers, Part III (Communications in Computer and Information Science))

By Miguel Botto-Tobar, Marcelo Zambrano Vizuete, Sergio Montes León, Pablo Torres-Carrión

£88.37 Elsewhere ~~£119.99~~ Save £31.62 (26%)

HCI in Mobility, Transport, and Automotive Systems (6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part I (Lecture Notes in Computer ..)

By Heidi Krömker

HCI in Mobility, Transport, and Automotive Systems (6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part I (Lecture Notes in Computer ..)

By Heidi Krömker

£46.73 Elsewhere ~~£159.99~~ Save £113.26 (71%)

Engineering Psychology and Cognitive Ergonomics (21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II (Lecture Notes in Artificial ..)

By Don Harris, Wen-Chin Li

Engineering Psychology and Cognitive Ergonomics (21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II (Lecture Notes in Artificial ..)

By Don Harris, Wen-Chin Li

£55.98 Elsewhere ~~£109.99~~ Save £54.01 (49%)

Computer Information Systems and Industrial Management (23rd International Conference, CISIM 2024, Bialystok, Poland, September 27–29, 2024, Proceedings (Lecture Notes in Computer Science))

By Khalid Saeed, Jiří Dvorský

Computer Information Systems and Industrial Management (23rd International Conference, CISIM 2024, Bialystok, Poland, September 27–29, 2024, Proceedings (Lecture Notes in Computer Science))

By Khalid Saeed, Jiří Dvorský

£59.97 Elsewhere ~~£64.99~~ Save £5.02 (8%)

High Performance Computing - HiPC 2002 (9th International Conference, Bangalore, India, December 18-21, 2002 : Proceedings (Lecture Notes in Computer Science))

By Sartaj Sahni, Viktor K. Prasanna, Uday Shukla

High Performance Computing - HiPC 2002 (9th International Conference, Bangalore, India, December 18-21, 2002 : Proceedings (Lecture Notes in Computer Science))

By Sartaj Sahni, Viktor K. Prasanna, Uday Shukla

£89.53

Seminar on Concurrency (Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984: v. 197 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel

Seminar on Concurrency (Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984: v. 197 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel

£45.09

Semantics for Concurrency (Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (Workshops in Computing))

By Marta Zofia Kwiatkowska, Michael W. Shields, Richard M. Thomas

Semantics for Concurrency (Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (Workshops in Computing))

By Marta Zofia Kwiatkowska, Michael W. Shields, Richard M. Thomas

£50.55

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

By Lano, Kevin

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

By Lano, Kevin

£45.08

Multiagent System Technologies (First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))

By Michael Schillo, Matthias Klusch, Jorg Muller, Huaglory Tianfield

Multiagent System Technologies (First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))

By Michael Schillo, Matthias Klusch, Jorg Muller, Huaglory Tianfield

£45.15

Dependable Computing (First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Rogerio Le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr

Dependable Computing (First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Rogerio Le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr

£44.99

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Perdita Stevens, John Whittle, Grady Booch

£45.01

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

Hybrid Systems - Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Rajeev Alur, George S. Pappas

£89.46

Algebraic Methodology and Software Technology (10th International Conference, Amast 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Charles Rattray, Savitri Maharaj

Algebraic Methodology and Software Technology (10th International Conference, Amast 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Charles Rattray, Savitri Maharaj

£45.11

Web Engineering (4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nora Koch, Piero Fraternali, Martin Wirsing

Web Engineering (4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nora Koch, Piero Fraternali, Martin Wirsing

£88.77

Automated Technology for Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))

By Farn Wang

Automated Technology for Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))

By Farn Wang

£88.72

COTS-Based Software Systems (4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Dan Port

COTS-Based Software Systems (4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Dan Port

£44.97

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Manfred Morari, Lothar Thiele, Francesca Rossi

£89.47

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

Foundations of Software Science and Computation Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)

By Vladimiro Sassone

£45.70

View:
Safe Search(?):