|
881.
|
Introduction to Formal Hardware Verification
by Kropf, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
|
|
882.
|
Logic programming paradigm : a 25-year perspective
by Apt, Krzysztof R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1).
|
|
883.
|
Object-process methodology : a holistic system paradigm
by Dori, Dov. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.117 DOR] (2).
|
|
884.
|
Object-process methodology : a holistic systems paradigm
by Dori, Dov. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.117 DOR] (2).
|
|
885.
|
State of the art in applied cryptography : course on computer security and industrial cryptography leuven, Belgium, June 3-6, 1997
by Preneel, Bart | Preneel, Bart | Rijmen, Vincent | Rijmen, Vincent. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 004 PRE] (1).
|
|
886.
|
Audio system for technical readings
by Raman, T. V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 004 RAM] (1).
|
|
887.
|
Software Process
by Derniame, Jean-Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 DER] (1).
|
|
888.
|
Software Agents for Future Communication Systems
by Hayzelden, Alex L. G | Bigham, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.382 HAY] (1).
|
|
889.
|
Computational Geometry
by Berg, Mark de | Kreveld, Marc van | Overmars, Mark | Schwarzkopf, Otfried. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 512.75 BER] (1).
|
|
890.
|
Public key cryptography: Second international workshop on practice and theory in public key cryptography, PKC'99 Kamakura, Japan 1-3, 1999
by Imai, Hideki | Zheng, Yuliang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 IMA] (1).
|
|
891.
|
Advanced Multimedia Content Processing
by Nishio, Shojiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 NIS] (1).
|
|
892.
|
Theoretical and experimental DNA computation
by Amos, Martyn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 572.86330285 AMO] (1).
|
|
893.
|
Intelligent data analysis : an introduction
by Berthold, Michael R | Berthold, Michael R | Hand, David J | Hand, David J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 519.5 BER] (1).
|
|
894.
|
Multimedia Cartography
by Peterson, Michael P | Cartwright, William | Gartner, Georg. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.7 CAR] (4).
|
|
895.
|
Methodologies for Knowledge Discovery and Data Mining
by Zhong, Ning. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.3 ZHO] (1).
|
|
896.
|
Conceptual modeling : current issues and future directions
by Chen, Peter P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 004 CHE] (1).
|
|
897.
|
Knowledge Acquisition
by Fensel, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.3 FEN] (1).
|
|
898.
|
How to Solve It: Modern Heuristics
by Michalewicz, Zbigniew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 153.43 MIC] (1).
|
|
899.
|
Visual information and information systems : Third International Conference, VISUAL '99, Amsterdam, The Netherlands, June 2-4, 1999 : proceedings
by Huijsmans, Dionysius P | Huijsmans, Dionysius P | Smeulders, Arnold W. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York Springer 1999Availability: Items available for loan: [Call number: 004 HUI] (1).
|
|
900.
|
Multimedia applications, services and techniques, ECMAST '99 : 4th European Conference, Madrid, Spain, May 26-28, 1999 : proceedings
by Narciso Gacia | Leopold, Helmut. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 LEO] (1).
|