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
Infos, Tipps und Tricks
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 Mai 2025
In den Warenkorb
Bibliografische Angaben
Mai 2025
,
ca. 126 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-88929-5
Schlagworte
Bibliografische Angaben
Mai 2025
,
ca. 126 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
,
2025
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
,
2025
978-3-031-83731-9
ca. 102.00 CHF
erhältlich ab Oktober 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
ca. 102.00 CHF
erhältlich ab Oktober 2025
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
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
ca. 157.00 CHF
erhältlich ab September 2025
Computational Complexity and Local Algorithms
On the Interplay Between Randomness and Computation
Goldreich, Oded
Springer International Publishing
,
2025
978-3-031-88945-5
ca. 102.00 CHF
erhältlich ab August 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
ca. 112.00 CHF
erhältlich ab Juli 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
ca. 112.00 CHF
erhältlich ab Juli 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
ca. 168.00 CHF
erhältlich ab Juni 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
ca. 168.00 CHF
erhältlich ab Juni 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
ca. 168.00 CHF
erhältlich ab 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
ca. 188.00 CHF
erhältlich ab Mai 2025
Weitere Titel zum Thema
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
ca. 69.00 CHF
erhältlich ab April 2025
AI Foundations and Applications with MATLAB
Bai, Ying
Springer International Publishing
,
2025
978-3-031-84422-5
ca. 96.00 CHF
erhältlich ab Mai 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
lieferbar in ca. 20-45 Arbeitstagen
Chatbots and Human-Centered AI
8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4–5, 2024, Revised Selected Papers
Følstad, Asbjørn
|
Papadopoulos, Symeon
|
Araujo, Theo
Springer International Publishing
,
2025
978-3-031-88044-5
ca. 146.00 CHF
erhältlich ab Mai 2025
Limits of Mathematics
A Journey Through the Key Areas of Mathematical Logic
Hoffmann, Dirk W.
Springer
,
2025
978-3-662-70998-6
ca. 69.00 CHF
erhältlich ab Mai 2025
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
ca. 102.00 CHF
erhältlich ab April 2025
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
lieferbar in ca. 20-45 Arbeitstagen
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
lieferbar in ca. 20-45 Arbeitstagen
Multi-Valued Logic for Decision-Making Under Uncertainty
Kagan, Evgeny
|
Rybalov, Alexander
|
Yager, Ronald
Springer International Publishing
,
2025
978-3-031-74761-8
236.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Computer Security Workbook
A Course Companion Resource
Tapiador, Juan
Springer International Publishing
,
2025
978-3-031-88141-1
ca. 69.00 CHF
erhältlich ab August 2025
Grundkurs Software-Engineering mit UML
Der pragmatische Weg zu erfolgreichen Softwareprojekten
Kleuker, Stephan
Springer Fachmedien Wiesbaden GmbH
,
2025
978-3-658-46533-9
ca. 58.50 CHF
erhältlich ab April 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
ca. 69.00 CHF
erhältlich ab April 2025