DE
|
FR
Focus
Domaines
Droit du travail
Droit de la famille
Droit des assurances sociales
Droit pénal
Étudier le droit
Études
Publications
Littérature
Livres
Collections
Revues
Littérature pour les études
Bases de données
Modules en ligne LEXIA
recht.ch
Services
Services pour
Professionnels
Librairies
Presse
Enseignants
Étudiants
Annonceurs
Corporate Books
Corporate Publishing
Solutions d'édition
Content solutions
Actualités
Newsletter
Événements
Blog
Auteurs
Nos Auteurs
Liste
Témoignages
Aide
Espace des auteurs
Publier chez nous
Éditions
Qui sommes-nous?
Collaborateurs
Histoire
Vision et mission
Culture d'entreprise
Thèmes
Durabilité
Open Access
Carrière
En savoir plus
Newsletter
Notre magazine
Partenaires
Contact
Shop
Droit suisse
Nouveautés
À paraître
Par domaine juridique
Commentaires
Droit étranger
Nouveautés
À paraître
À propos de notre boutique
Assortiment et recherche
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
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
Logic and Its Applications
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Publié par:
Aiswarya, C.
|
Sen, Prabal Kumar
|
Srivastava, Shashi Mohan
Livre (broché)
env. 82.00 CHF
livrable dans env. 20-45 jours
Ajouter au panier
Informations bibliographiques
mai 2025
,
env. 263 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-89609-5
Mots-clés
Informations bibliographiques
mai 2025
,
env. 263 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-89609-5
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
paraît en mars
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
paraît en mars
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
paraît en mars
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
Hameurlain, Abdelkader
|
Tjoa, A Min
Springer
,
2025
978-3-662-72115-5
env. 103.00 CHF
paraît en décembre
Superposition for Higher-Order Logic
Bentkamp, Alexander
Springer International Publishing
,
2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre
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
env. 55.90 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
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
env. 112.00 CHF
paraît en novembre
Autres titres sur ce thème
Multisensorische Kunsterlebnisse
Theorie, Empirie und Praxis
Moser, Sibylle
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-49496-4
env. 40.90 CHF
paraît en avril
Deep Learning Models towards Health Informatics Management
Foundations, Challenges and Opportunities
Kumar, T. Ananth
|
Rajmohan, R.
|
M, Niranjanamurthy
Taylor and Francis
,
2026
978-1-032-39292-9
env. 225.00 CHF
paraît en janvier
SQL Server 2025 Query Performance Tuning
Troubleshoot and Optimize Query Performance
Fritchey, Grant
Springer EN
,
2026
979-8-8688-1864-6
env. 69.00 CHF
paraît en avril
From Data to Dollars
Getting started with Data Analytics and AI in Startups
Sidoruk, Piotr
Springer EN
,
2026
979-8-8688-1897-4
env. 69.00 CHF
paraît en février
Code Chronicles
The Art of Storytelling in Software
Ciancarini Paolo
|
El-Batanony, Ahmed
|
Succi Giancarlo
Elsevier
,
2026
978-0-443-29248-4
env. 235.00 CHF
paraît en mai
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
paraît en mars
Nachhaltige New Work
Gestaltungsansätze zum klimaneutralen und regenerativen Arbeiten
Cloots, Alexandra
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-48767-6
env. 52.50 CHF
paraît en janvier
A Gentle Introduction to Quantum Machine Learning
Du, Yuxuan
|
Wang, Xinbiao
|
Guo, Naixu
Springer EN
,
2026
978-981-9512-83-6
env. 55.90 CHF
paraît en janvier
Machine Vision Technology
Chen, Bingqi
|
Chen, Siyao
Springer EN
,
2026
978-981-9511-83-9
env. 188.00 CHF
paraît en mars
Kommissionierung
Systeme, Strategien und Technologien für effiziente Materialflusssysteme
Reining, Christopher
|
Niemann, Friedrich
Springer
,
2026
978-3-662-70190-4
env. 127.00 CHF
paraît en février
Handbook of the Metaverse
Hui, Pan
|
Zhou, Pengyuan
|
Lee, Lik-Hang
Springer International Publishing
,
2026
978-3-032-03295-9
env. 333.00 CHF
paraît en mars
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Noller, Jörg
Uni-TaschenbücherBrill | Fink alt
,
2026
978-3-8252-6288-4
env. 28.50 CHF
paraît en janvier