Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique
Book information
Similar books
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
2020 · PDF
Gramatica de la lengua quiche = Grammaire de la langue quichée, espagnole-française mise en parallèle avec ses deux dialectes, cakchiquel et tzutuhil, tirée des manuscrits des meilleurs auteurs guatémaliens : ouvrage accompagné de notes philologiques avec un vocabulaire comprenant les sources principales du quiché comparées aux langues germaniques et suivi d'un essai sur la poésie, la musique, la danse et l'art dramatique chez les Mexicains et les Guatémaltèques avant la conquête : servant d'introduction au Rabinal-Achi, drame indigène avec sa musique originale, texte quiché et traduction française en regard
1862 · PDF
L'élan des cathédrales
2002 · PDF
Fort La Latte
2018 · PDF
La collection Morozov: Icônes de l'Art moderne
2021 · PDF
Hans Memling à Bruges
2023 · PDF
Des vikings et des normands. Imaginaires et représentations
2023 · PDF
Cuisiner et manger au Moyen Âge
2021 · PDF