The KCAU Library

Menu

Your search returned 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / by Christian Herde. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
2.
Analysis and Correctness of Algebraic Graph and Model Transformations [electronic resource] / by Ulrike Golas. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
3.
Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction [electronic resource] / by Holger Scherl. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
4.
An Innovative 3D-CFD-Approach towards Virtual Development of Internal Combustion Engines [electronic resource] / by Marco Chiodi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
5.
Radio Access Network Dimensioning for 3G UMTS [electronic resource] / by Xi Li. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
6.
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control [electronic resource] / by Christian Kirches. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
7.
Efficient Usage of Adabas Replication [electronic resource] : A Practical Solution Finder / by Dieter W. Storr. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011
In: Springer eBooks
Online access:
Availability: No items available.
Add to cart
Pages
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

Powered by Koha