Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 4 results.

Results
	1.	Foundations of Security Analysis and Design IV Электронный ресурс FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro \| Gorrieri, Roberto \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Foundations of Security Analysis and Design III Электронный ресурс FOSAD 2004/2005 Tutorial Lectures edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. by Aldini, Alessandro \| Gorrieri, Roberto \| Martinelli, Fabio \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Introduction to Concurrency Theory electronic resource Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Gorrieri, Roberto [author.] \| Versari, Cristian [author.] \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) Электронный ресурс 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto \| Wehrheim, Heike \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)