Name: Software Engineering and Formal Methods
Price: 97.00 CHF
Availability: InStock
ISBN: 9783031773815

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Herausgegeben von:Madeira, Alexandre|Knapp, Alexander

Buch (broschiert)97.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Bibliografische Angaben

November 2024, 462 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-77381-5

Inhaltsverzeichnis

Schlagworte

Bibliografische Angaben

November 2024, 462 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-77381-5

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Ada 2022 Reference Manual. Volume 1 - Core Language

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83730-2

103.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83731-9

ca. 102.00 CHF

erhältlich ab Oktober 2025

Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...

International Standard ISO/IEC 8652:2023 (E)

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2025

978-3-031-83734-0

ca. 102.00 CHF

erhältlich ab Oktober 2025

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

ca. 91.00 CHF

erhältlich ab Oktober 2025

Innovative Security Solutions for Information Technology and Communications

17th International Conference, SecITC 2024, Bucharest, Romania, November 21–22, 2024, Revised Selected Papers

Roenne, Peter

Springer International Publishing, 2025

978-3-031-87759-9

ca. 157.00 CHF

erhältlich ab September 2025

Pattern Recognition. ICPR 2024 International Workshops and Challenges

Kolkata, India, December 1, 2024, Proceedings, Part IV

Palaiahnakote, Shivakumara|Schuckers, Stephanie|Ogier, Jean-Marc

Springer International Publishing, 2025

978-3-031-88216-6

ca. 112.00 CHF

erhältlich ab Juli 2025

Pattern Recognition. ICPR 2024 International Workshops and Challenges

Kolkata, India, December 1, 2024, Proceedings, Part V

Palaiahnakote, Shivakumara|Schuckers, Stephanie|Ogier, Jean-Marc

Springer International Publishing, 2025

978-3-031-88219-7

ca. 112.00 CHF

erhältlich ab Juli 2025

Intelligent Human Computer Interaction

16th International Conference, IHCI 2024, Twente, The Netherlands, November 13–16, 2024, Revised Selected Papers, Part I

Singh, Dhananjay|Klooster, J.W.J.R. van t (Jan-Willem)|Tiwary, Uma Shanker

Springer International Publishing, 2025

978-3-031-88704-8

ca. 168.00 CHF

erhältlich ab Juni 2025

Comprehensive Analysis and Computing of Real-World Medical Images

First MICCAI Challenge, CARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Zhuang, Xiahai|Ding, Wangbin|Wu, Fuping

Springer International Publishing, 2025

978-3-031-87008-8

ca. 91.00 CHF

erhältlich ab Mai 2025

Image-Based Prediction of Retinal Disease Progression

MICCAI Challenges, DIAMOND 2024 and MARIO 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Quellec, Gwenolé|El Habib Daho, Mostafa|Zeghlache, Rachid

Springer International Publishing, 2025

978-3-031-86650-0

ca. 81.00 CHF

erhältlich ab Mai 2025

Topics in Cryptology – CT-RSA 2025

Cryptographers’ Track at the RSA Conference 2025, San Francisco, CA, USA, April 28–May 1, 2025, Proceedings

Patra, Arpita

Springer International Publishing, 2025

978-3-031-88660-7

ca. 191.00 CHF

erhältlich ab Mai 2025

Applied Reconfigurable Computing. Architectures, Tools, and Applications

21st International Symposium, ARC 2025, Seville, Spain, April 9–11, 2025, Proceedings

Giorgi, Roberto|Stojilovic, Mirjana|Stroobandt, Dirk

Springer International Publishing, 2025

978-3-031-87994-4

ca. 91.00 CHF

erhältlich ab Mai 2025

Weitere Titel zum Thema

Python Fast Track

A Complete Guide to Rapidly Mastering and Applying Python Programming

Roy, Sanjiban Sekhar|Chouhan, Arnav|Khera, Naman

Elsevier, 2025

978-0-443-33823-6

ca. 235.00 CHF

erhältlich ab Juni 2025

Computer-Aided Diagnosis (CAD) Tools and Applications for 3D Medical Imaging: ...

Elsevier, 2025

978-0-323-98857-5

206.00 CHF

lieferbar in ca. 10-20 Arbeitstagen

Control of Singular Fractional Order Systems: LMI Approach

Stability, Stabilization and Admissibility

Marir, Saliha|Chadli, Mohammed

Springer International Publishing, 2025

978-3-031-87381-2

ca. 178.00 CHF

erhältlich ab Mai 2025

Sustainable Electronics

The Future Ahead

Ana, Farkhanda|Arya, Sandeep|Mehraj, Haider

Taylor and Francis, 2025

978-1-032-74484-1

ca. 239.00 CHF

erhältlich ab Juli 2025

Soft Robotics for Medical and Healthcare Applications

Saheb, Shaik Himam|Appala, Tharakeshwar|Khan, Mohammad S

Taylor and Francis, 2025

978-1-032-88767-8

ca. 209.00 CHF

erhältlich ab Mai 2025

Exploratory Data Analysis

Descriptive Analysis, Visualization, and Dashboard Design (with codes in Python)

Nunes de Castro, Leandro

Taylor and Francis, 2025

978-1-032-94430-2

ca. 195.00 CHF

erhältlich ab Juli 2025

Künftige Informatik

Technologischer Um- und Ausbau der traditionellen Informatik als logische und praktische Konsequenz der Digitalisierung und Kognitivierung zukünftiger Lebenswelten

Haun, Matthias

Springer, 2026

978-3-662-64759-2

ca. 71.00 CHF

erhältlich ab Februar 2026

Optical Electromagnetic Field Analysis Using Python

Practical Application in Metallic and Dielectric Nanostructures

Kajikawa Kotaro|Okamoto, Takayuki

Taylor and Francis, 2025

978-1-032-41351-8

ca. 195.00 CHF

erhältlich ab Juni 2025

Role of Internet of Things and Machine Learning in Smart Healthcare: Volume 137

Elsevier, 2025

978-0-443-22386-0

206.00 CHF

lieferbar in ca. 10-20 Arbeitstagen

Model-Based Systems Engineering with the SPES Modeling Language

A SysML Workbench for the SPES Methodology

Böhm, Wolfgang|Broy, Manfred|Koch, Walter

Springer International Publishing, 2026

978-3-031-57294-4

ca. 55.50 CHF

erhältlich ab Februar 2026

Transformative Applied Research in Computing, Engineering, Science and ...

Dahanayake, Damayanthi|Rabindrakumar, Miruna

Taylor and Francis, 2025

978-1-041-01782-0

ca. 85.00 CHF

erhältlich ab April 2025

Postartifizielle Literatur

Lesen im Zeitalter künstlicher Intelligenz

Bajohr, Hannes

Suhrkamp, 2026

978-3-518-12826-8

ca. 22.50 CHF

erhältlich ab Januar 2026