|
341.
|
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).
|
|
342.
|
Chaos control : theory and applications
by Chen, Guanrong | Yu, Xinghuo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 629.82 CHE] (1).
|
|
343.
|
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).
|
|
344.
|
Spatial reasoning and planning : geometry, mechanism, and motion
by Liu, Jiming | Daneshmend, Laeeque K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
|
|
345.
|
Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings
by Rovan, Branislav | Vojtas, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
|
|
346.
|
Polynomials
by Prasolov, Victor V | Leites, Dimitry, tra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 512.9422 PRA] (1).
|
|
347.
|
Mind, matter and quantum mechanics
by Stapp, Henry P. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 128.2 STA] (1).
|
|
348.
|
Handbook on ontologies
by Studer, R | Staab, Steffen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 003.54 STA ] (1).
|
|
349.
|
Combinatorial group theory
by Lyndon, Roger C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 512.2 LYN] (1).
|
|
350.
|
Mobile agents : control algorithms
by Baumann, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 004 BAU] (1).
|
|
351.
|
Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings
by Buyya Rajkumar | Baker, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 BUY] (1).
|
|
352.
|
Lectures on Information Retrieval
by Agosti, Maristella | Crestani, Fabio | Pasi, Gabriella. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 AGO] (1).
|
|
353.
|
Galois cohomology
by Serre, Jean Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 512.74 SER] (1).
|
|
354.
|
Foundations of computational linguistics : human-computer communication in natural language
by Hausser, Roland. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 006.35 HAU] (1).
|
|
355.
|
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings
by Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
356.
|
Group theoretical methods in image processing
by Lenz, Reiner. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 004 LEN] (1).
|
|
357.
|
Stochastic Analysis
by Malliavin, Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.23 MAL] (1).
|
|
358.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
by Mayr, Ernst W | Puech, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
|
|
359.
|
Efficient checking of polynomials and proofs and the hardness of approximation problems
by Sudan, Madhu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
|
|
360.
|
Geometric measure theory
by Federer, Herbert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 515.42 FED] (1).
|