The KCAU Library

Refine your search

Your search returned 1006 results.

Sort
Results
161.
Trusted Systems [electronic resource] : Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers / edited by Liqun Chen, Moti Yung. by Series: Lecture Notes in Computer Science ; 6802
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
162.
163.
164.
165.
166.
167.
Discrete Dynamical Systems [electronic resource] / by Oded Galor. by
Edition: 1.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
168.
169.
170.
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. by Series: Lecture Notes in Computer Science ; 6823
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
171.
172.
173.
Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Series: Lecture Notes in Computer Science ; 6858
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
174.
175.
176.
177.
178.
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Series: Lecture Notes in Computer Science ; 7019
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
179.
Non-State Regulatory Regimes [electronic resource] : Understanding Institutional Transformation / by Myriam Senn. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
In: Springer eBooks
Online resources:
Availability: No items available.
180.
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links