The KCAU Library

Your search returned 119 results.

Sort
Results
101.
102.
103.
104.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff. by Series: Lecture Notes in Computer Science ; 6706
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.
105.
106.
107.
108.
109.
110.
111.
112.
113.
114.
115.
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen. by Series: Lecture Notes in Computer Science ; 6816
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.
116.
117.
118.
119.
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links