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
1
2
3
4
5
6
7
8
9
10
Next »

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

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

	161.	Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier \| Heljanko, Keijo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	162.	SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings / edited by Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková. by Geffert, Viliam \| Karhumäki, Juhani \| Bertoni, Alberto \| Preneel, Bart \| Návrat, Pavol \| Bieliková, Mária \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	163.	Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich. by Avron, Arnon \| Dershowitz, Nachum \| Rabinovich, Alexander \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	164.	Euro-Par 2007 Workshops: Parallel Processing [electronic resource] : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / edited by Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs. by Bougé, Luc \| Forsell, Martti \| Träff, Jesper Larsson \| Streit, Achim \| Ziegler, Wolfgang \| Alexander, Michael \| Childs, Stephen \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	165.	Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. by Agrawal, Manindra \| Du, Dingzhu \| Duan, Zhenhua \| Li, Angsheng \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	166.	Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Gavrilova, Marina L \| Tan, C. J. Kenneth \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	167.	Computer Science – Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings / edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko. by Hirsch, Edward A \| Razborov, Alexander A \| Semenov, Alexei \| Slissenko, Anatol \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	168.	CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / edited by Franck Breugel, Marsha Chechik. by Breugel, Franck \| Chechik, Marsha \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	169.	Euro-Par 2008 – Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / edited by Emilio Luque, Tomàs Margalef, Domingo Benítez. by Luque, Emilio \| Margalef, Tomàs \| Benítez, Domingo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	170.	Optical SuperComputing [electronic resource] : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings / edited by Shlomi Dolev, Tobias Haist, Mihai Oltean. by Dolev, Shlomi \| Haist, Tobias \| Oltean, Mihai \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	171.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S \| Haxthausen, Anne E \| Yenigun, Husnu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	172.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Cassez, Franck \| Jard, Claude \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	173.	Algorithmic Adventures [electronic resource] : From Knowledge to Magic / by Juraj Hromkovic. by Hromkovic, Juraj \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	174.	Transactions on Computational Science II [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang. by Gavrilova, Marina L \| Tan, C. J. Kenneth \| Wang, Yingxu \| Yao, Yiyu \| Wang, Guoyin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	175.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. by Horváth, Zoltán \| Plasmeijer, Rinus \| Soós, Anna \| Zsók, Viktória \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	176.	Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / edited by Carlos Martín-Vide, Friedrich Otto, Henning Fernau. by Martín-Vide, Carlos \| Otto, Friedrich \| Fernau, Henning \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	177.	Post-Quantum Cryptography [electronic resource] / edited by Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen. by Bernstein, Daniel J \| Buchmann, Johannes \| Dahmen, Erik \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	178.	Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Baek, Joonsang \| Bao, Feng \| Chen, Kefei \| Lai, Xuejia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	179.	Algorithmic Bioprocesses [electronic resource] / edited by Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree. by Condon, Anne \| Harel, David \| Kok, Joost N \| Salomaa, Arto \| Winfree, Erik \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	180.	Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers / edited by Yasuhito Kawano, Michele Mosca. by Kawano, Yasuhito \| Mosca, Michele \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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