Name: Vision and Navigation: The Carnegie Mellon Navlab (Springer International Series in Engineering and Computer Science The)
Brand: Springer
SKU: 5510390
Price: 177 GBP
Availability: InStock

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

Introduction to Visual Effects (A Computational Approach)

By Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

Introduction to Visual Effects (A Computational Approach)

By Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

£40.98 Elsewhere ~~£44.99~~ Save £4.01 (9%)

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.18

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ć

£45

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.16

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.05

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

£45

Distributed Computing Innovations for Business, Engineering, and Science (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

By Alfred Waising Loo

Distributed Computing Innovations for Business, Engineering, and Science (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

By Alfred Waising Loo

£143 Elsewhere ~~£193.00~~ Save £50.00 (26%)

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%)

Software Visualization (Visualizing the Structure, Behaviour, and Evolution of Software)

By Diehl, Stephan

Software Visualization (Visualizing the Structure, Behaviour, and Evolution of Software)

By Diehl, Stephan

£48.02

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%)

Software Patterns, Knowledge Maps, and Domain Analysis

By Fayad, Mohamed E. (San Jose State University, Charles W. Davidso, Huascar A. Sanchez, Srikanth G.K. Hegde, Anshu Basia

Software Patterns, Knowledge Maps, and Domain Analysis

By Fayad, Mohamed E. (San Jose State University, Charles W. Davidso, Huascar A. Sanchez, Srikanth G.K. Hegde, Anshu Basia

£42.56 Elsewhere ~~£44.99~~ Save £2.43 (5%)

2

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.16 Elsewhere ~~£44.99~~ Save £3.83 (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%)

Advances in Intelligent Systems (Concepts, Tools and Applications (Intelligent Systems, Control and Automation: Science and Engineering))

By Spyros G. Tzafestas

Advances in Intelligent Systems (Concepts, Tools and Applications (Intelligent Systems, Control and Automation: Science and Engineering))

By Spyros G. Tzafestas

£230 Elsewhere ~~£249.99~~ Save £19.99 (8%)

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.80

Still Image Compression on Parallel Computer Architectures (The Springer International Series in Engineering and Computer Science)

By Bevinakoppa, Savitri

Still Image Compression on Parallel Computer Architectures (The Springer International Series in Engineering and Computer Science)

By Bevinakoppa, Savitri

£128

Vision and Navigation (The Carnegie Mellon Navlab (Springer International Series in Engineering and Computer Science The))

By Charles E. Thorpe

Vision and Navigation (The Carnegie Mellon Navlab (Springer International Series in Engineering and Computer Science The))

By Charles E. Thorpe

£177

View:
Safe Search(?):