Engineering Trustworthy Software Systems (5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Engineering Trustworthy Software Systems (5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Zhiming Liu, Zili Zhang

£45.02

Mathematics of Program Construction (13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Graham Hutton

Mathematics of Program Construction (13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Graham Hutton

£45.05

Software Engineering and Formal Methods (SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Javier Camara, Martin Steffen

Software Engineering and Formal Methods (SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Javier Camara, Martin Steffen

£76.17

Formal Methods for Industrial Critical Systems (25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurice H. ter Beek, Dejan Ničković

Formal Methods for Industrial Critical Systems (25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Maurice H. ter Beek, Dejan Ničković

£44.99

Automated Technology for Verification and Analysis (18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Dang Van Hung, Oleg Sokolsky

Automated Technology for Verification and Analysis (18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Dang Van Hung, Oleg Sokolsky

£45.15

Formal Methods and Software Engineering (22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shang-Wei Lin, Zhe Hou, Brendan Mahony

Formal Methods and Software Engineering (22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shang-Wei Lin, Zhe Hou, Brendan Mahony

£45.05

Integrated Formal Methods (16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Brijesh Dongol, Elena Troubitsyna

Integrated Formal Methods (16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Brijesh Dongol, Elena Troubitsyna

£45.04

End User Development (2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Volkmar Pipek, Mary Beth Rosson, Boris de Ruyter, Volker Wulf

End User Development (2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Volkmar Pipek, Mary Beth Rosson, Boris de Ruyter, Volker Wulf

£44.99

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

Formal Methods and Software Engineering (23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science))

By Adrian Riesco, Min Zhang

£39.83 Elsewhere ~~£44.99~~ Save £5.16 (11%)

Formal Methods and Software Engineering (25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science))

By Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Formal Methods and Software Engineering (25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science))

By Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

£55.95 Elsewhere ~~£59.99~~ Save £4.04 (7%)

Formal Methods and Software Engineering (24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science))

By Yi Li, Sofiène Tahar

Formal Methods and Software Engineering (24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science))

By Yi Li, Sofiène Tahar

£43.58 Elsewhere ~~£54.99~~ Save £11.41 (21%)

Theoretical Aspects of Software Engineering (16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings (Lecture Notes in Computer Science))

By Yamine Aït-Ameur, Florin Crăciun

Theoretical Aspects of Software Engineering (16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings (Lecture Notes in Computer Science))

By Yamine Aït-Ameur, Florin Crăciun

£63.19 Elsewhere ~~£74.99~~ Save £11.80 (16%)

Engineering Trustworthy Software Systems (6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu

Engineering Trustworthy Software Systems (6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures (Lecture Notes in Computer Science))

By Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu

£41.15 Elsewhere ~~£44.99~~ Save £3.84 (9%)

Drum Sound and Drum Tuning (Bridging Science and Creativity (Audio Engineering Society Presents))

By Toulson, Rob

Drum Sound and Drum Tuning (Bridging Science and Creativity (Audio Engineering Society Presents))

By Toulson, Rob

£32.76 Elsewhere ~~£35.99~~ Save £3.23 (9%)

Drum Sound and Drum Tuning (Bridging Science and Creativity (Audio Engineering Society Presents))

By Rob Toulson

Drum Sound and Drum Tuning (Bridging Science and Creativity (Audio Engineering Society Presents))

By Rob Toulson

£109 Elsewhere ~~£150.00~~ Save £41.00 (27%)

Workflow and Process Automation (Concepts and Technology (The Springer International Series in Engineering and Computer Science))

By Andrzej Cichocki, Helal A. Ansari, Marek Rusinkiewicz

Workflow and Process Automation (Concepts and Technology (The Springer International Series in Engineering and Computer Science))

By Andrzej Cichocki, Helal A. Ansari, Marek Rusinkiewicz

£88.79

Compositional Translation (The Springer International Series in Engineering and Computer Science)

By Rosetta, M. T.

Compositional Translation (The Springer International Series in Engineering and Computer Science)

By Rosetta, M. T.

£88.76

Workflow and Process Automation (Concepts and Technology (The Springer International Series in Engineering and Computer Science))

By Ansari, Helal A., Cichocki, Andrzej, Marek Rusinkiewicz, Darrell Woelk

Workflow and Process Automation (Concepts and Technology (The Springer International Series in Engineering and Computer Science))

By Ansari, Helal A., Cichocki, Andrzej, Marek Rusinkiewicz, Darrell Woelk

£82.56 Elsewhere ~~£89.99~~ Save £7.43 (8%)

Compositional Translation (The Springer International Series in Engineering and Computer Science)

By Rosetta, M. T.

Compositional Translation (The Springer International Series in Engineering and Computer Science)

By Rosetta, M. T.

£88.70

Formal Aspects of Component Software (19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Javier Cámara, Sung-Shik Jongmans

Formal Aspects of Component Software (19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Javier Cámara, Sung-Shik Jongmans

£40.98 Elsewhere ~~£54.99~~ Save £14.01 (25%)

Information and Software Technologies (23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017. Proceedings (Communications in Computer and Information Science))

By Robertas Damasevicius, Vilma Mikasyte

Information and Software Technologies (23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017. Proceedings (Communications in Computer and Information Science))

By Robertas Damasevicius, Vilma Mikasyte

£48.45

Information and Software Technologies (24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4-6, 2018, Proceedings (Communications in Computer and Information Science))

By Robertas Damasevicius, Giedre Vasiljeviene

Information and Software Technologies (24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4-6, 2018, Proceedings (Communications in Computer and Information Science))

By Robertas Damasevicius, Giedre Vasiljeviene

£45.05

Intelligent Tutoring Systems (11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings (Programming and Software Engineering))

By Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia

Intelligent Tutoring Systems (11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings (Programming and Software Engineering))

By Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia

£45.52

Spoken Dialogue with Computers (Signal Processing and Its Applications)

By Renato De Mori

Spoken Dialogue with Computers (Signal Processing and Its Applications)

By Renato De Mori

£113 Elsewhere ~~£135.00~~ Save £22.00 (16%)

View:
Safe Search(?):