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

« Previous
5
6
7
8
9
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

	261.	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 \| Proydakov, Eduard \| 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)
	262.	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 \| Kornai, András \| Kracht, Marcus \| Seki, Hiroyuki \| 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)
	263.	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 \| 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)
	264.	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 \| 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)
	265.	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 \| 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)
	266.	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 \| 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)
	267.	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 \| 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)
	268.	Universal Semantic Communication [electronic resource] / by Brendan Juba. by Juba, Brendan \| 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)
	269.	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 \| Lang, Jérôme \| Ju, Shier \| 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)
	270.	Mobility in Process Calculi and Natural Computing [electronic resource] / by Bogdan Aman, Gabriel Ciobanu. by Aman, Bogdan \| Ciobanu, Gabriel \| 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)
	271.	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 \| Melucci, Massimo \| Frommholz, Ingo \| Zhang, Peng \| Wang, Lei \| Arafat, Sachi \| 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)
	272.	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 \| Chang, Jincai \| Yang, Aimin \| 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)
	273.	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 \| Chang, Jincai \| Yang, Aimin \| 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)
	274.	Contemporary Cryptology [electronic resource] / by Dario Catalano, Ronald Cramer, Giovanni Crescenzo, Ivan Darmgård, David Pointcheval, Tsuyoshi Takagi. by Catalano, Dario \| Cramer, Ronald \| Crescenzo, Giovanni \| Darmgård, Ivan \| Pointcheval, David \| Takagi, Tsuyoshi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	275.	Natural Computing [electronic resource] : 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings / edited by F. Peper, H. Umeo, N. Matsui, T. Isokawa. by Peper, F \| Umeo, H \| Matsui, N \| Isokawa, T \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	276.	Natural Computing [electronic resource] : 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings / edited by Y. Suzuki, M. Hagiya, H. Umeo, A. Adamatzky. by Suzuki, Y \| Hagiya, M \| Umeo, H \| Adamatzky, A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	277.	Algoritmi [electronic resource] : Lo spirito dell’informatica / by David Harel, Yishai Feldman. by Harel, David \| Feldman, Yishai \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	278.	Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi. by Lupacchini, Rossella \| Corsi, Giovanna \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	279.	Memristor Networks [electronic resource] / edited by Andrew Adamatzky, Leon Chua. by Adamatzky, Andrew [editor.] \| Chua, Leon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	280.	Pairing-Based Cryptography – Pairing 2013 [electronic resource] : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / edited by Zhenfu Cao, Fangguo Zhang. by Cao, Zhenfu [editor.] \| Zhang, Fangguo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online 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