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; 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; 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; 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; 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; 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; 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.
|
|
|
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; 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; 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; 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.
|
|
|
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; 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.
|
|
|
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; 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; Format:
print
; Literary form:
Not fiction
Publication details: Berlin. : Springer. 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 006.3 INT, ...
|
|
16.
|
|
|
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; 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; 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; 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; 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, ...
|