Kennen Sie schon unseren
Geschäftskundenservice?
Wir beraten Sie gerne
.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Download Cover
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Herausgegeben von:
Țuțu, Ionuț
Buch (broschiert)
ca. 146.00 CHF
erhältlich ab Juni 2025
In den Warenkorb
Bibliografische Angaben
Juni 2025
,
ca. 140 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-88929-5
Schlagworte
Bibliografische Angaben
Juni 2025
,
ca. 140 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-88929-5
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigen
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
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 102.00 CHF
erhältlich ab März 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
ca. 102.00 CHF
erhältlich ab März 2026
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 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
ca. 102.00 CHF
erhältlich ab August 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
ca. 112.00 CHF
erhältlich ab August 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
ca. 112.00 CHF
erhältlich ab August 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
ca. 112.00 CHF
erhältlich ab August 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
ca. 102.00 CHF
erhältlich ab Juni 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
ca. 102.00 CHF
erhältlich ab Juni 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
ca. 102.00 CHF
erhältlich ab Juni 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
ca. 102.00 CHF
erhältlich ab Juni 2025
Weitere Titel zum Thema
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
lieferbar in ca. 20-45 Arbeitstagen
WELTRAUMARCHEN, PORTALE & EINSÄTZE MIT AUSSERIRDISCHEN: Tatsachenberichte von ...
Salla, Michael E.
Amra
,
2025
978-3-95447-667-1
ca. 36.90 CHF
erhältlich ab Juni 2025
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
ca. 236.00 CHF
erhältlich ab Juni 2025
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I
Královič, Rastislav
|
Kůrková, Věra
Springer International Publishing
,
2025
978-3-031-82669-6
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 65.00 CHF
erhältlich ab November 2025
Software-Fehler erkennen und vermeiden
Duschl, Dieter
Springer Fachmedien Wiesbaden GmbH
,
2025
978-3-658-47666-3
ca. 52.50 CHF
erhältlich ab Juli 2025
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
lieferbar in ca. 20-45 Arbeitstagen
Alles überall auf einmal
Wie Künstliche Intelligenz unsere Welt verändert und was wir dabei gewinnen können
Meckel, Miriam
|
Steinacker, Léa
Rowohlt Taschenb.
,
2025
978-3-499-01545-8
ca. 22.50 CHF
erhältlich ab Juni 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
lieferbar in ca. 20-45 Arbeitstagen
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
ca. 102.00 CHF
erhältlich ab März 2026
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
lieferbar in ca. 20-45 Arbeitstagen
Logik für die Informatik
Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Junker, Markus
Springer
,
2025
978-3-662-70824-8
ca. 49.90 CHF
erhältlich ab Juni 2025