Your search returned 87 results.

Results
	81.	CONCUR 2011 – Concurrency Theory [electronic resource] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König. by Katoen, Joost-Pieter König, Barbara SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6901 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	82.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch. by Berry, Daniel Franch, Xavier SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6606 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	83.	Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen. by Kuchen, Herbert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6816 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	84.	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 Gopalakrishnan, Ganesh Qadeer, Shaz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6806 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	85.	Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. by France, Robert B Kuester, Jochen M Bordbar, Behzad Paige, Richard F SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6698 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	86.	Recent Advances in Constraints [electronic resource] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers / edited by Javier Larrosa, Barry O’Sullivan. by Larrosa, Javier O’Sullivan, Barry SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6384 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	87.	Data structures, algorithms, and object-oriented programming / Gregory L. Heileman. by Heileman, Gregory L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill Companies, Inc., c1996 Availability: Items available for loan: KCA Kisumu Campus (3)Call number: QAQ76.9.D35 .H45 1996, ... Martin Oduor-Otieno Library (3)Call number: QAQ76.9.D35 .H45 1996, ... Not available: Martin Oduor-Otieno Library: Checked out (1). Place hold Add to cart (remove)

First
Previous
1
2
3
4
5

KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

0
1
2
3
4
5
6

Powered by Koha