Welcome to Central Library, SUST

Refine your search

Your search returned 93 results.

Not what you expected? Check for suggestions
Sort
Results
41.
Knowledge-based and intelligent information and engineering systems : 14th international conference, KES 2010, Cardiff, UK, September 8-10, 2010 : proceedings / Rossitza Setchi ... [et al.] (eds.). by
  • Setchi, Rossitza
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.367 KNO, ...

42.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by
  • Emerson, E. Allen
  • Namjoshi, Kedar S
Series: Lecture notes in computer science ; 3855
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c2006
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ...

43.
Advances in artificial intelligence : 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011 : proceedings / Cory Butz, Pawan Lingras (eds.). by
  • Canadian Conference on Artificial Intelligence (24th : 2011 : St. John's, N.L.)
  • Butz, Cory [editor.]
  • Lingras, Pawan [editor.]
Series: Lecture notes in computer science, Lecture notes in artifical intelligence ; 6657.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 610.285 ADA, ...

44.
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
  • Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
  • Beklemishev, Lev D
  • [Queiroz, Ruy de queiroz]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ...

45.
Artificial intelligence and soft computing : 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010 / Leszek Rutkowski ... [et al.] (eds.). by
  • ICAISC 2010 (2010 : Zakopane, Poland)
  • Rutkowski, Leszek
Series: Lecture notes in computer science ; 6113. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 ART, ...

46.
Intelligent information and database systems : 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings / Ngoc Thanh Nguyen, Boonwat Attachoo, Bogdan Trawi�nski, Kulwadee Somboonviwat (eds.). by
  • Asian Conference on Intelligent Information and Database Systems (6th : 2014 : Bangkok, Thailand)
  • Nguyen, Ngoc Thanh (Computer scientist) [editor of compilation.]
  • Boonwat Attachoo [editor of compilation.]
  • Trawi�nski, Bogdan [editor of compilation.]
  • Kulwadee Somboonviwat [editor of compilation.]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2014
Other title:
  • ACIIDS 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 INT, ...

47.
Cloud computing : First International Conference, CloudComp 2009, Munich, Germany, October 19-21, 2009 : revised selected papers / Dimiter R. Avresky ... [et al.], (eds.). by
  • CloudComp 2009 (2009 : Munich, Germany)
  • Avresky, D. R. (Dimitri Ranguelov), 1944-
  • Institute for Computer Sciences, Social-Informatics, and Telecommunications Engineering
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ...

48.
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by
  • Adleman, Leonard M
  • Huang, Ming-Deh A
  • Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.)
Series: Lecture notes in computer science ; 877
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1994
Availability: Items available for loan: Central Library, SUST (5)Call number: 512.7 ALG, ...

49.
Algorithmic learning theory : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings / Marcus Hutter ... [et al.] (eds.). by
  • Hutter, Marcus
Series: Lecture notes in artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.31 ALG, ...

50.
Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday / Tapio Elomaa, Heikki Mannila, Pekka Orponen, (eds.). by
  • Elomaa, Tapio, 1963-
  • Mannila, Heikki
  • Orponen, Pekka
Series: Lecture notes in computer science ; 6060
Material type: Text Text; Format: print festschrift ; Literary form: Not fiction
Publication details: Berlin : Springer, c2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 610.73 ALG, ...

51.
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, eds. by
  • Workshop on Specification of Abstract Data Types (11th : 1995 : Oslo, Norway)
  • Haveraaen, Magne
  • Owe, Olaf
  • Dahl, Ole-Johan, 1931-
  • COMPASS Workshop (8th : 1995 : Oslo, Norway)
Series: Lecture notes in computer science ; 1130
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c1996
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.73 REC, ...

52.
Robotics, vision and control : fundamental algorithms in MATLAB / Peter Corke. by
  • Corke, Peter I, 1959-
Series: Springer tracts in advanced robotics ; v. 73.
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: Berlin : Springer , c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 629.892637 COR, ...

53.
Programming in Modula-2 / Niklaus Wirth. by
  • Wirth, Niklaus
Series: Texts and monographs in computer science
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1988
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 WIP, ...

54.
Computational collective intelligence : technologies and applications ; 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012 : proceedings / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jedrzejowicz. by
  • Nguyen, Ngoc Thanh (Computer scientist)
  • Hoang, Kiem
  • Jedrzejowicz, Piotr
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2012-
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 COM, ...

55.
Advanced computer and communication engineering technology. Editors by Hamzah Asyrani Sulaiman ... [et al.]. by
  • Othman, Mohd Azlishah
  • Othman, Mohd Fairuz Iskandar
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, c2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 004 ADV, ...

56.
PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth. by
  • Jensen, Kathleen, 1949-
  • Wirth, Niklaus [joint author.]
Series: Lecture notes in computer science ; 18
Edition: 2d ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1975
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.6424 JEP, ...

57.
The physics of quantum information : quantum cryptography, quantum teleportation, quantum computation / Dirk Bouwmeester, Artur K. Ekert, Anton Zeilinger, eds. by
  • Bouwmeester, Dirk, 1967-
  • Ekert, Artur K, 1961-
  • Zeilinger, Anton
Edition: 1st ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.1 PHY, ...

58.
Ad hoc networks: third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised selected papers David Simplot-Ryl ...[et al.]. by
  • ADHOCNETS 2011 (2011: PARIS, FRANCE)
  • Simplot-Ryl, David
Series: LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING ; 89
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.3845 ADH, ...

59.
Digital circuit design for computer science students : an introductory textbook / N. 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 (1)Call number: 621.39 WID.

60.
pervasive mobile and ambient wireless communications : cost action 2100 / Roberto Verdone, Alberto Zanella. Editors by
  • Verdone, Roberto
  • Zanella, Alberto
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, c2012
Availability: Items available for loan: Central Library, SUST (2)Call number: 794.8 PER, ...

Pages