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

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

Your search returned 6 results.

Results
	1.	Geometric Fundamentals of Robotics Электронный ресурс by J. M. Selig. by Selig, J. M \| SpringerLink (Online service). Series: Monographs in Computer ScienceEdition: Second Edition.Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Super-Recursive Algorithms Электронный ресурс by Mark Burgin. by Burgin, Mark \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Evolutionary Synthesis of Pattern Recognition Systems Электронный ресурс by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. by Bhanu, Bir \| Krawiec, Krzysztof \| Lin, Yingqiang \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Adapting Proofs-as-Programs Электронный ресурс The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Crossley, John Newsome \| Wirsing, Martin \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Reverse Engineering of Object Oriented Code Электронный ресурс by Paolo Tonella, Alessandra Potrich. by Tonella, Paolo \| Potrich, Alessandra \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Abstraction, Refinement and Proof for Probabilistic Systems Электронный ресурс by Annabelle McIver, Carroll Morgan. by McIver, Annabelle \| Morgan, Carroll \| SpringerLink (Online service). Series: Monographs in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)