Library Services | Technical University of Kenya catalog › Results of search for 'su:{computer science}'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 13655 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	12241.	Social Understanding [electronic resource] : On Hermeneutics, Geometrical Models and Artificial Intelligence / by Jürgen Klüver, Christina Klüver. by Klüver, Jürgen [author.] \| Klüver, Christina [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12242.	Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel. by Lokuciejewski, Paul [author.] \| Marwedel, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12243.	Algorithm-Architecture Matching for Signal and Image Processing [electronic resource] : Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 / edited by Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan. by Gogniat, Guy [editor.] \| Milojevic, Dragomir [editor.] \| Morawiec, Adam [editor.] \| Erdogan, Ahmet [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12244.	Science between Europe and Asia [electronic resource] : Historical Studies on the Transmission, Adoption and Adaptation of Knowledge / edited by Feza Günergun, Dhruv Raina. by Günergun, Feza [editor.] \| Raina, Dhruv [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12245.	Recent Advances in Computational and Applied Mathematics [electronic resource] / edited by Theodore E. Simos. by Simos, Theodore E [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12246.	Computational Methods in Stochastic Dynamics [electronic resource] / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos. by Papadrakakis, Manolis [editor.] \| Stefanou, George [editor.] \| Papadopoulos, Vissarion [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12247.	Innovating Government [electronic resource] : Normative, Policy and Technological Dimensions of Modern Government / edited by Simone van der Hof, Marga M. Groothuis. by van der Hof, Simone [editor.] \| Groothuis, Marga M [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: The Hague, The Netherlands : T. M. C. Asser Press, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12248.	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12249.	Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. by Orlowska, Ewa [author.] \| Golińska Pilarek, Joanna [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12250.	Probabilistic Logics and Probabilistic Networks [electronic resource] / by Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler, Jon Williamson. by Haenni, Rolf [author.] \| Romeijn, Jan-Willem [author.] \| Wheeler, Gregory [author.] \| Williamson, Jon [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12251.	Computational Vision and Medical Image Processing [electronic resource] : Recent Trends / edited by João Manuel R. S. Tavares, R. M. Natal Jorge. by Tavares, João Manuel R. S [editor.] \| Jorge, R. M. Natal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12252.	Computational Methods in Earthquake Engineering [electronic resource] / edited by Manolis Papadrakakis, Michalis Fragiadakis, Nikos D. Lagaros. by Papadrakakis, Manolis [editor.] \| Fragiadakis, Michalis [editor.] \| Lagaros, Nikos D [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12253.	Dynamic Formal Epistemology [electronic resource] / edited by Patrick Girard, Olivier Roy, Mathieu Marion. by Girard, Patrick [editor.] \| Roy, Olivier [editor.] \| Marion, Mathieu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12254.	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan [editor.] \| Gupta, Amitabha [editor.] \| Parikh, Rohit [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12255.	Syntax-Based Collocation Extraction [electronic resource] / by Violeta Seretan. by Seretan, Violeta [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12256.	Earthquake Data in Engineering Seismology [electronic resource] : Predictive Models, Data Management and Networks / edited by Sinan Akkar, Polat Gülkan, Torild van Eck. by Akkar, Sinan [editor.] \| Gülkan, Polat [editor.] \| van Eck, Torild [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12257.	Quality and Reliability of Large-Eddy Simulations II [electronic resource] / edited by Maria Vittoria Salvetti, Bernard Geurts, Johan Meyers, Pierre Sagaut. by Salvetti, Maria Vittoria [editor.] \| Geurts, Bernard [editor.] \| Meyers, Johan [editor.] \| Sagaut, Pierre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12258.	Computational Modelling and Advanced Simulations [electronic resource] / edited by Justín Murín, Vladimír Kompiš, Vladimír Kutiš. by Murín, Justín [editor.] \| Kompiš, Vladimír [editor.] \| Kutiš, Vladimír [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12259.	Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. by Leitsch, Alexander [author.] \| Baaz, Matthias [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	12260.	Handbook of Philosophical Logic [electronic resource] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner. by Gabbay, Dov M [editor.] \| Guenthner, Franz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles