|
|
341.
|
Grid Computing--GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001 ; Proceedings
by Lee, Craig A. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 LEE] (1).
|
|
|
342.
|
Inequalities : selecta of Elliott H. Lieb
by Ruskai, M. B | Lieb, Elliott H | Loss, M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 515.26 LIE] (1).
|
|
|
343.
|
Software pioneers and their contributions to software engineering
by Broy, Manfred | Denert, Ernst. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.10922 BRO] (1).
|
|
|
344.
|
Fundamentals of computer security
by Pieprzyk, Josef. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.8 PIE] (1).
|
|
|
345.
|
Protocols for authentication and key establishment
by Boyd, Colin | Mathuria, Anish. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.82 BOY] (2).
|
|
|
346.
|
Quantum hall effect
by Yoshioka, Daijiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 537.6226 YOS] (1).
|
|
|
347.
|
Combinatorial Optimization
by Korte, Bernhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.3 KOR] (1).
|
|
|
348.
|
Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings
by Naccache, David | Paillier,Pascal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
|
|
|
349.
|
Smart card application development using Java
by Hansmann, Uwe. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.73 HAN] (2).
|
|
|
350.
|
Advances in evolutionary computing: Theory and applications
by Ghosh, Ashish | Tsutsui, Shigeyoshi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.1 GHO] (1).
|
|
|
351.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
|
352.
|
Quantum transport in sub-micron devices : a theoretical introduction
by Magnus, W. C. J | Schoenmaker, W. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 530.416 MAG] (1).
|
|
|
353.
|
B2B Integration: Concepts and architecture
by Bussler, Christopher. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004.62 BUS] (1).
|
|
|
354.
|
Geometry
by Audin, Michele. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 516 AUD] (1).
|
|
|
355.
|
Algorithms on Trees and Graphs
by Valiente, Gabriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 VAL] (1).
|
|
|
356.
|
Planning support systems in practice
by Geertman, Stan | Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 333.730285 GEE] (1).
|
|
|
357.
|
Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings
by Horrocks, Ian | Hendler, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
|
|
|
358.
|
Probability essentials
by Jacod, Jean | Protter, Philip. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 519.2 JAC] (1).
|
|
|
359.
|
Screen design manual : communicating effectively through multimedia.
by Thissen, Frank | Thissen, Frank. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.437 THI] (1).
|
|
|
360.
|
Digital cities II: Computational and sociological approaches
by Tanabe, Makoto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 TAN] (1).
|
