Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Focus
Domaines
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
À paraître
À paraître
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Action newsletter :
Abonnez-vous dès maintenant à notre newsletter et bénéficiez de
10 % de réduction
sur vos commandes en ligne jusqu’au 8 août 2025.
Infos et inscription.
Télécharger la couverture
Superposition for Higher-Order Logic
Superposition for Higher-Order Logic
De:
Bentkamp, Alexander
Livre (broché)
env. 146.00 CHF
disponible dès décembre 2025
Ajouter au panier
Informations bibliographiques
décembre 2025
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-01669-0
Mots-clés
Informations bibliographiques
décembre 2025
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-01669-0
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher tout
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
env. 102.00 CHF
disponible dès mars 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
env. 102.00 CHF
disponible dès mars 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
env. 102.00 CHF
disponible dès mars 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
env. 91.00 CHF
disponible dès octobre 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
env. 91.00 CHF
disponible dès octobre 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
env. 91.00 CHF
disponible dès octobre 2025
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
env. 91.00 CHF
disponible dès octobre 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
env. 102.00 CHF
disponible dès septembre 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
env. 102.00 CHF
disponible dès septembre 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
env. 102.00 CHF
disponible dès septembre 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
env. 168.00 CHF
disponible dès septembre 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
env. 102.00 CHF
disponible dès septembre 2025
Autres titres sur ce thème
Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Abdulla, Parosh Aziz
|
Kesner, Delia
Springer International Publishing
,
2025
978-3-031-90896-5
56.90 CHF
livrable dans env. 20-45 jours
Philosophical Methodology After Carnap
Bradley, Darren
Springer International Publishing
,
2025
978-3-032-00209-9
env. 134.00 CHF
disponible dès octobre 2025
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
env. 178.00 CHF
disponible dès août 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
103.00 CHF
livrable dans env. 20-45 jours
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
livrable dans env. 20-45 jours
Scientific Cognition, Semiotics, and Computational Agents: Essays in Honor of ...
Arfini, Selene
Springer International Publishing
,
2025
978-3-031-96687-3
env. 168.00 CHF
disponible dès septembre 2025
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Farmer, William M.
Springer International Publishing
,
2025
978-3-031-85351-7
104.00 CHF
livrable dans env. 20-45 jours
The Computer Security Workbook
A Course Companion Resource
Tapiador, Juan
Springer International Publishing
,
2025
978-3-031-88141-1
env. 69.00 CHF
disponible dès août 2025
Algebra (Print inkl. digitaler Ausgabe, Neuauflage 2025)
Jakob, Benno
|
Marthaler, Hans
|
Reuter, Reto
hep Verlag
,
2025
978-3-0355-2814-5
64.00 CHF
livrable dans env. 5-10 jours
New Directions in Relevant Logic
Sedlár, Igor
|
Standefer, Shawn
|
Tedder, Andrew
Springer International Publishing
,
2025
978-3-031-69939-9
179.00 CHF
livrable dans env. 20-45 jours
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Müller, Sandra
Springer
,
2026
978-3-662-69708-5
env. 37.90 CHF
disponible dès mars 2026
Spezialangebot «Formeln» und «Algebra»
hep Verlag
|
Marthaler, Hans
|
Jakob, Benno
hep Verlag
,
2025
978-3-0355-2907-4
83.00 CHF
disponible de suite