DE
|
FR
Fokusthemen
Thema
Arbeitsrecht
Familienrecht
Sozialversicherungsrecht
Strafrecht
Recht studieren
Studium
Publikationen
Literatur
Bücher
Buchreihen
Zeitschriften
Studienliteratur
Datenbanken
Onlinemodule LEXIA
recht.ch
Services
Dienstleistungen für
Geschäftskunden
Buchhandlungen
Presse
Dozierende
Studierende
Inserierende
Corporate Books
Corporate Publishing
Publishing Lösungen
Content solutions
Aktuelles
Newsletter
Veranstaltungen
Blog
Autorinnen/Autoren
Unsere Schreibenden
Unsere Autorinnen und Autoren
Autorenstimmen
Hilfe
Autorenlounge
Bei uns publizieren
Verlag
Über uns
Mitarbeitende
Geschichte
Vision und Mission
Unternehmenskultur
Themen
Nachhaltigkeit
Open Access
Karriere
Mehr wissen
Newsletter
Unser Magazin
Partner
Kontakt
Shop
Schweizer Recht
Neuerscheinungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Ausländisches Recht
Neuerscheinungen
Vorankündigungen
Über unseren Shop
Sortiment und Funktionen
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Newsletteraktion:
Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025
10% Rabatt
auf Ihre Onlinebestellungen.
Infos und Anmeldung.
Download Cover
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Herausgegeben von:
Kozen, Dexter
|
de Queiroz, Ruy
Buch (broschiert)
ca. 91.00 CHF
erscheint im September
In den Warenkorb
Bibliografische Angaben
September 2025
,
ca. 369 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-99535-4
Schlagworte
Bibliografische Angaben
September 2025
,
ca. 369 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-99535-4
Schlagworte
Weitere Titel der Reihe: Lecture Notes in Computer Science
Alle anzeigen
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83731-9
ca. 102.00 CHF
erscheint im März
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83734-0
ca. 102.00 CHF
erscheint im März
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Hameurlain, Abdelkader
|
Tjoa, A Min
Springer
,
2025
978-3-662-72115-5
ca. 103.00 CHF
erscheint im Dezember
Superposition for Higher-Order Logic
Bentkamp, Alexander
Springer International Publishing
,
2025
978-3-032-01669-0
ca. 146.00 CHF
erscheint im Dezember
Electronic Voting
10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1–3, 2025, Proceedings
Duenas-Cid, David
|
Roenne, Peter
|
Volkamer, Melanie
Springer International Publishing
,
2025
978-3-032-05035-9
ca. 55.90 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part IX
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-05113-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VIII
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-04983-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part III
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-04946-9
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part I
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-04926-1
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part V
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-04970-4
ca. 112.00 CHF
erscheint im November
Medical Image Computing and Computer Assisted Intervention – MICCAI 2025
28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VII
Gee, James
|
Alexander, Daniel C.
|
Hong, Jaesung
Springer International Publishing
,
2025
978-3-032-04980-3
ca. 112.00 CHF
erscheint im November
Weitere Titel zum Thema
Excel Power Tools
Unlocking the Power of AI, Python, and Power Automate
Mount, George
Wiley
,
2026
978-1-394-28493-1
ca. 69.00 CHF
erscheint im September
Technologies in Palliative Care for Older People
Nwosu, Amarachukwu
|
Stanley, Sarah
|
Norris, James
Springer International Publishing
,
2026
978-3-032-04276-7
ca. 123.00 CHF
erscheint im Januar
The Invariance Principle
Lopez-Paz, David
University Presses
,
2026
978-0-262-05334-1
ca. 90.00 CHF
erscheint im April
AI for People Professionals
Understand How to Use Artificial Intelligence in Your HR Role
Farmer, Erica
Kogan Page
,
2026
978-1-3986-2601-0
ca. 135.00 CHF
erscheint im Mai
Artificial Security and the Politics of Hype in the EU
Csernatoni, Raluca
Springer International Publishing
,
2026
978-3-031-44016-8
ca. 168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advanced Intelligence Methods for Data Science and Optimization
Gandomi Amir Hossein
|
Mirjalili, Seyedali
|
Kovacs, Levente
Elsevier
,
2026
978-0-443-28940-8
ca. 235.00 CHF
erscheint im April
Autonomous Vehicle Safety Solutions
Foundations, Technologies, and Prospects for the Future
Kumari, Aparna
Elsevier
,
2026
978-0-443-33528-0
ca. 239.00 CHF
erscheint im Januar
Digital Technology, Algorithmic Governance and Workplace Democracy
Interrogating the Nordic Model in Practice
Kuldova, Tereza Østbø
|
Lloyd, Anthony
|
Hagen, Inger Marie
Springer International Publishing
,
2026
978-3-032-02753-5
ca. 206.00 CHF
erscheint im Januar
Essentials of Big Data Analytics
Applications in R and Python
Chavan, Pallavi
|
Pampattiwar, Kalyani
|
Mangrulkar, Ramchandra
Elsevier
,
2026
978-0-443-45206-2
ca. 235.00 CHF
erscheint im Februar
Precarious Futures
Crime, Technology and the Web
Hamerton, Christopher
|
Webber, Craig
Springer International Publishing
,
2026
978-3-030-86860-4
ca. 168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
AI for Design and Optimization of Cellular Networks
Ramiro-Moreno Juan
|
Inam, Rafia
|
Hu, Wenfeng
Wiley
,
2026
978-1-394-17575-8
ca. 166.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
SQL Server 2025 Query Performance Tuning
Troubleshoot and Optimize Query Performance
Fritchey, Grant
Springer EN
,
2026
979-8-8688-1864-6
ca. 69.00 CHF
erscheint im April