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

Your search returned 1131 results.

« Previous
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
Next »

	801.	Wireless Internet [electronic resource] : 6th International ICST Conference, WICON 2011, Xi’an, China, October 19-21, 2011, Revised Selected Papers / edited by Pinyi Ren, Chao Zhang, Xin Liu, Pei Liu, Song Ci. by Ren, Pinyi [editor.] \| Zhang, Chao [editor.] \| Liu, Xin [editor.] \| Liu, Pei [editor.] \| Ci, Song [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)
	802.	Computer Science – Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / edited by Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii. by Hirsch, Edward A [editor.] \| Karhumäki, Juhani [editor.] \| Lepistö, Arto [editor.] \| Prilutskii, Michail [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)
	803.	Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / edited by Maritta Heisel. by Heisel, Maritta [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)
	804.	How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry [editor.] \| Dawar, Anuj [editor.] \| Löwe, Benedikt [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)
	805.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John [editor.] \| Fitzgerald, John [editor.] \| Gnesi, Stefania [editor.] \| Khurshid, Sarfraz [editor.] \| Leuschel, Michael [editor.] \| Reeves, Steve [editor.] \| Riccobene, Elvinia [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)
	806.	The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx. by Bodlaender, Hans L [editor.] \| Downey, Rod [editor.] \| Fomin, Fedor V [editor.] \| Marx, Dániel [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)
	807.	OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro. by Chapman, Barbara M [editor.] \| Massaioli, Federico [editor.] \| Müller, Matthias S [editor.] \| Rorro, Marco [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)
	808.	Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Zhen Ji. by Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Ji, Zhen [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)
	809.	Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Zhen Ji. by Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Ji, Zhen [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)
	810.	Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge [editor.] \| Pomello, Lucia [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)
	811.	Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou. by Wang, Jun [editor.] \| Yen, Gary G [editor.] \| Polycarpou, Marios M [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)
	812.	Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou. by Wang, Jun [editor.] \| Yen, Gary G [editor.] \| Polycarpou, Marios M [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)
	813.	Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / edited by Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure. by Prescott, Tony J [editor.] \| Lepora, Nathan F [editor.] \| Mura, Anna [editor.] \| Verschure, Paul F. M. J [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)
	814.	Advances in Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang. by Zhang, Huaguang [editor.] \| Hussain, Amir [editor.] \| Liu, Derong [editor.] \| Wang, Zhanshan [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)
	815.	Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] \| Mehlhorn, Kurt [editor.] \| Pitts, Andrew [editor.] \| Wattenhofer, Roger [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)
	816.	Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa. by Huang, De-Shuang [editor.] \| Jiang, Changjun [editor.] \| Bevilacqua, Vitoantonio [editor.] \| Figueroa, Juan Carlos [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)
	817.	Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] \| Mehlhorn, Kurt [editor.] \| Pitts, Andrew [editor.] \| Wattenhofer, Roger [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)
	818.	Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / edited by Nelma Moreira, Rogério Reis. by Moreira, Nelma [editor.] \| Reis, Rogério [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)
	819.	Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani. by Cimatti, Alessandro [editor.] \| Sebastiani, Roberto [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)
	820.	Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis. by Kutrib, Martin [editor.] \| Moreira, Nelma [editor.] \| Reis, Rogério [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)

« Previous
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
Next »

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

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics