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

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

Your search returned 1131 results.

« Previous
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
Next »

« Previous
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
Next »

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

	961.	Integrated Computing Technology [electronic resource] : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 – June 2, 2011. Proceedings / edited by Estevam Rafael Hruschka, Junzo Watada, Maria Carmo Nicoletti. by Hruschka, Estevam Rafael [editor.] \| Watada, Junzo [editor.] \| Carmo Nicoletti, Maria [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)
	962.	Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel. by Bouchou-Markhoff, Béatrice [editor.] \| Caron, Pascal [editor.] \| Champarnaud, Jean-Marc [editor.] \| Maurel, Denis [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)
	963.	Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. by Mauri, Giancarlo [editor.] \| Leporati, Alberto [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)
	964.	Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / edited by Pietro Liò, Giuseppe Nicosia, Thomas Stibor. by Liò, Pietro [editor.] \| Nicosia, Giuseppe [editor.] \| Stibor, Thomas [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)
	965.	Advances in Information Technology and Education [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I / edited by Honghua Tan, Mark Zhou. by Tan, Honghua [editor.] \| Zhou, Mark [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)
	966.	Advances in Computer Science and Education Applications [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II / edited by Mark Zhou, Honghua Tan. by Zhou, Mark [editor.] \| Tan, Honghua [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)
	967.	A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto. by Hartanto, Ronny [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)
	968.	Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. by Holzer, Markus [editor.] \| Kutrib, Martin [editor.] \| Pighizzini, Giovanni [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)
	969.	Contemporary Computing [electronic resource] : 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings / edited by Srinivas Aluru, Sanghamitra Bandyopadhyay, Umit V. Catalyurek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt. by Aluru, Srinivas [editor.] \| Bandyopadhyay, Sanghamitra [editor.] \| Catalyurek, Umit V [editor.] \| Dubhashi, Devdatt P [editor.] \| Jones, Phillip H [editor.] \| Parashar, Manish [editor.] \| Schmidt, Bertil [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, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	970.	Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [electronic resource] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich. by Goldreich, Oded [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)
	971.	Computing and Combinatorics [electronic resource] : 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings / edited by Bin Fu, Ding-Zhu Du. by Fu, Bin [editor.] \| Du, Ding-Zhu [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)
	972.	Hybrid Learning [electronic resource] : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings / edited by Reggie Kwan, Joseph Fong, Lam-for Kwok, Jeanne Lam. by Kwan, Reggie [editor.] \| Fong, Joseph [editor.] \| Kwok, Lam-for [editor.] \| Lam, Jeanne [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)
	973.	Advances in Bioinformatics and Computational Biology [electronic resource] : 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011. Proceedings / edited by Osmar Norberto de Souza, Guilherme P. Telles, Mathew Palakal. by Norberto de Souza, Osmar [editor.] \| Telles, Guilherme P [editor.] \| Palakal, Mathew [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)
	974.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings / edited by Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D. P. Rolim. by Goldberg, Leslie Ann [editor.] \| Jansen, Klaus [editor.] \| Ravi, R [editor.] \| Rolim, José D. P [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)
	975.	Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. by Corradini, Andrea [editor.] \| Klin, Bartek [editor.] \| Cîrstea, Corina [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)
	976.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle. by Owe, Olaf [editor.] \| Steffen, Martin [editor.] \| Telle, Jan Arne [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)
	977.	Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. by Murlak, Filip [editor.] \| Sankowski, Piotr [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)
	978.	Algorithms in Bioinformatics [electronic resource] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings / edited by Teresa M. Przytycka, Marie-France Sagot. by Przytycka, Teresa M [editor.] \| Sagot, Marie-France [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)
	979.	Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. by Cerone, Antonio [editor.] \| Pihlajasaari, Pekka [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)
	980.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman. by Jeannot, Emmanuel [editor.] \| Namyst, Raymond [editor.] \| Roman, Jean [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics