Name: Vision and Navigation: The Carnegie Mellon Navlab (Springer International Series in Engineering and Computer Science The)
Brand: Springer
SKU: 5510390
Price: 1900 HKD
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

HK$497

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

HK$387 Elsewhere ~~HK$463.35~~ Save HK$76.35 (16%)

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

HK$540

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

HK$640

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ć

HK$500

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

HK$579

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

HK$500

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

HK$540

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

HK$500

An Interdisciplinary Introduction to Image Processing (Pixels, Numbers, and Programs (An Interdisciplinary Introduction to Image Processing))

By Tanimoto, Steven L. (Professor of Computer Science and Engineeri

An Interdisciplinary Introduction to Image Processing (Pixels, Numbers, and Programs (An Interdisciplinary Introduction to Image Processing))

By Tanimoto, Steven L. (Professor of Computer Science and Engineeri

HK$560

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

HK$1,675 Elsewhere ~~HK$1,987.69~~ Save HK$312.69 (16%)

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

HK$499

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

HK$500

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

HK$676

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

HK$560

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

HK$500

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

HK$737 Elsewhere ~~HK$772.31~~ Save HK$35.31 (5%)

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

HK$478

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

HK$293 Elsewhere ~~HK$370.66~~ Save HK$77.66 (21%)

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

HK$1,000 Elsewhere ~~HK$1,544.84~~ Save HK$544.84 (35%)

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

HK$2,632

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

HK$985

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

HK$1,400

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

HK$1,900

View:
Safe Search(?):