The KCAU Library

Refine your search

Your search returned 920 results.

Sort
Results
881.
882.
883.
884.
885.
886.
887.
888.
889.
890.
Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. by Series: Lecture Notes in Computer Science ; 6795
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.
891.
892.
Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers / edited by Luo Qi. by Series: Communications in Computer and Information Science ; 86
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.
893.
Design of Modern Heuristics [electronic resource] : Principles and Application / by Franz Rothlauf. by Series: Natural Computing Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
In: Springer eBooks
Availability: No items available.
894.
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
Availability: No items available.
895.
896.
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by Series: Lecture Notes in Computer Science ; 6806
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.
897.
Multiparadigm Constraint Programming Languages [electronic resource] / by Petra Hofstedt. by Series: Cognitive Technologies
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
In: Springer eBooks
Availability: No items available.
898.
899.
Cloud Computing for Enterprise Architectures [electronic resource] / edited by Zaigham Mahmood, Richard Hill. by Series: Computer Communications and Networks
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2011
In: Springer eBooks
Availability: No items available.
900.
Pages
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

Powered by Koha