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
10
11
12
13
14
15
16
17
18
19
20
21
Next »

« Previous
10
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

	361.	Search Computing [electronic resource] : Trends and Developments / 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, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	362.	Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui. by Ogihara, Mitsunori [editor.] \| Tarui, Jun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	363.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings / edited by Mikhail Atallah, Xiang-Yang Li, Binhai Zhu. by Atallah, Mikhail [editor.] \| Li, Xiang-Yang [editor.] \| Zhu, Binhai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	364.	Transactions on Rough Sets XIV [electronic resource] / edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu. by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Sakai, Hiroshi [editor.] \| Chakraborty, Mihir Kumar [editor.] \| Slezak, Dominik [editor.] \| Hassanien, Aboul Ella [editor.] \| Zhu, William [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	365.	Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S [author.] \| Vîţă, Luminiţa Simona [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	366.	Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. by Dolev, Shlomi [editor.] \| Oltean, Mihai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	367.	Perspectives on Soviet and Russian Computing [electronic resource] : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers / edited by John Impagliazzo, Eduard Proydakov. by Impagliazzo, John [editor.] \| Proydakov, Eduard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	368.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. by Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	369.	Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I / edited by Dehuai Zeng. by Zeng, Dehuai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	370.	Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II / edited by Dehuai Zeng. by Zeng, Dehuai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	371.	Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V / edited by Jun Zhang. by Zhang, Jun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	372.	Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV / edited by Jun Zhang. by Zhang, Jun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	373.	Applied Informatics and Communication [electronic resource] : International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III / edited by Jianwei Zhang. by Zhang, Jianwei [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	374.	Universal Semantic Communication [electronic resource] / by Brendan Juba. by Juba, Brendan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	375.	Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Ditmarsch, Hans [editor.] \| Lang, Jérôme [editor.] \| Ju, Shier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	376.	Mobility in Process Calculi and Natural Computing [electronic resource] / by Bogdan Aman, Gabriel Ciobanu. by Aman, Bogdan [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	377.	Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat. by Song, Dawei [editor.] \| Melucci, Massimo [editor.] \| Frommholz, Ingo [editor.] \| Zhang, Peng [editor.] \| Wang, Lei [editor.] \| Arafat, Sachi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	378.	Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II / edited by Chunfeng Liu, Jincai Chang, Aimin Yang. by Liu, Chunfeng [editor.] \| Chang, Jincai [editor.] \| Yang, Aimin [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	379.	Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I / edited by Chunfeng Liu, Jincai Chang, Aimin Yang. by Liu, Chunfeng [editor.] \| Chang, Jincai [editor.] \| Yang, Aimin [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	380.	Algorithmic Randomness and Complexity [electronic resource] / by Rodney G. Downey, Denis R. Hirschfeldt. by Downey, Rodney G [author.] \| Hirschfeldt, Denis R [author.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 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