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

« Previous
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Next »

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

	201.	Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings / edited by Kenjiro Cho, Philippe Jacquet. by Cho, Kenjiro \| Jacquet, Philippe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	202.	AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings / edited by Abdul Sattar, Byeong-ho Kang. by Sattar, Abdul \| Kang, Byeong-ho \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	203.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Datta, Ajoy K \| Gradinariu, Maria \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	204.	FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg. by Arun-Kumar, S \| Garg, Naveen \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	205.	High Performance Computing - HiPC 2006 [electronic resource] : 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings / edited by Yves Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna. by Robert, Yves \| Parashar, Manish \| Badrinath, Ramamurthy \| Prasanna, Viktor K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	206.	Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / edited by Aijun An, Stan Matwin, Zbigniew W. Raś, Dominik Ślęzak. by An, Aijun \| Matwin, Stan \| Raś, Zbigniew W \| Ślęzak, Dominik \| 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)
	207.	Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by Lea, Doug \| Zavattaro, Gianluigi \| 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)
	208.	Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / edited by Jasmin Fisher. by Fisher, Jasmin \| 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)
	209.	DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / edited by Chengde Mao, Takashi Yokomori. by Mao, Chengde \| Yokomori, Takashi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	210.	Artificial General Intelligence [electronic resource] / edited by Ben Goertzel, Cassio Pennachin. by Goertzel, Ben \| Pennachin, Cassio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	211.	Modeling Decisions [electronic resource] : Information Fusion and Aggregation Operators / by Vicenç Torra, Yasuo Narukawa. by Torra, Vicenç \| Narukawa, Yasuo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	212.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich \| Kolaitis, Phokion G \| Libkin, Leonid \| Marx, Maarten \| Spencer, Joel \| Vardi, Moshe Y \| Venema, Yde \| Weinstein, Scott \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	213.	New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings / edited by Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali. by Nguyen, Ngoc Thanh \| Borzemski, Leszek \| Grzech, Adam \| Ali, Moonis \| 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)
	214.	Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Hoogeboom, Hendrik Jan \| Păun, Gheorghe \| Rozenberg, Grzegorz \| Salomaa, Arto \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	215.	From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / edited by Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani. by Asada, Minoru \| Hallam, John C. T \| Meyer, Jean-Arcady \| Tani, Jun \| 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)
	216.	Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa. by Ishikawa, Masumi \| Doya, Kenji \| Miyamoto, Hiroyuki \| Yamakawa, Takeshi \| 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)
	217.	Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa. by Ishikawa, Masumi \| Doya, Kenji \| Miyamoto, Hiroyuki \| Yamakawa, Takeshi \| 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)
	218.	Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu. by Schwentick, Thomas \| Suciu, Dan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	219.	Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan. by Ayguadé, Eduard \| Baumgartner, Gerald \| Ramanujam, J \| Sadayappan, P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	220.	Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / edited by Anu G. Bourgeois, S. Q. Zheng. by Bourgeois, Anu G \| Zheng, S. Q \| 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