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 and Its Applications
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Herausgegeben von:
Aiswarya, C.
|
Sen, Prabal Kumar
|
Srivastava, Shashi Mohan
Buch (broschiert)
ca. 82.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
In den Warenkorb
Bibliografische Angaben
Mai 2025
,
ca. 263 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-89609-5
Schlagworte
Bibliografische Angaben
Mai 2025
,
ca. 263 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-89609-5
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
Advanced Geospatial Intelligence and AI for Environmental Resilience and ...
Sarif, Md. Omar
|
Sharifi, Ayyoob
Springer International Publishing
,
2026
978-3-032-03713-8
ca. 198.00 CHF
erscheint im Januar
Internet of Vehicles
Scope and Application of Artificial Intelligence-Based Technologies
Biswas, Arindam
|
Samanta, Debabrata
|
Chakraborty, Sheuli
Springer EN
,
2026
978-981-9519-78-1
ca. 206.00 CHF
erscheint im Januar
Handbuch Digitale Medien und Methoden
Niebling, Laura
|
Raczkowski, Felix
|
Stollfuß, Sven
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-36624-7
ca. 159.00 CHF
erscheint im Januar
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Noller, Jörg
Uni-TaschenbücherBrill | Fink alt
,
2026
978-3-8252-6288-4
ca. 28.50 CHF
erscheint im Januar
A Gentle Introduction to Quantum Machine Learning
Du, Yuxuan
|
Wang, Xinbiao
|
Guo, Naixu
Springer EN
,
2026
978-981-9512-83-6
ca. 55.90 CHF
erscheint im Januar
Multisensorische Kunsterlebnisse
Theorie, Empirie und Praxis
Moser, Sibylle
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-49496-4
ca. 40.90 CHF
erscheint im April
Agentic Hyper-Personalized Dimensions
Six Dimensions of Business Dark Data
Vermeulen, Andreas François
Springer EN
,
2026
979-8-8688-1876-9
ca. 83.00 CHF
erscheint im Januar
Next-Generation Hyperspectral Image Analysis
Using Deep Learning Method
M. Haut, Juan
|
E. Paoletti, Mercedes
Springer EN
,
2026
978-981-9520-37-4
ca. 215.00 CHF
erscheint im Februar
Digitalisierung und Innovation im Sport und in der Sportwissenschaft
Handbuch Sport und Sportwissenschaft
Memmert, Daniel
Springer
,
2026
978-3-662-70474-5
ca. 244.00 CHF
erscheint im April
Corporate Digital Transformation
Grundlagen, Prinzipien & Einführung des CODIT-Frameworks
Bührle, Dominik
Springer
,
2026
978-3-662-71715-8
ca. 77.00 CHF
erscheint im Februar
A Brief History of Computing
O'Regan, Gerard
Springer International Publishing
,
2026
978-3-032-04254-5
ca. 63.00 CHF
erscheint im Januar
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