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

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

	321.	The Universe as Automaton [electronic resource] : From Simplicity and Symmetry to Complexity / by Klaus Mainzer, Leon Chua. by Mainzer, Klaus [author.] \| Chua, Leon [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	322.	Boolean Function Complexity [electronic resource] : Advances and Frontiers / by Stasys Jukna. by Jukna, Stasys [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	323.	Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. by Dinneen, Michael J [editor.] \| Khoussainov, Bakhadyr [editor.] \| Nies, André [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	324.	Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers / edited by Dániel Marx, Peter Rossmanith. by Marx, Dániel [editor.] \| Rossmanith, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	325.	Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján Buša, Michal Hnatič. by Adam, Gheorghe [editor.] \| Buša, Ján [editor.] \| Hnatič, Michal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	326.	Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-Jörg Kreowski. by Mossakowski, Till [editor.] \| Kreowski, Hans-Jörg [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	327.	Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn. by Jensen, Kurt [editor.] \| Donatelli, Susanna [editor.] \| Kleijn, Jetty [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	328.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang. by Snoeyink, Jack [editor.] \| Lu, Pinyan [editor.] \| Su, Kaile [editor.] \| Wang, Lusheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	329.	Mathematics of Discrete Structures for Computer Science [electronic resource] / by Gordon J. Pace. by Pace, Gordon J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	330.	Theory and Applications of Models of Computation [electronic resource] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, S. Barry Cooper, Angsheng Li. by Agrawal, Manindra [editor.] \| Cooper, S. Barry [editor.] \| Li, Angsheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	331.	Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. by Bordihn, Henning [editor.] \| Kutrib, Martin [editor.] \| Truthe, Bianca [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	332.	Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. by Furia, Carlo A [author.] \| Mandrioli, Dino [author.] \| Morzenti, Angelo [author.] \| Rossi, Matteo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	333.	Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D’Souza. by Roychoudhury, Abhik [editor.] \| D’Souza, Meenakshi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	334.	Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. by Baeten, Jos C. M [editor.] \| Ball, Tom [editor.] \| Boer, Frank S [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	335.	The Complexity of Valued Constraint Satisfaction Problems [electronic resource] / by Stanislav Živný. by Živný, Stanislav [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	336.	Search Computing [electronic resource] : Broadening Web Search / 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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	337.	Emerging Research in Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao. by Lei, Jingsheng [editor.] \| Wang, Fu Lee [editor.] \| Deng, Hepu [editor.] \| Miao, Duoqian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	338.	Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai. by Li, Zhenhua [editor.] \| Li, Xiang [editor.] \| Liu, Yong [editor.] \| Cai, Zhihua [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	339.	Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers / edited by Jerome R. Busemeyer, François Dubois, Ariane Lambert-Mogiliansky, Massimo Melucci. by Busemeyer, Jerome R [editor.] \| Dubois, François [editor.] \| Lambert-Mogiliansky, Ariane [editor.] \| Melucci, Massimo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	340.	Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] \| Numao, Masayuki [editor.] \| Caro, Jaime [editor.] \| Suarez, Merlin Teodosia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan, 2012Online 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