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, Language, Information, and Computation
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Publié par:
Kozen, Dexter
|
de Queiroz, Ruy
Livre (broché)
env. 91.00 CHF
paraît en septembre
Ajouter au panier
Informations bibliographiques
septembre 2025
,
env. 369 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-99535-4
Mots-clés
Informations bibliographiques
septembre 2025
,
env. 369 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-99535-4
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
Digital Technology, Algorithmic Governance and Workplace Democracy
Interrogating the Nordic Model in Practice
Kuldova, Tereza Østbø
|
Lloyd, Anthony
|
Hagen, Inger Marie
Springer International Publishing
,
2026
978-3-032-02753-5
env. 206.00 CHF
paraît en janvier
The Shortest History of AI
Walsh Toby
Old Street Publishing
,
2026
978-1-917532-11-2
env. 18.50 CHF
paraît en janvier
Advanced Manufacturing and Joining Technologies for Composite Materials
Pawan Kumar Rakesh
|
Davim J. Paulo
Elsevier
,
2026
978-0-443-33364-4
env. 265.00 CHF
paraît en juin
Excel Power Tools
Unlocking the Power of AI, Python, and Power Automate
Mount, George
Wiley
,
2026
978-1-394-28493-1
env. 69.00 CHF
paraît en septembre
Challenges and Applications of Generative Large Language Models
Pillai, Anitha S.
|
Tedesco, Roberto
|
Scotti, Vincenzo
Elsevier
,
2026
978-0-443-33592-1
env. 235.00 CHF
paraît en janvier
The Blueprint for AI Adoption and Societal Transformation
Bhalekar, Sandeep
|
Tiwary, Amit
Taylor and Francis
,
2026
978-1-041-04031-6
env. 299.00 CHF
paraît en janvier
Die Vierte Kränkung. Der Mensch im Schatten der Künstlichen Intelligenz
Safranski, Rüdiger
Random House Audio
,
2026
978-3-7599-0113-2
env. 33.50 CHF
paraît en avril
AI for People Professionals
Understand How to Use Artificial Intelligence in Your HR Role
Farmer, Erica
Kogan Page
,
2026
978-1-3986-2601-0
env. 135.00 CHF
paraît en mai
Autonomous Vehicle Safety Solutions
Foundations, Technologies, and Prospects for the Future
Kumari, Aparna
Elsevier
,
2026
978-0-443-33528-0
env. 239.00 CHF
paraît en janvier
The Invariance Principle
Lopez-Paz, David
University Presses
,
2026
978-0-262-05334-1
env. 90.00 CHF
paraît en avril
Essentials of Big Data Analytics
Applications in R and Python
Chavan, Pallavi
|
Pampattiwar, Kalyani
|
Mangrulkar, Ramchandra
Elsevier
,
2026
978-0-443-45206-2
env. 235.00 CHF
paraît en février
Raising AI
An Essential Guide to Parenting Our Future
Kai, De
University Presses
,
2026
978-0-262-05432-4
env. 30.50 CHF
paraît en mars