"Roberto Bruni" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Techniques for Distributed Systems - FORTE 2011

Roberto Bruni, Juergen Dingel

3.55 Mb

#2

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Roberto Bruni, Karsten Wolf

4.99 Mb

#3

Trustworthy Global Computing, 2 conf., TGC 2006

Ugo Montanari, Donald Sannella, Roberto Bruni

Категория: CsLn_

3.47 Mb