Library Services | Technical University of Kenya catalog › Results of search for 'su:{Theory of Computation.}'

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

Your search returned 405 results.

« Previous
11
12
13
14
15
16
17
18
19
20
21
Next »

« Previous
11
12
13
14
15
16
17
18
19
20
21
Next »

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

	381.	Genetic Programming Theory and Practice VII [electronic resource] / edited by Rick Riolo, Una-May O'Reilly, Trent McConaghy. by Riolo, Rick [editor.] \| O'Reilly, Una-May [editor.] \| McConaghy, Trent [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	382.	The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton. by Lipton, Richard J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	383.	Game of Life Cellular Automata [electronic resource] / edited by Andrew Adamatzky. by Adamatzky, Andrew [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	384.	Cognitive Reasoning [electronic resource] : A Formal Approach / by Tamás Gergely, Oleg M. Anshakov. by Gergely, Tamás [author.] \| Anshakov, Oleg M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	385.	Transactions on Rough Sets XI [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	386.	High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings / edited by Yanwen Wu, Qi Luo. by Wu, Yanwen [editor.] \| Luo, Qi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	387.	Human Benefit through the Diffusion of Information Systems Design Science Research [electronic resource] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings / edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross. by Pries-Heje, Jan [editor.] \| Venable, John [editor.] \| Bunker, Deborah [editor.] \| Russo, Nancy L [editor.] \| DeGross, Janice I [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	388.	Search Computing [electronic resource] : Challenges and Directions / edited by Stefano Ceri, Marco Brambilla. by Ceri, Stefano [editor.] \| Brambilla, Marco [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	389.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. by Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	390.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. by Hsu, Ching-Hsien [editor.] \| Yang, Laurence T [editor.] \| Park, Jong Hyuk [editor.] \| Yeo, Sang-Soo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	391.	Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman. by Kratochvíl, Jan [editor.] \| Li, Angsheng [editor.] \| Fiala, Jiří [editor.] \| Kolman, Petr [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	392.	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. by Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	393.	The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. by Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	394.	Transactions on Rough Sets XII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Roman Słowiński, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto. by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Słowiński, Roman [editor.] \| Lingras, Pawan [editor.] \| Miao, Duoqian [editor.] \| Tsumoto, Shusaku [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	395.	Frontiers in Algorithmics [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings / edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying. by Lee, Der-Tsai [editor.] \| Chen, Danny Z [editor.] \| Ying, Shi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	396.	Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. by Bonanno, Giacomo [editor.] \| Löwe, Benedikt [editor.] \| Hoek, Wiebe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	397.	Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. by Fukuda, Komei [editor.] \| Hoeven, Joris van der [editor.] \| Joswig, Michael [editor.] \| Takayama, Nobuki [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	398.	Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	399.	Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	400.	Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics