Koha online catalog › Results of search for 'ccl=su:"Computer science" and itype:LIB and itype:LIB'

Search

Your search returned 6 results.

	1.	Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich. by Tonella, Paolo \| Potrich, Alessandra \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 T66 2005 (1). Place hold Add to cart (remove)
	2.	Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. by Heydon, Allan \| Mann, Timothy \| Levin, Roy \| Yu, Yuan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer-Verlag US, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C69 H49 2006 (1). Place hold Add to cart (remove)
	3.	Geometric Fundamentals of Robotics [electronic resource] / by J. M. Selig. by Selig, J. M \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TJ211 S43 2005 (1). Place hold Add to cart (remove)
	4.	Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec. by Bhanu, Bir \| Lin, Yingqiang \| Krawiec, Krzysztof \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA1632 B48 2005 (1). Place hold Add to cart (remove)
	5.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz \| Wirsing, Martin \| Crossley, John Newsome \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.54 .P64 2005 (1). Place hold Add to cart (remove)
	6.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle \| Morgan, Carroll \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA340 M43 2005 (1). Place hold Add to cart (remove)

Powered by Koha