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. 140 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-88929-5

Mots-clés

Informations bibliographiques

mai 2025, env. 140 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

Advances in Intelligent Data Analysis XXIII

23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7–9, 2025, Proceedings

Krempl, Georg|Puolamäki, Kai|Miliou, Ioanna

Springer International Publishing, 2025

978-3-031-91397-6

env. 188.00 CHF

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

Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Vafeiadis, Viktor

Springer International Publishing, 2025

978-3-031-91120-0

env. 55.50 CHF

disponible dès mai 2025

Programming Languages and Systems

Vafeiadis, Viktor

Springer International Publishing, 2025

978-3-031-91117-0

env. 55.50 CHF

disponible dès mai 2025

Foundations of Software Science and Computation Structures

28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Abdulla, Parosh Aziz|Kesner, Delia

Springer International Publishing, 2025

978-3-031-90896-5

env. 55.50 CHF

disponible dès mai 2025

Fundamental Approaches to Software Engineering

28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Boronat, Artur|Fraser, Gordon

Springer International Publishing, 2025

978-3-031-90899-6

env. 55.50 CHF

disponible dès mai 2025

Advances in Cryptology – EUROCRYPT 2025

44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4–8, 2025, Proceedings, Part VIII

Fehr, Serge|Fouque, Pierre-Alain

Springer International Publishing, 2025

978-3-031-91100-2

env. 112.00 CHF

disponible dès mai 2025

Autres titres sur ce thème

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

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

Object-based Programming with Go

Maurer, Christian

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-44703-8

env. 52.90 CHF

disponible dès juin 2025

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

Testing Software and Systems

36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings

Menéndez, Héctor D.|Bello-Orgaz, Gema|Barnard, Pepita

Springer International Publishing, 2025

978-3-031-80888-3

92.00 CHF

livrable dans env. 20-45 jours

AI Foundations and Applications with MATLAB

Bai, Ying

Springer International Publishing, 2025

978-3-031-84422-5

env. 96.00 CHF

disponible dès juin 2025

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

The Semantic Web: ESWC 2024 Satellite Events

Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II

Meroño Peñuela, Albert|Corcho, Oscar|Groth, Paul

Springer International Publishing, 2025

978-3-031-78954-0

82.00 CHF

livrable dans env. 20-45 jours

Guide to Numerical Algorithm Design and Development

Including Legacy Examples from Fortran and MathCAD in High Precision

Delic, George

Springer International Publishing, 2025

978-3-031-90177-5

env. 236.00 CHF

disponible dès juin 2025

Metadata and Semantic Research

18th Research Conference, MTSR 2024, Athens, Greece, November 19–22, 2024, Revised Selected Papers

Sfakakis, Michalis|Garoufallou, Emmanouel|Damigos, Matthew

Springer International Publishing, 2025

978-3-031-81973-5

104.00 CHF

livrable dans env. 20-45 jours

Restarting Automata

Extensions and Generalizations

Otto, Friedrich

Springer International Publishing, 2025

978-3-031-78700-3

236.00 CHF

livrable dans env. 20-45 jours

Artificial Psychology

Learning from the Unexpected Capabilities of Large Language Models

Lewis, Clayton

Springer International Publishing, 2025

978-3-031-76645-9

56.50 CHF

livrable dans env. 20-45 jours