Welcome to Central Library, SUST

Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
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 Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2001
Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PES, ...

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 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, ...

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 Text; Format: print ; Literary form: Not fiction
Publication details: Cham : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.7 MAB, ...

4.
Computer vision : algorithms and applications / Richard Szeliski. by
  • Szeliski, Richard, 1958-
Series: Texts in computer science
Material type: Text 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, ...

Pages