Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students. After obtaining his PhD in Karlsruhe in 1991, Wolfgang was appointed professor in Ulm in 1994 and then moved o...
I tiakina i:
| Kaituhi rangatōpū: | SpringerLink (Online service) |
|---|---|
| Ētahi atu kaituhi: | Ernst, Gidon (Editor), Güdemann, Matthias (Editor), Knapp, Alexander (Editor), Nafz, Florian (Editor), Ortmeier, Frank (Editor), Ponsar, Hella (Editor), Schellhorn, Gerhard (Editor), Schiendorfer, Alexander (Editor) |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Putanga: | 1st ed. 2025. |
| Rangatū: | Lecture Notes in Computer Science,
15765 |
| Ngā marau: | |
| Urunga tuihono: | https://doi.org/10.1007/978-3-031-92196-4 |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
I whakaputaina: (2025)
I whakaputaina: (2025)
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
I whakaputaina: (2025)
I whakaputaina: (2025)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
mā: Morazán, Marco T.
I whakaputaina: (2024)
mā: Morazán, Marco T.
I whakaputaina: (2024)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
I whakaputaina: (2024)
I whakaputaina: (2024)
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1 /
I whakaputaina: (2025)
I whakaputaina: (2025)
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Robot Control and Calibration Innovative Control Schemes and Calibration Algorithms /
mā: Luo, Xin, me ētahi atu.
I whakaputaina: (2023)
mā: Luo, Xin, me ētahi atu.
I whakaputaina: (2023)
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Development of Safety-Critical Systems Architecture and Software /
mā: Karmakar, Gopinath, me ētahi atu.
I whakaputaina: (2023)
mā: Karmakar, Gopinath, me ētahi atu.
I whakaputaina: (2023)
Electric Power Robots Modeling, Control, and Applications /
mā: Wang, Yaonan, me ētahi atu.
I whakaputaina: (2025)
mā: Wang, Yaonan, me ētahi atu.
I whakaputaina: (2025)
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
I whakaputaina: (2025)
I whakaputaina: (2025)
New Trends in Medical and Service Robotics MESROB 2023 /
I whakaputaina: (2023)
I whakaputaina: (2023)
Advances in Asian Mechanism and Machine Science Proceedings of IFToMM Asian MMS 2024 /
I whakaputaina: (2024)
I whakaputaina: (2024)
State-of-the-Art and Innovations in Mechanism and Machine Science A Tribute to Carlos López-Cajún /
I whakaputaina: (2024)
I whakaputaina: (2024)
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Nonlinear Systems and Controls
mā: Adamy, Jürgen
I whakaputaina: (2024)
mā: Adamy, Jürgen
I whakaputaina: (2024)
Unmanned Aerial Vehicles Formation Control and Safety Guarantee
mā: Lv, Maolong, me ētahi atu.
I whakaputaina: (2025)
mā: Lv, Maolong, me ētahi atu.
I whakaputaina: (2025)
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts /
mā: Štuikys, Vytautas, me ētahi atu.
I whakaputaina: (2024)
mā: Štuikys, Vytautas, me ētahi atu.
I whakaputaina: (2024)
Advances in Design, Simulation and Manufacturing VI Proceedings of the 6th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2023, June 6–9, 2023, High Tatras, Slovak Republic - Volume 1: Manufacturing Engineering /
I whakaputaina: (2023)
I whakaputaina: (2023)
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
I whakaputaina: (2025)
I whakaputaina: (2025)
Intelligent Systems in Production Engineering and Maintenance III
I whakaputaina: (2024)
I whakaputaina: (2024)
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems Proceedings of FAIM 2023, June 18–22, 2023, Porto, Portugal, Volume 1: Modern Manufacturing /
I whakaputaina: (2024)
I whakaputaina: (2024)
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Intelligent Robot Implementation and Applications /
mā: Duan, Feng, me ētahi atu.
I whakaputaina: (2023)
mā: Duan, Feng, me ētahi atu.
I whakaputaina: (2023)
Dynamics of Mobile Systems with Controlled Configuration
mā: Chernousko, Felix, me ētahi atu.
I whakaputaina: (2024)
mā: Chernousko, Felix, me ētahi atu.
I whakaputaina: (2024)
Synchronization Control of Markovian Complex Neural Networks with Time-varying Delays
mā: Wang, Junyi, me ētahi atu.
I whakaputaina: (2024)
mā: Wang, Junyi, me ētahi atu.
I whakaputaina: (2024)
Blockchain – ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings /
I whakaputaina: (2025)
I whakaputaina: (2025)
Blockchain – ICBC 2023 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Proceedings of the 6th Asia Pacific Conference on Manufacturing Systems and 4th International Manufacturing Engineering Conference APCOMS-IMEC 2022, Surakarta, Indonesia /
I whakaputaina: (2023)
I whakaputaina: (2023)
UAV Aerodynamics and Crop Interaction Revolutionizing Modern Agriculture with Drone /
mā: Imran, me ētahi atu.
I whakaputaina: (2025)
mā: Imran, me ētahi atu.
I whakaputaina: (2025)
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
I whakaputaina: (2024)
I whakaputaina: (2024)
Proceedings of 10th International Conference on Mechatronics and Control Engineering ICMCE 2021 /
I whakaputaina: (2023)
I whakaputaina: (2023)
Business Process Management: Blockchain, Robotic Process Automation and Educators Forum BPM 2023 Blockchain, RPA and Educators Forum, Utrecht, The Netherlands, September 11–15, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Reinforcement Learning for Sequential Decision and Optimal Control
mā: Li, Shengbo Eben
I whakaputaina: (2023)
mā: Li, Shengbo Eben
I whakaputaina: (2023)
The French School of Programming
I whakaputaina: (2024)
I whakaputaina: (2024)
Converging Clinical and Engineering Research on Neurorehabilitation V Proceedings of the 6th International Conference on Neurorehabilitation (ICNR 2024), November 5–8, 2024, La Granja, Spain - Volume 1 /
I whakaputaina: (2025)
I whakaputaina: (2025)
Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 – September 1, 2023, Proceedings /
I whakaputaina: (2023)
I whakaputaina: (2023)
Ngā tūemi rite
-
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
I whakaputaina: (2025) -
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
I whakaputaina: (2025) -
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
mā: Morazán, Marco T.
I whakaputaina: (2024) -
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
I whakaputaina: (2024) -
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1 /
I whakaputaina: (2025)