Welcome to Central Library, SUST

Refine your search

Your search returned 98 results.

Not what you expected? Check for suggestions
Sort
Results
41.
Primality testing and Abelian varieties over finite fields / Leonard M. Adleman, Ming-Deh A. Huang. by
  • Adleman, Leonard M
  • Huang, Ming-Deh A
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1992
Availability: Items available for loan: Central Library, SUST (3)Call number: 510 ADP, ...

42.
Artificial neural networks in pattern recognition : 5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012 : proceedings / Nadia Mana, Friedhelm Schwenker, Edmondo Trentin (eds.). by
  • Mana, Nadia
  • Schwenker, Friedhelm
  • Trentin, Edmondo
Series: Lecture notes in computer science ; 7477.
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.32 ART, ...

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

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

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

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

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

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

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

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

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

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

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

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

55.
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: No items available.

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

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

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

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

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

Pages