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

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

Your search returned 4 results.

Results
	1.	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective Электронный ресурс edited by Denis Besnard, Cristina Gacek, Cliff B. Jones. by Besnard, Denis \| Gacek, Cristina \| Jones, Cliff B \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Formal Methods and Hybrid Real-Time Systems Электронный ресурс Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B \| Liu, Zhiming \| Woodcock, Jim \| 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)
	3.	Theoretical Aspects of Computing вЂ“ ICTAC 2007 Электронный ресурс 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B \| Liu, Zhiming \| Woodcock, Jim \| 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)
	4.	Communicating Sequential Processes. The First 25 Years Электронный ресурс Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E \| Jones, Cliff B \| Sanders, Jeff W \| 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)