|
101.
|
Spectre of Comparisons
by Anderson, Benedict. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Verso Books, 2000Availability: Items available for loan: [Call number: 320.959 AND] (1).
|
|
102.
|
Bio-Inspired Computing Machines : towards novel computational architectures
by Tomassini, Marco | Mange, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Romandes: Presses polytechniques et universitaires romandes, 1998Availability: Items available for loan: [Call number: 005.1 MAN] (1).
|
|
103.
|
Advanced arithmetic for the digital computer : Design of arithmetic units
by Kulisch, Ulrich W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004.01513 KUL] (1).
|
|
104.
|
Logics for emerging applications of databases
by Meyden, Ron van der | Chomicki, Jan | Saake, Gunter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.74 CHO] (1).
|
|
105.
|
Reversible logic synthesis : from fundamentals to quantum computing
by Al-Rabadi, Anas N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004.122 ANA] (1).
|
|
106.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
107.
|
Fuzzy logic and the internet
by Loia, Vincenzo | Nikravesh, Masoud | Zadeh, Lotfi A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004.678 LOI] (1).
|
|
108.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
109.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
110.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
111.
|
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings
by Basin, David | Rusinowitch, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
|
|
112.
|
Principles and practice of semantic web reasoning : Second International Workshop, PPSWR 2004, proceedings
by Ohlbach, Hans Jurgen | Schaffert, Sebastian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 OHL] (1).
|
|
113.
|
Computational logic in multi-agent systems : 4th international workshop, CLIMA IV Fort Lauderdale, Fl, USA, january 2004
by Dix, Jurgen | Leite, Joao. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 DIX] (1).
|
|
114.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
115.
|
Fuzzy group theory
by Mordeson, John N | Bhutani, Kiran R | Rosenfeld, Azriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 MOR] (1).
|
|
116.
|
Fuzzy equational logic
by Belohlavek, Radim | Vychodil, Vilem. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 BEL] (1).
|
|
117.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
118.
|
Knowledge representation techniques : a rough set approach
by Doherty, Patrick | Lukaszewicz, Witold | Skowron, Andrzej | Szalas, Andrzej. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 006.3 DOH] (1).
|
|
119.
|
Switching theory insight through predicated logic
by Vingron, Shimon P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 621.3815372 VIN] (1).
|
|
120.
|
SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings
by Reed, Rick | Reed, Jeanne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 REE] (1).
|