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
Constructive Approaches for Security Analysis and Design of Embedded Systems
Constructive Approaches for Security Analysis and Design of Embedded ...
First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings
Publié par:
Rivain, Matthieu
|
Sasdrich, Pascal
Livre (broché)
env. 102.00 CHF
paraît en octobre
Ajouter au panier
Informations bibliographiques
octobre 2025
,
env. 602 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-01404-7
Mots-clés
Informations bibliographiques
octobre 2025
,
env. 602 pages
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-032-01404-7
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
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Escobar, Santiago
|
Titolo, Laura
Springer International Publishing
,
2025
978-3-032-04847-9
env. 81.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part IV
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04626-0
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part III
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04623-9
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 17–21, 2025, Proceedings, Part V
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04629-1
env. 188.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
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part II
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04616-1
env. 188.00 CHF
paraît en novembre
Document Analysis and Recognition – ICDAR 2025
19th International Conference, Wuhan, China, September 16–21, 2025, Proceedings, Part I
Yin, Xu-Cheng
|
Karatzas, Dimosthenis
|
Lopresti, Daniel
Springer International Publishing
,
2025
978-3-032-04613-0
env. 273.00 CHF
paraît en novembre
Autres titres sur ce thème
The Wireless Cookbook
Practical Wi-Fi, Bluetooth, and LoRa Projects
Zimmerman Bill
Random House N.Y.
,
2026
978-1-7185-0436-3
env. 89.00 CHF
paraît en janvier
Web3 Development with Angular
Building Web Applications with Blockchain and Web3 Technologies
Erradi, Soumaya
Springer EN
,
2026
979-8-8688-1885-1
env. 83.00 CHF
paraît en février
Reconfigurable Obfuscation Techniques for the IC Supply Chain
Using FPGA-Like Schemes for Protection of Intellectual Property
Abideen, Zain Ul
|
Pagliarini, Samuel
Springer International Publishing
,
2025
978-3-031-77508-6
env. 70.00 CHF
livrable dans env. 20-45 jours
A Practitioners' Guide to SAS
Mastering SAS Consulting: Design, Deploy, and Manage Analytics Environments
Dey, Anirban
Springer EN
,
2026
979-8-8688-1837-0
env. 90.00 CHF
paraît en janvier
Emerging Trends in Decision Support: Methodology, Algorithms and Applications
Proceedings of the International Colloquium MOAD24
Bedouhene, Fazia
|
Belbachir, Hacène
|
Larbani, Moussa
Springer EN
,
2025
978-981-9698-07-3
env. 238.00 CHF
paraît en août
Lattice-Based Cryptography
From Theory to Practice
O'Neill, Máire
|
Regazzoni, Francesco
|
Güneysu, Tim
Springer International Publishing
,
2026
978-3-031-59917-0
env. 215.00 CHF
paraît en mai
A Problem-Solving Approach to Electric Circuits
Volume I
Asadi, Farzin
Springer International Publishing
,
2025
978-3-031-95622-5
env. 83.00 CHF
paraît en août
Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance
Zhuldassov, Nurzhan
|
Friedman, Eby G.
Springer International Publishing
,
2025
978-3-031-90753-1
env. 146.00 CHF
paraît en août
AI-Embedded Blockchain Technologies and Applications
Enhancing Cybersecurity Systems in Smart Environments
Khang, Alex
|
Dhanda, Namrata
|
Verma, Rajat
Wiley
,
2025
978-1-394-27063-7
env. 180.00 CHF
livrable dans env. 10-20 jours
Robust Explainable AI
Leofante, Francesco
|
Wicker, Matthew
Springer International Publishing
,
2025
978-3-031-89021-5
env. 64.00 CHF
livrable dans env. 20-45 jours
Classical Machine Learning
A Practical Guide Using Python
Aburass, Sanad
|
Aljarah, Ibrahim
Springer International Publishing
,
2026
978-3-032-04398-6
env. 103.00 CHF
paraît en janvier
Event-Driven Ansible
Taking Your Automation to the Next Level
Hitchcock, Kenneth
|
Hawker, Dan
Springer EN
,
2026
979-8-8688-1200-2
env. 83.00 CHF
paraît en février