Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke. by Peled, Doron A, 1962- Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2001 Online access: Publisher description Table of contents only Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PES, ... Place hold Add to cart (remove)
	2.	Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog by Apt, Krzysztof R, 1949- Boer, Frank S. de Olderog, E.R Series: Texts in computer science Edition: 3rd extended ed. Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: London ; New York : Springer, c2009 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.14 APV, ... Place hold Add to cart (remove)
	3.	Big data integration theory : theory and methods of database mappings, programming languages, and semantics / Zoran Majkic. by Majkic, Zoran [author.] Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cham : Springer, c2014 Online access: Publisher description Table of contents only Contributor biographical information Availability: Items available for loan: Central Library, SUST (2)Call number: 005.7 MAB, ... Place hold Add to cart (remove)
	4.	Computer vision : algorithms and applications / Richard Szeliski. by Szeliski, Richard, 1958- Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Springer, c2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 006.37 CZC, ... Place hold Add to cart (remove)