6 电子书 Roberto Bruni
Roberto Bruni & Ugo Montanari: Models of Computation
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is acco …
PDF
英语
DRM
€70.81
Roberto Bruni & Karsten Wolf: Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in co …
PDF
英语
DRM
€57.89
Roberto Bruni & Juergen Dingel: Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Form …
PDF
英语
DRM
€57.60
Roberto Bruni & Vladimiro Sassone: Trustworthy Global Computing
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presente …
PDF
英语
DRM
€57.94
Roberto Bruni: Non ci sono bambini che giocano
Il Nostro Autore, il protagonista, si ritira in una casupola in campagna per scrivere il libro che gli è stato commissionato dal suo editore, dando vita, inconsapevolmente, a un testo sperimentale, t …
EPUB
意大利
€9.49
