Welcome to Central Library, SUST

Your search returned 29 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert. by
  • Davies, Donald Watts
  • Lampson, Butler W
  • Paul, Manfred, 1932-
  • Siegert, H. J
  • Technische Universit�at M�unchen. Institut f�ur Informatik
  • Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universit�at M�unchen)
Series: Lecture notes in computer science ; 105
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, c1981
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ...

2.
Artificial intelligence and cognitive science : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009 : revised selected papers / Lorcan Coyle, Jill Freyne (eds.). by
  • Irish Conference on Artificial Intelligence and Cognitive Science (20th : 2009 : Dublin, Ireland)
  • Coyle, Lorcan
  • Freyne, Jill
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 ART, ...

3.
Artificial intelligence and Soft Computing: : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May, 3, 2012 Proceedings, Part I / Leszek Rutkowski ... [et al]. by
  • Irish Conference on Artificial Intelligence and Cognitive Science (20th : 2009 : Dublin, Ireland)
  • Leszek Rutkowski ... [et al]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, 2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 ART, ...

4.
Intelligent virtual agents : 10th international conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010 : proceedings / Jan Allbeck ... [et al.] (eds.). by
  • IVA 2010 (2010 : Philadelphia, Pa.)
  • Allbeck, Jan
Series: Lecture notes in computer science ; 6356. | Lecture notes in computer science. Lecture notes in artifical intelligence.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.8 INT, ...

5.
Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). by
  • LORI (Workshop) (3rd : 2011 : Guangzhou, China)
  • Ditmarsch, Hans van, 1959- [editor of compilation.]
  • Lang, J�er�ome [editor of compilation.]
  • Ju, Shier [editor of compilation.]
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 6953 | LNCS sublibrary. SL 7, Artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Verlag Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.395 LOG, ...

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

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

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

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

10.
Wireless networking for moving objects : protocols, architectures, tools, services and applications / [edited by] Ivan Ganchev, Marilia Curado, Andreas Kassler. by
  • Ganchev, Ivan
  • Curado, Marilia
  • Kassler, Andreas
Series: Lecture notes in computer science ; 8611
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 621.382 WIR, ...

11.
Bridging between information retrieval and databases : promise winter school 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures / [edited by] Nicola Ferro. by
  • Ferro, Nicola
Series: Lecture notes in computer science ; 8173
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 621.3670285443 BRI, ...

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

13.
Advanced data mining and applications : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011. Proceedings, Part 1 / Edited Jie Tang ...[et al.]. by
  • Tang, Jie
Series: Lecture notes in computer science ; 8933
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : SPringer. c2011
Availability: Items available for loan: Central Library, SUST (2)Call number: 006.312 ADV, ...

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

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

16.
Computation, logic, games and quantum foundations : the many facets of Samson Abramsky. essays dedicated to Samson Abramsky on the occasion of his 60th birthday / Edited by: Bob Coecke, Luke Ong, Prakash Panangaden. by
  • Coecke, Bob
  • [Ong, Luke]
  • Panangaden, Prakash
Series: Lecture notes in computer science ; 7860
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 530.1433 COM, ...

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

18.
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.). by
  • Gramlich, Bernhard, Dr.rer.nat
  • Miller, Dale (Dale A.)
  • Sattler, Uli
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.36028563 AUT, ...

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

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

Pages