Name: Recent Trends in Algebraic Development Techniques
Price: 146.00 CHF
Availability: OutOfStock
ISBN: 9783031889295

Recent Trends in Algebraic Development Techniques

27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Publié par:Țuțu, Ionuț

Livre (broché)env. 146.00 CHF

disponible dès mai 2025

Informations bibliographiques

mai 2025, env. 126 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-88929-5

Mots-clés

Informations bibliographiques

mai 2025, env. 126 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-88929-5

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

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

978-3-031-83731-9

env. 102.00 CHF

disponible dès octobre 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

env. 102.00 CHF

disponible dès octobre 2025

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

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

env. 157.00 CHF

disponible dès septembre 2025

Computational Complexity and Local Algorithms

On the Interplay Between Randomness and Computation

Goldreich, Oded

Springer International Publishing, 2025

978-3-031-88945-5

env. 102.00 CHF

disponible dès août 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

env. 112.00 CHF

disponible dès juillet 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

env. 112.00 CHF

disponible dès juillet 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

env. 168.00 CHF

disponible dès juin 2025

MICCAI Challenges 2024 (ToothFairy, 3DTeethLand, STS) – LNCS

MICCAI 2024 Challenges: ToothFairy 2024, 3DTeethLand 2024, and STS 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

Wang, Yaqi|Wu, Chengyu|Lumetti, Luca

Springer International Publishing, 2025

978-3-031-88976-9

env. 168.00 CHF

disponible dès juin 2025

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 mai 2025

Advances in Information Retrieval

47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part II

Hauff, Claudia|Macdonald, Craig|Jannach, Dietmar

Springer International Publishing, 2025

978-3-031-88710-9

env. 188.00 CHF

disponible dès mai 2025

Autres titres sur ce thème

Software, System, and Service Engineering

S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8–11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Kardas, Geylani|Luković, Ivan|Milašinović, Boris

Springer International Publishing, 2025

978-3-031-84912-1

env. 81.00 CHF

disponible dès avril 2025

Trends in Functional Programming

25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Hemann, Jason|Chang, Stephen

Springer International Publishing, 2025

978-3-031-74557-7

158.00 CHF

livrable dans env. 20-45 jours

Grundkurs Software-Engineering mit UML

Der pragmatische Weg zu erfolgreichen Softwareprojekten

Kleuker, Stephan

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-46533-9

env. 58.50 CHF

disponible dès avril 2025

Object-Oriented Analysis, Design and Implementation

An Integrated Approach

Dathan, Brahma|Ramnath, Sarnath

Springer Nature EN, 2025

978-3-031-71239-5

77.00 CHF

livrable dans env. 20-45 jours

Structural Decision Diagrams in Digital Test

Theory and Applications

Ubar, Raimund|Raik, Jaan|Jenihhin, Maksim

Springer International Publishing, 2025

978-3-031-44736-5

261.00 CHF

livrable dans env. 20-45 jours

Concurrent and Real-time Programming

Principles and Applications

Capel, Manuel I.

Springer International Publishing, 2025

978-3-031-85232-9

env. 76.00 CHF

disponible dès avril 2025

Nichtsequentielle und Verteilte Programmierung mit Go

Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

Maurer, Christian

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-47320-4

env. 58.50 CHF

disponible dès mai 2025

Feeding the Machine. Hinter den Kulissen der KI-Imperien

Künstliche Intelligenz | DeepMind | »Das wichtigste Buch, das im derzeitigen Fieber der KI-Publikationen geschrieben wurde.« Stephen Fry

Muldoon, James|Graham, Mark|Cant, Callum

Harper Collins Germany, 2025

978-3-365-00964-2

env. 33.50 CHF

disponible dès mai 2025

Nonsequential and Distributed Programming with Go

Synchronization of Concurrent Processes

Maurer, Christian

Springer, 2025

978-3-662-70928-3

env. 83.00 CHF

disponible dès avril 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, 2025

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Farmer, William

Springer International Publishing, 2025

978-3-031-85351-7

env. 103.00 CHF

disponible dès avril 2025

The Connectives in Logic and Language

4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers

Yan, Jialiang|Liu, Mingming|Westerståhl, Dag

Springer International Publishing, 2025

978-3-031-86053-9

env. 69.00 CHF

disponible dès avril 2025