The KCAU Library

Your search returned 434 results.

Sort
Results
81.
82.
83.
84.
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.
85.
86.
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.
87.
88.
89.
90.
91.
92.
93.
94.
95.
96.
97.
98.
99.
100.
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links