|
321.
|
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).
|
|
322.
|
Spectral properties of noncommuting operators
by Jefferies, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 515.724 JEF] (1).
|
|
323.
|
Quantum state estimation
by Paris, Matteo | Rehacek, Jaroslav. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 530.12 PAR] (1).
|
|
324.
|
UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings
by Davies, Nigel | Mynatt, Elizabeth | Siio, Itiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 DAV] (1).
|
|
325.
|
Intelligent information integration for the semantic web
by Carbonell, J. G | Siekmann, J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 VIS] (1).
|
|
326.
|
Information and its role in nature
by Roederer, Juan G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 570.285 ROE] (1).
|
|
327.
|
Introduction to Markov processes
by Stroock, Daniel W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: No items available Checked out (1).
|
|
328.
|
Semantics of a networked world : semantics for grid databases, First International IFIP conference, ICSNW 2004, Paris, France, June 17-19, 2004, revised selected papers
by Bouzeghoub, Mokrane | Goble, Carole | Kashyap, Vipul | Spaccapietra, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 BOU] (1).
|
|
329.
|
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
by Wang, Farn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
|
|
330.
|
Fuzzy mathematical programming and fuzzy matrix games
by Bector, C. R | Chandra, Suresh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 519.3 BEC] (1).
|
|
331.
|
Simulating fuzzy systems
by Buckley, James J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 003 BUC] (1).
|
|
332.
|
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).
|
|
333.
|
Network analysis : methodological foundations
by Brandes, Ulrik | Erlebach, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
334.
|
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).
|
|
335.
|
Graph-based representations in pattern recognition : fifth iapr international workshop, gbrpr 2005, poitiers, France, April 11-13, 2005 ; proceedings
by Brun, Luc | Vento, Mario. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRU] (1).
|
|
336.
|
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).
|
|
337.
|
Number theory in science and communication : with applications in cryptography, physics, digital information, computing, and self-similarity
by Schroeder, M. R | Schroeder, M. R. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 512.7 SCH] (1).
|
|
338.
|
Formal models of communicating systems : languages, automata and monadic second-order logic
by Bollig, Benedikt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.35 BOL] (1).
|
|
339.
|
Information and self-organization : a macroscopic approach to complex systems
by Haken, Hermann. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 003.7 HAK] (1).
|
|
340.
|
Algorithmic information theory: mathematics of digital information processing
by Seibt, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 006.31 SEI] (1).
|