|
|
2501.
|
Partial inner product spaces : theory and applications
by Antoine, Jean Pierre | Trapani, Camillo. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 515.733 ANT] (1).
|
|
|
2502.
|
Applied probability and stochastic processes
by Feldman, Richard M | Valdez-flores, Ciriaco. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 519.521 FEL] (1).
|
|
|
2503.
|
Grid and Cloud Computing
by Stanoevska-Slabeva, Katarina | Ristol, Santi | Wozniak, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004.3602465 STA] (1).
|
|
|
2504.
|
iNetSec 2009 - open research problems in network security : IFIP wg 11.4 international workshop, zurich, switzerland, april 23-24, 2009, revised selected papers.
by Camenisch, Jan | Camenisch, Jan | Dogan, Kesdogan | Kesdogan, Dogan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 005.8 CAM] (1).
|
|
|
2505.
|
Quantum computation and information : from theory to experiment
by Imai, Hiroshi | Hayashi, Masahito. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004.1 IMA] (1).
|
|
|
2506.
|
Effective computational geometry for curves and surfaces
by Boissonnat, Jean-Daniel | Teillaud, Monique. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 516.36 BOI] (1).
|
|
|
2507.
|
Systems and software verification : model-checking techniques and tools
by Berard, Beatrice. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 005.14 BER] (1).
|
|
|
2508.
|
Numerical solution of stochastic differential equations
by Platen, Eckhard | Kloeden, Eckhard Platen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 519.2 KLO] (1).
|
|
|
2509.
|
Completeness and reduction in algebraic complexity theory
by Burgisser, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 511.352 BUR] (1).
|
|
|
2510.
|
Color image processing and applications
by Plataniotis, Konstantinos N | Venetsanopoulos, Anastasios N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2000Availability: Items available for loan: [Call number: 621.367 PLA] (1).
|
|
|
2511.
|
Introduction to Riemann surfaces, algebraic curves, and moduli spaces
by Schlichenmaier, Martin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 515.93 SCH] (1).
|
|
|
2512.
|
Tools and applications with artificial intelligence
by Koutsojannis, Constantinos | Sirmakessis, Spiros. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.3 KOU] (1).
|
|
|
2513.
|
Visualization and processing of tensor fields : advances and perspectives
by Laidlaw, David | Weickert, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 515.63 LAI] (1).
|
|
|
2514.
|
Scanning probe microscopy in nanoscience and nanotechnology. Volume 2
by Bhushan, Bharat. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 620.11299 BHU] (1).
|
|
|
2515.
|
Valuation in life sciences : a practical guide
by Bogdan, Boris | Villiger, Ralph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 338.4361519 BOG] (1).
|
|
|
2516.
|
Theoretical computer sciences
by Preparata, Franco P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 004.35 PRE] (1).
|
|
|
2517.
|
Stochastic models for fault tolerance : restart, rejuvenation and checkpointing
by Wolter, Katinka. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Heidelberg: Springer, 2010Availability: Items available for loan: [Call number: 004.2 WOL] (1).
|
|
|
2518.
|
Ad hoc networks
by Zheng, Jun. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 ZHE] (1).
|
|
|
2519.
|
Trends in nanophysics : theory, experiment and technology
by Aldea, Alexandru | Barsan, Victor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 620.5 ALD] (1).
|
|
|
2520.
|
Advances in intelligent information and database systems
by Nguyen, Ngoc Thanh | Chen, Shyi-Ming | Katarzyniak, Radoslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 006.312 NGU] (1).
|
