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
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)
81.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
In den Warenkorb
Bibliografische Angaben
Mai 2025
,
263 Seiten
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-031-89609-5
Schlagworte
Bibliografische Angaben
Mai 2025
,
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. 103.00 CHF
erhältlich ab März 2026
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
erhältlich ab März 2026
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
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
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98684-0
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98678-9
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98667-3
ca. 55.90 CHF
erhältlich ab August 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98681-9
ca. 55.90 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98413-6
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98461-7
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98464-8
ca. 102.00 CHF
erhältlich ab August 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98458-7
ca. 102.00 CHF
erhältlich ab August 2025
Weitere Titel zum Thema
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
erhältlich ab Januar 2026
Global Digital Divides in the COVID-19 Era
Purposeful Use of the Internet and Technologies
Pick, James
|
Sarkar, Avijit
De Gruyter
,
2026
978-3-11-079377-2
ca. 127.00 CHF
erhältlich ab Januar 2026
Role of Internet of Things and Machine Learning in Smart Healthcare: Volume 137
Elsevier
,
2025
978-0-443-22386-0
206.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Lean Innovative Connected Vessels
The LINCOLN Project
Ramundo, Lucia
|
Terzi, Sergio
Springer International Publishing
,
2026
978-3-030-35705-4
ca. 69.00 CHF
erhältlich ab April 2026
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2026
978-3-662-67655-4
ca. 71.00 CHF
erhältlich ab Februar 2026
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Noller, Jörg
Uni-TaschenbücherBrill | Fink
,
2026
978-3-8252-6288-4
ca. 28.50 CHF
erhältlich ab Januar 2026
Praxis der Teleportation
Anwendungen der virtuellen und erweiterten Realität in Wirtschaft und Wissenschaft
Grasnick, Armin
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-48557-3
ca. 40.90 CHF
erhältlich ab Februar 2026
Differential and Algorithmic Intelligent Game Theory
Methods and Applications
Pimentel, Edgard A.
|
Toni, Bourama
Springer International Publishing
,
2026
978-3-031-97732-9
ca. 178.00 CHF
erhältlich ab März 2026
Intelligente Verfahren
Identifikation und Regelung nichtlinearer Systeme
Schröder, Dierk
|
Buss, Martin
Springer
,
2026
978-3-662-59768-2
ca. 138.00 CHF
erhältlich ab März 2026
Mastering Prompt Engineering
Deep Insights for Optimizing Large Language Models (LLMs)
Nayyar, Anand
|
Ajantha Devi Vairamani
|
Kaswan, Kuldeep
Elsevier
,
2025
978-0-443-33904-2
ca. 235.00 CHF
erhältlich ab August 2025
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems
Command Filtered Backstepping
Zhao, Lin
|
Yu, Jinpeng
Elsevier
,
2026
978-0-443-41644-6
ca. 315.00 CHF
erhältlich ab Januar 2026
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
erhältlich ab Februar 2026