Results
|
|
101.
|
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings / Allen, Emerson E. and A Prasad Sistla, by
- Emerson E. Allen
- Sistla, A Prasad
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, c2000
Availability: Items available for loan: Central Library, SUST (1)Call number: 004.24 EMC.
|
|
|
102.
|
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, ...
|
|
|
103.
|
|
|
|
104.
|
|
|
|
105.
|
|
|
|
106.
|
|
|
|
107.
|
|
|
|
108.
|
|
|
|
109.
|
Python programming fundamentals / Kent D. Lee by
Edition: 2nd ed.
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: 004.0151 LEP, ...
|
|
|
110.
|
|
|
|
111.
|
|
|
|
112.
|
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: No items available.
|
|
|
113.
|
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, ...
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
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, ...
|
|
|
119.
|
|
|
|
120.
|
|
