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
Télécharger la couverture
Reversible Computation
Reversible Computation
17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings
Publié par:
Glück, Robert
|
Kaarsgaard, Robin
Livre (broché)
env. 82.00 CHF
livrable dans env. 20-45 jours
Ajouter au panier
Informations bibliographiques
juin 2025
,
env. 163 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-97062-7
Sommaire
Mots-clés
Informations bibliographiques
juin 2025
,
env. 163 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-97062-7
Sommaire
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
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
Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in ...
Second Deep Breast Workshop, Deep-Breath 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Zhang, Tianyu
|
Saldanha, Oliver Lester
|
Han, Luyi
Springer International Publishing
,
2025
978-3-032-05558-3
env. 132.00 CHF
paraît en novembre
Simulation and Synthesis in Medical Imaging
10th International Workshop, SASHIMI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Fernandez, Virginia
|
Wiesner, David
|
Zuo, Lianrui
Springer International Publishing
,
2025
978-3-032-05572-9
env. 81.00 CHF
paraît en novembre
Deep Generative Models
5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Mukhopadhyay, Anirban
|
Oksuz, Ilkay
|
Engelhardt, Sandy
Springer International Publishing
,
2025
978-3-032-05471-5
env. 91.00 CHF
paraît en novembre
Discovery Science
28th International Conference, DS 2025, Ljubljana, Slovenia, September 22–26, 2025, Proceedings
Džeroski, Sašo
|
Levatic, Jurica
|
Pio, Gianvito
Springer International Publishing
,
2025
978-3-032-05460-9
env. 112.00 CHF
paraît en novembre
Model-Based Safety and Assessment
9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings
Katsaros, Panagiotis
Springer International Publishing
,
2025
978-3-032-05072-4
env. 81.00 CHF
paraît en novembre
Fundamentals of Computation Theory
25th International Symposium, FCT 2025, Wrocław, Poland, September 15–17, 2025, Proceedings
Jeż, Artur
|
Otop, Jan
Springer International Publishing
,
2025
978-3-032-04699-4
env. 102.00 CHF
paraît en novembre
Concurrent Programming, Open Systems and Formal Methods
Essays Dedicated to Gul Agha to Celebrate His Scientific Career
Meseguer, Jose
|
Varela, Carlos A.
|
Venkatasubramanian, Nalini
Springer International Publishing
,
2025
978-3-032-05290-2
env. 112.00 CHF
paraît en octobre
Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
Könighofer, Bettina
Springer International Publishing
,
2025
978-3-032-05434-0
env. 91.00 CHF
paraît en octobre
Autres titres sur ce thème
Proceedings of the 4th International Conference on Signal and Data Processing
ICSDP 2024
Guha, Debatosh
|
De, Swades
|
Adhikari, Debashis
Springer EN
,
2025
978-981-9510-57-3
env. 261.00 CHF
paraît en octobre
Modern Programmable Interconnect Design
Nikolić, Stefan
Springer International Publishing
,
2025
978-3-031-80628-5
env. 199.00 CHF
livrable dans env. 20-45 jours
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Gibbons, Jeremy
Springer International Publishing
,
2025
978-3-031-99750-1
env. 158.00 CHF
paraît en octobre
Job Scheduling Strategies for Parallel Processing
27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Klusáček, Dalibor
|
Corbalán, Julita
|
Rodrigo, Gonzalo P.
Springer International Publishing
,
2024
978-3-031-74429-7
env. 77.00 CHF
livrable dans env. 20-45 jours
Structures of Computing
A Guide to Practice-Oriented Theory
Börger, Egon
|
Gervasi, Vincenzo
Springer EN
,
2024
978-3-031-54357-9
env. 70.00 CHF
livrable dans env. 20-45 jours
Quantum Optics
Walls, D. F.
|
Milburn, Gerard J.
Springer International Publishing
,
2025
978-3-031-84176-7
env. 135.00 CHF
livrable dans env. 20-45 jours
Architectures and Circuits for Distributed Quantum Computing
Cuomo, Daniele
Springer International Publishing
,
2025
978-3-031-73807-4
env. 207.00 CHF
livrable dans env. 20-45 jours
Detection of Intrusions and Malware, and Vulnerability Assessment
22nd International Conference, DIMVA 2025, Graz, Austria, July 9–11, 2025, Proceedings, Part I
Egele, Manuel
|
Moonsamy, Veelasha
|
Gruss, Daniel
Springer International Publishing
,
2025
978-3-031-97619-3
env. 82.00 CHF
livrable dans env. 20-45 jours
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Aiswarya, C.
|
Sen, Prabal Kumar
|
Srivastava, Shashi Mohan
Springer International Publishing
,
2025
978-3-031-89609-5
env. 82.00 CHF
livrable dans env. 20-45 jours
Lectures on Parallel Computing
Träff, Jesper Larsson
Springer International Publishing
,
2025
978-3-031-86577-0
env. 91.00 CHF
paraît en octobre
Robotics Goes MOOC
Impact
Siciliano, Bruno
Springer EN
,
2025
978-3-319-77266-0
env. 77.00 CHF
livrable dans env. 20-45 jours
Asynchronous Many-Task Systems and Applications
Third International Workshop, WAMTA 2025, St. Louis, MO, USA, February 19–21, 2025, Proceedings
Diehl, Patrick
|
Cao, Qinglei
|
Herault, Thomas
Springer International Publishing
,
2025
978-3-031-97195-2
env. 158.00 CHF
paraît en octobre