Results
|
|
1.
|
|
|
|
2.
|
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, ...
|
|
|
3.
|
|
|
|
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.
|
|
|
|
6.
|
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, ...
|
|
|
7.
|
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, ...
|
|
|
8.
|
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, ...
|
|
|
9.
|
|
|
|
10.
|
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, ...
|
|
|
11.
|
|
|
|
12.
|
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 (1)Call number: 512.7 ALG.
|
|
|
13.
|
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, ...
|
|
|
14.
|
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, ...
|
|
|
15.
|
|
|
|
16.
|
Language, culture, computation : computing - theory and technology. essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, part I / [edited by] Nachum Dershowitz, Ephraim Nissan. by
- Dershowitz, Nachum
- Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (3)Call number: 622.0285 LAN, ...
|
|
|
17.
|
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II [edited by] Nachum Dershowitz, Ephraim Nissan. by
- Dershowitz, Nachum
- Nissan, Ephraim
Series: Lecture notes in computer science ; 8001
Edition: 1st edition.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: Central Library, SUST (2)Call number: 622.0285 LAN, ...
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|