Recent Trends in Algebraic Development Techniques | Lecture Notes in Computer Science

Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.

Focus

Publications

Services

Auteurs

Éditions

Shop

LEXIA

Revues

Livres spécialisés LOKI Semaphor

S’enregistrer

LEXIA

Revues

Livres spécialisés

Focus

Domaines

Étudier le droit

Droit du travail

Droit de la famille

Droit des assurances sociales

Publications

Littérature

Modules en ligne LEXIA

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Corporate Publishing

Content solutions

Auteurs

Nos Auteurs

Aide

Espace des auteurs

Publier chez nous

Éditions

Qui sommes-nous?

Thèmes

En savoir plus

Vision et mission

Culture d'entreprise

Shop

Droit suisse

Droit étranger

À propos de notre boutique

Assortiment et recherche

Par domaine juridique

S’enregistrer

cover

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

Informations bibliographiques

juin 2025, env. 140 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-88929-5

Mots-clés

Informations bibliographiques

juin 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

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

Artificial Intelligence in HCI

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part IV

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93428-5

env. 102.00 CHF

disponible dès août 2025

Artificial Intelligence in HCI

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

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93414-8

env. 112.00 CHF

disponible dès août 2025

Artificial Intelligence in HCI

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93411-7

env. 112.00 CHF

disponible dès août 2025

Artificial Intelligence in HCI

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part III

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93417-9

env. 112.00 CHF

disponible dès août 2025

Design, User Experience, and Usability

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VI

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93235-9

env. 102.00 CHF

disponible dès juin 2025

Design, User Experience, and Usability

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part V

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93232-8

env. 102.00 CHF

disponible dès juin 2025

Design, User Experience, and Usability

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part III

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93226-7

env. 102.00 CHF

disponible dès juin 2025

Design, User Experience, and Usability

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part IV

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93229-8

env. 102.00 CHF

disponible dès juin 2025

Autres titres sur ce thème

Human and Artificial Rationalities. Advances in Cognition, Computation, and ...

Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings

Baratgin, Jean|Jacquet, Baptiste|Brochier, Emmanuel

Springer International Publishing, 2025

978-3-031-84594-9

103.00 CHF

livrable dans env. 20-45 jours

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

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

82.00 CHF

livrable dans env. 20-45 jours

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

Go Where the Bugs Are

Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

Ernst, Gidon|Güdemann, Matthias|Knapp, Alexander

Springer International Publishing, 2025

978-3-031-92195-7

env. 91.00 CHF

disponible dès juin 2025

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

Java: Objektorientiert programmieren

Vom objektorientierten Analysemodell bis zum objektorientierten Programm - Mit Einführung in UML 2, C++ und C#

Arinir, Doga|Balzert, Helmut

Springer, 2025

978-3-662-71349-5

env. 65.00 CHF

disponible dès novembre 2025

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Protzenko, Jonathan|Raad, Azalea

Springer International Publishing, 2025

978-3-031-86694-4

env. 69.00 CHF

disponible dès mai 2025

Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

Giacobazzi, Roberto|Gorla, Alessandra

Springer International Publishing, 2025

978-3-031-74775-5

103.00 CHF

livrable dans env. 20-45 jours

The Semantic Web: ESWC 2024 Satellite Events

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

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

Springer International Publishing, 2025

978-3-031-78951-9

92.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

Multi-Valued Logic for Decision-Making Under Uncertainty

Kagan, Evgeny|Rybalov, Alexander|Yager, Ronald

Springer Nature EN, 2025

978-3-031-74761-8

237.00 CHF

livrable dans env. 20-45 jours