The KCAU Library

Your search returned 569 results.

Sort
Results
101.
102.
103.
104.
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
Availability: No items available.
105.
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
Availability: No items available.
106.
107.
108.
109.
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
Availability: No items available.
110.
111.
Transactions on Computational Collective Intelligence III [electronic resource] / edited by Ngoc Thanh Nguyen. by Series: Lecture Notes in Computer Science ; 6560
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In: Springer eBooks
Availability: No items available.
112.
113.
114.
115.
116.
117.
118.
119.
120.
Pages
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

Powered by Koha