Offre spéciale sur les Précis de droit Stämpfli : Jusqu’à fin novembre, profitez d’un rabais de 20% sur les manuels d’enseignement et les livres pour la pratique suivants.
Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Formal Methods: Foundations and Applications

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings
Livre (broché)env. 81.00 CHF
disponible dès janvier 2025

Informations bibliographiques

janvier 2025, env. 200 Pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-78115-5

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

Autres titres sur ce thème

Verschwörungsmythen
Woher sie kommen, was sie anrichten, wie wir ihnen begegnen können
Patmos, 2025
978-3-8436-1573-0
env. 27.90 CHF
disponible dès mars 2025
Coherence-Targeted Text Summarization
Springer Nature ENTongji University Press, 2051
978-981-10-7943-6
env. 116.00 CHF
disponible dès janvier 2051
Vectorization
A Practical Guide to Efficient Implementations of Machine Learning Algorithms
Wiley, 2025
978-1-394-27294-5
env. 179.00 CHF
disponible dès février 2025
Quantum Computing
Principles and Paradigms
Elsevier, 2025
978-0-443-29096-1
env. 235.00 CHF
disponible dès juin 2025
Blockchain Technology and Big Data Analytics
Wiley, 2025
978-1-119-75053-6
env. 269.00 CHF
disponible dès août 2025
Das iPad Tipps und Tricks Handbuch - für alle iPad-Modelle geeignet (iPad, iPad ...
Markt + Technik, 2025
978-3-98810-044-3
env. 27.90 CHF
disponible dès février 2025