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

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

Your search returned 6 results.

Results
	1.	Software Engineering and Formal Methods electronic resource SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Counsell, Steve [editor.] \| Núñez, Manuel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Web Services and Formal Methods Электронный ресурс Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Bravetti, Mario \| Núñez, Manuel \| Zavattaro, Gianluigi \| 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)
	3.	Computational Collective Intelligence electronic resource 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński. by Núñez, Manuel [editor.] \| Nguyen, Ngoc Thanh [editor.] \| Camacho, David [editor.] \| Trawiński, Bogdan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 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 Industrial Critical Systems electronic resource 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Núñez, Manuel [editor.] \| Güdemann, Matthias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: 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)
	5.	Computational Collective Intelligence electronic resource 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński. by Núñez, Manuel [editor.] \| Nguyen, Ngoc Thanh [editor.] \| Camacho, David [editor.] \| Trawiński, Bogdan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 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)
	6.	Formal Approaches to Software Testing and Runtime Verification Электронный ресурс First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers edited by Klaus Havelund, by Havelund, Klaus \| Núñez, Manuel \| Rosu, Grigore \| Wolff, Burkhart \| 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)