Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
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.
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
novembre 2017, env. 305 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer EN
978-3-319-70847-8
novembre 2017, env. 305 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer EN
978-3-319-70847-8
Autres titres de la collection: Programming and Software Engineering
Afficher toutComputer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Springer EN, 2019
978-3-030-26249-5
env. 92.00 CHF
livrable dans env. 20-45 jours
OpenMP: Conquering the Full Hardware Spectrum
15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Springer EN, 2019
978-3-030-28595-1
env. 92.00 CHF
livrable dans env. 20-45 jours
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Springer EN, 2019
978-3-030-26600-4
env. 82.00 CHF
livrable dans env. 20-45 jours
Search-Based Software Engineering
11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Springer EN, 2019
978-3-030-27454-2
env. 70.00 CHF
livrable dans env. 20-45 jours
Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Springer EN, 2019
978-3-030-27007-0
env. 70.00 CHF
livrable dans env. 20-45 jours
End-User Development
7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Springer EN, 2019
978-3-030-24780-5
env. 82.00 CHF
livrable dans env. 20-45 jours
Services Computing – SCC 2019
16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23553-6
env. 70.00 CHF
livrable dans env. 20-45 jours
Reuse in the Big Data Era
18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Springer EN, 2019
978-3-030-22887-3
env. 70.00 CHF
livrable dans env. 20-45 jours
Services – SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23380-8
env. 70.00 CHF
livrable dans env. 20-45 jours
Web Services – ICWS 2019
26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Springer EN, 2019
978-3-030-23498-0
env. 70.00 CHF
livrable dans env. 20-45 jours
Coordination Models and Languages
21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Springer EN, 2019
978-3-030-22396-0
env. 70.00 CHF
livrable dans env. 20-45 jours
Intelligent Tutoring Systems
15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Springer EN, 2019
978-3-030-22243-7
env. 82.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Adaptive AI in Sensor Informatics
Methods, Applications, and Implications
978-0-443-36412-9
env. 255.00 CHF
paraît en janvier
Radio Frequency and Microwave Design for Next Generation Wireless Applications
Taylor and Francis, 2026
978-1-032-82121-4
env. 345.00 CHF
paraît en janvier
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14246-1
env. 179.00 CHF
paraît en février
Problem Solving with Python
Using Computational Thinking in Everyday Life
MIT Press, 2026
978-0-262-55284-4
env. 73.00 CHF
paraît en janvier
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14247-8
env. 75.00 CHF
paraît en février
Inclusive Futures
Lessons from Emerging Contexts on Building Equitable Digital Systems
Taylor and Francis, 2026
978-1-032-96885-8
env. 299.00 CHF
paraît en janvier
Nachhaltiges Software-Engineering
Wie Softwareentwicklung Investitionen und Zukunft sichert
Springer, 2026
978-3-662-72156-8
env. 65.00 CHF
paraît en janvier
The Shortest History of AI
Old Street Publishing, 2026
978-1-917532-11-2
env. 18.50 CHF
paraît en janvier
Micro- and Nanocomposites
A Tribological Viewpoint
Taylor and Francis, 2026
978-1-032-87016-8
env. 195.00 CHF
paraît en janvier
Inclusive Futures
Lessons from Emerging Contexts on Building Equitable Digital Systems
Taylor and Francis, 2026
978-1-032-96884-1
env. 75.00 CHF
paraît en janvier
Building Resilient Distributed Systems
Patterns and Practices for Stable Software
Wiley, 2026
978-1-0981-6354-9
env. 95.00 CHF
paraît en mai