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

Your search returned 2 results.

	1.	SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. by Ganai, Malay K \| Gupta, Aarti \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer-Verlag US, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7874.58 G36 2007 (1). Place hold Add to cart (remove)
	2.	A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Eisner, Cindy \| Fisman, Dana \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7885.7 E42 2006 (1). Place hold Add to cart (remove)