Welcome to Central Library, SUST

Refine your search

Your search returned 6249 results.

Not what you expected? Check for suggestions
Sort
Results
5921.
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by
  • CAV (Conference) (18th : 2006 : Seattle, Wash.)
  • Emerson, E. Allen
  • Sistla, A. Prasad
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ...

5922.
Knowledge annotation : making implicit knowledge explicit / Alexiei Dingli. by
  • Dingli, Alexiei [author.]
Series: Intelligent systems reference library ; volume 16
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Berlin : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 808.066025 DIK, ...

5923.
Machine learning for adaptive many-core machines - a practical approach / Noel Lopes, Bernardete Ribeiro. by
  • Lopes, Noel
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cham : Springer, 2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.31 LOM, ...

5924.
Multiparadigm constraint programming languages / Petra Hofstedt. by
  • Hofstedt, Petra
Series: Cognitive technologies
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.116 HOM, ...

5925.
Quantum chance : nonlocality, teleportation and other quantum marvels / Nicolas Gisin by
  • Gisin, Nicolas
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2014
Availability: Items available for loan: Central Library, SUST (1)Call number: 530.12 GIQ. Not available: Central Library, SUST: In transit (2).

5926.
Smart mobile in-vehicle systems : next generation advancements / Editors by Gerhard Schmidt ... [et al.]. by
  • Schmidt, Gerhard
  • Abut, Huswyin
  • Takeda, Kazuya
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 338.02097309049 SMA, ...

5927.
Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by
  • Manna, Zohar
  • Pnueli, Amir, 1941-2009
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ...

5928.
Digital circuit design for computer science students : an introductory textbook / Niklasus Wirth. by
  • Wirth, Niklaus
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1995
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.39 WID, ...

5929.
Mobile robotics : a practical introduction / Ulrich Nehmzow. by
  • Nehmzow, Ulrich, 1961-
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; New York : Springer, 2003
Availability: Items available for loan: Central Library, SUST (3)Call number: 629.892 NEM, ...

5930.
Advances in electrical engineering and electrical machines / Dehuai Zeng (ed.). by
  • Zeng, Dehuai
Series: Lecture notes in electrical engineering ; v. 134
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Heidelberg : Springer, c2011
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.38174 ADV, ...

5931.
Computer vision : a reference guide / Katsushi Ikeuchi. by
  • Ikeuchi, Katsushi
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer Reference c2014
Availability: No items available.

5932.
Computer vision : a reference guide / Katsushi Ikeuchi. by
  • Ikeuchi, Katsushi
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer Reference c2014
Availability: No items available.

5933.
Computer vision : a reference guide / Katsushi Ikeuchi. by
  • Ikeuchi, Katsushi
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer Reference c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.131 COM, ...

5934.
Computer vision : a reference guide / Katsushi Ikeuchi. by
  • Ikeuchi, Katsushi
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer Reference c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.131 COM, ...

5935.
Pattern recognition and machine learning / Christopher M. Bishop. by
  • Bishop, Christopher M
Series: Information science and statistics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c2006
Availability: Items available for loan: Central Library, SUST (7)Call number: 006.4 BIP, ...

5936.
Information retrieval architecture and algorithms / by Gerald Kowalski by
  • Kowalski, Gerald
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6 KOI, ...

5937.
Formal grammar : 14th International conference, FG 2009, Bordeaux, France, July 25-26, 2009, revised selected papers / [edited by] Philippe de Groote, Markus Egg, Laura Kallemeyer. by
  • De Groote, Philippe
  • Egg, Markus
  • Kallemeyer, Laura
Series: Lecture notes in artificial intelligence ; 5591
Edition: 1st ed.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New York : Springer, c2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 410.72 FOR, ...

5938.
Design science methodology for information systems and software engineering / [edited by] Roel J. Wieringa. by
  • Wieringa, Roel J
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 DES, ...

5939.
Fuzzy logic and applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / [edited by] Francesco Masulli, Gabriella Pasi, Ronald Yager. by
  • Pasi, Gabriella
  • Yager, Ronald
Series: Lecture notes in artificial intelligence ; 8256
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 FUZ, ...

5940.
Granular computing in decision approximation : Lech Polkowski, Piotr Artiemjew an application of rough mereology / by
  • Polkowski, Lech
  • Artiemjew, Piotr
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.4 POG, ...

Pages