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
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
Superposition for Higher-Order Logic
Superposition for Higher-Order Logic
Von:
Bentkamp, Alexander
Buch (broschiert)
ca. 146.00 CHF
erhältlich ab Dezember 2025
In den Warenkorb
Bibliografische Angaben
Dezember 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01669-0
Schlagworte
Bibliografische Angaben
Dezember 2025
,
Lecture Notes in Computer Science
,
Englisch
Springer International Publishing
978-3-032-01669-0
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
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
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, June 23–26, 2025, Revised Selected Papers, Part I
Manulis, Mark
Springer International Publishing
,
2025
978-3-032-01798-7
ca. 91.00 CHF
erhältlich ab Oktober 2025
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part II
Manulis, Mark
Springer International Publishing
,
2025
978-3-032-01805-2
ca. 91.00 CHF
erhältlich ab Oktober 2025
Applied Cryptography and Network Security Workshops
ACNS 2025 Satellite Workshops: AIHWS, AIoTS, QSHC, SCI, PrivCrypt, SPIQE, SiMLA, and CIMSS 2025, Munich, Germany, Revised Selected Papers, Part III
Manulis, Mark
Springer International Publishing
,
2025
978-3-032-01822-9
ca. 91.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
Constructive Approaches for Security Analysis and Design of Embedded Systems
First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings
Rivain, Matthieu
|
Sasdrich, Pascal
Springer International Publishing
,
2025
978-3-032-01404-7
ca. 102.00 CHF
erhältlich ab September 2025
Financial Cryptography and Data Security. FC 2025 International Workshops
CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
Haslhofer, Bernhard
|
Xu, Java
|
Victor, Friedhelm
Springer International Publishing
,
2025
978-3-032-00491-8
ca. 102.00 CHF
erhältlich ab September 2025
Software Architecture
19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
Andrikopoulos, Vasilios
|
Pautasso, Cesare
|
Ali, Nour
Springer International Publishing
,
2025
978-3-032-02137-3
ca. 102.00 CHF
erhältlich ab September 2025
Computer Information Systems and Industrial Management
24th International Conference, CISIM 2025, Fukuoka, Japan, September 11–13, 2025, Proceedings
Saeed, Khalid
|
Dvorský, Jiří
|
Fukumoto, Makoto
Springer International Publishing
,
2025
978-3-032-02405-3
ca. 168.00 CHF
erhältlich ab September 2025
Big Data Analytics and Knowledge Discovery
27th International Conference, DaWaK 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings
Leung, Carson K.
|
Dignös, Anton
|
Kotsis, Gabriele
Springer International Publishing
,
2025
978-3-032-02214-1
ca. 102.00 CHF
erhältlich ab September 2025
Weitere Titel zum Thema
Algebra Without Borders
Classical and Constructive Semigroups and Applications
Mitrović, Melanija
|
Hounkonnou, Mahouton Norbert
Springer International Publishing
,
2025
978-3-031-86476-6
ca. 188.00 CHF
erhältlich ab August 2025
Programming Language Design and Implementation
Mogensen, Torben Ægidius
Springer International Publishing
,
2025
978-3-031-93298-4
ca. 103.00 CHF
erhältlich ab September 2025
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Zerpa, Levis
Springer International Publishing
,
2025
978-3-031-72850-1
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
An Intellectual History of Science in the Renaissance
Part II: Cultural, Fundamental & Technological Frameworks
Pisano, Raffaele
Springer International Publishing
,
2025
978-3-031-90485-1
ca. 178.00 CHF
erhältlich ab August 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 September 2025
Mathe übersichtlich: Von den Basics bis zur Analysis
240 Themen zum Nachlesen und Verstehen auf jeweils einer Seite
Gründers, Adriane
Springer
,
2025
978-3-662-70882-8
47.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Im Bogen zum Ziel: quadratische Gleichungen und Funktionen
Frei, Esther
|
Jankovics, Peter
Compendio Bildungsmedien
,
2025
978-3-7155-0127-7
ca. 49.00 CHF
erhältlich ab September 2025
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Arfini, Selene
Springer International Publishing
,
2025
978-3-031-96683-5
ca. 168.00 CHF
erhältlich ab September 2025
Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Fränzle, Martin
|
Niehaus, Jürgen
|
Westphal, Bernd
Springer International Publishing
,
2025
978-3-031-97536-3
ca. 91.00 CHF
erhältlich ab September 2025
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Schreiner, Wolfgang
Springer International Publishing
,
2025
978-3-031-99704-4
ca. 96.00 CHF
erhältlich ab September 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Ubar, Raimund
|
Raik, Jaan
|
Jenihhin, Maksim
Springer International Publishing
,
2025
978-3-031-44736-5
262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen