Foundations of Software Science and Computation Structures | 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

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

Publié par:Abdulla, Parosh Aziz|Kesner, Delia

Livre (broché)env. 55.50 CHF

disponible dès juin 2025

Informations bibliographiques

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

Springer International Publishing

978-3-031-90896-5

Mots-clés

Informations bibliographiques

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

Springer International Publishing

978-3-031-90896-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

Progress in Landslide Research and Technology, Volume 4 Issue 1 2025

Abolmasov, Biljana|Alcántara-Ayala, Irasema|Arbanas, Željko

Springer International Publishing, 2025

978-3-031-89835-8

env. 69.00 CHF

disponible dès juillet 2025

Curating Learning Journeys

Transformational Experiences in the IR Classroom and Beyond

Strausz, Erzsébet

Springer International Publishing, 2025

978-3-031-57083-4

56.50 CHF

livrable dans env. 20-45 jours

Product Lifecycle Management. Leveraging AI, Digital Twins, and Smart ...

21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7–10, 2024, Revised Selected Papers Part II

Sureephong, Pradorn|Danjou, Christophe

Springer International Publishing, 2025

978-3-031-93322-6

env. 215.00 CHF

disponible dès août 2025

Ideals, Varieties, and Algorithms

An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David A.|Little, John|O'Shea, Donal

Springer International Publishing, 2025

978-3-031-91840-7

env. 109.00 CHF

disponible dès novembre 2025

Klimaneutralität in Unternehmen

Ihre Roadmap zur erfolgreichen Umsetzung

Brauweiler, Jana|Barth, Sarah|Hildebrandt, Jakob

Springer, 2025

978-3-662-71124-8

env. 69.00 CHF

disponible dès décembre 2025

Trends in the Treatment of Cerebrovascular Diseases

Esposito, Giuseppe|Kaku, Yasuhiko|Sebök, Martina

Springer International Publishing, 2025

978-3-031-89843-3

env. 69.00 CHF

disponible dès juillet 2025

Informierte Einwilligungen

Ein integrativ-komplementärer Vorschlag zur Verbesserung von Informed-Consent-Prozessen aus ethischer Sicht

Manzeschke, Arne|Kemmer, Dominik|Petersen, Julia

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-34486-3

env. 55.50 CHF

disponible dès juin 2025

Generating Functions in Engineering and the Applied Sciences

Chattamvelli, Rajan|Shanmugam, Ramalingam

Springer International Publishing, 2025

978-3-031-81826-4

env. 55.50 CHF

disponible dès mai 2025

Functional Diseases of the Esophagus

Pathophysiology, Diagnosis and Surgical Technique

Landolfi, Vincenzo|Tolone, Salvatore

Springer International Publishing, 2025

978-3-031-90569-8

env. 55.50 CHF

disponible dès juillet 2025

Infodynamics, Economics, Energy, and Life

An Interdisciplinary Approach

Springer International Publishing, 2025

978-3-031-88841-0

env. 55.50 CHF

disponible dès septembre 2025

Product Lifecycle Management. Integrating Digital Technologies for ...

21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7–10, 2024, Revised Selected Papers, Part I

Sureephong, Pradorn|Danjou, Christophe

Springer International Publishing, 2025

978-3-031-93318-9

env. 215.00 CHF

disponible dès août 2025

African Livestock Genetic Resources and Sustainable Breeding Strategies

Unlocking a Treasure Trove and Guide for Improved Productivity

Ibeagha-Awemu, Eveline M.|Peters, Sunday O.|Djikeng, Appolinaire

Springer International Publishing, 2025

978-3-031-92075-2

env. 69.00 CHF

disponible dès juillet 2025