Name: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Price: 102.00 CHF
Availability: OutOfStock
ISBN: 9783031947476

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReactTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Publié par:Proença, José|Fervari, Raul|Martins, Manuel A., et al.

Livre (broché)env. 102.00 CHF

disponible dès juillet 2025

Informations bibliographiques

juillet 2025, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-94747-6

Mots-clés

Informations bibliographiques

juillet 2025, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-94747-6

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

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, 2026

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

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, 2026

978-3-031-83731-9

env. 102.00 CHF

disponible dès mars 2026

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, 2026

978-3-031-83734-0

env. 102.00 CHF

disponible dès mars 2026

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

env. 91.00 CHF

disponible dès octobre 2025

Fast, Low-Resource, Accurate Robust Organ and Pan-cancer Segmentation

MICCAI Challenge, FLARE 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Ma, Jun|Wang, Bo

Springer International Publishing, 2025

978-3-031-96201-1

env. 91.00 CHF

disponible dès août 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part I

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95760-4

env. 168.00 CHF

disponible dès juillet 2025

Artificial Intelligence in Medicine

23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part I

Bellazzi, Riccardo|Juarez Herrero, Jose Manuel|Sacchi, Lucia

Springer International Publishing, 2025

978-3-031-95837-3

env. 188.00 CHF

disponible dès juillet 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part II

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95763-5

env. 168.00 CHF

disponible dès juillet 2025

Applied Cryptography and Network Security

23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part III

Fischlin, Marc|Moonsamy, Veelasha

Springer International Publishing, 2025

978-3-031-95766-6

env. 168.00 CHF

disponible dès juillet 2025

Artificial Intelligence in Medicine

23rd International Conference, AIME 2025, Pavia, Italy, June 23–26, 2025, Proceedings, Part II

Bellazzi, Riccardo|Juarez, Jose M.|Sacchi, Lucia

Springer International Publishing, 2025

978-3-031-95840-3

env. 168.00 CHF

disponible dès juillet 2025

Integration of Constraint Programming, Artificial Intelligence, and Operations ...

22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II

Tack, Guido

Springer International Publishing, 2025

978-3-031-95975-2

env. 91.00 CHF

disponible dès juillet 2025

Integration of Constraint Programming, Artificial Intelligence, and Operations ...

22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I

Tack, Guido

Springer International Publishing, 2025

978-3-031-95972-1

env. 91.00 CHF

disponible dès juillet 2025

Autres titres sur ce thème

Intelligent Human Computer Interaction

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

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

Springer International Publishing, 2025

978-3-031-88880-9

env. 168.00 CHF

disponible dès juin 2025

NASA Formal Methods

17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11–13, 2025, Proceedings

Dutle, Aaron|Humphrey, Laura|Titolo, Laura

Springer International Publishing, 2025

978-3-031-93705-7

env. 168.00 CHF

disponible dès juin 2025

Intelligent Computing Techniques and Applications

Samal, Tusharkanta|Panda, Ambarish|Kabat Manas Ranjan

Taylor and Francis, 2025

978-1-041-11083-5

env. 75.00 CHF

disponible dès août 2025

Engineering Psychology and Cognitive Ergonomics

22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Harris, Don|Li, Wen-Chin

Springer International Publishing, 2025

978-3-031-93720-0

env. 91.00 CHF

disponible dès juin 2025

Python for Mathematics

Knight Vincent

Taylor and Francis, 2025

978-1-032-58817-9

env. 239.00 CHF

disponible dès mai 2025

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

env. 55.90 CHF

disponible dès février 2026

Polynomial Functors

A Mathematical Theory of Interaction

Niu, Nelson|Spivak David I.

Cambridge Academic, 2025

978-1-009-57671-0

env. 125.00 CHF

disponible dès juillet 2025

Applications of Computational Intelligence

7th IEEE Colombian Conference, ColCACI 2024, Pamplona, Colombia, July 17–19, 2024, Revised Selected Papers

Orjuela-Cañón, Alvaro David|Lopez, Jesus A.|Suarez, Oscar J.

Springer International Publishing, 2025

978-3-031-88853-3

188.00 CHF

livrable dans env. 20-45 jours

Human-Computer Interaction

10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4–7, 2024, Revised Selected Papers

Agredo-Delgado, Vanessa|Ruiz, Pablo H.|Meneses Escobar, Carlos Augusto

Springer International Publishing, 2025

978-3-031-91327-3

env. 188.00 CHF

disponible dès juillet 2025

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, 2026

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

Cybersecurity and Human Capabilities Through Symbiotic Artificial Intelligence

Proceedings of the 16th International Conference on Global Security, Safety and Sustainability, London, November 2024

Jahankhani, Hamid|Issac, Biju

Springer International Publishing, 2025

978-3-031-82030-4

env. 215.00 CHF

disponible dès juin 2025

Programming Language Pragmatics

Scott, Michael|Aldrich, Jonathan

Elsevier, 2025

978-0-323-99966-3

env. 129.00 CHF

disponible dès avril 2025

Software Engineering and Formal Methods. SEFM 2024 Collocated ...

Informations bibliographiques

Mots-clés

Informations bibliographiques

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Autres titres sur ce thème