Your search returned 405 results. Subscribe to this search

|
61. A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes.

by Parkes, Alan P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
62. Robust Intelligent Systems [electronic resource] / edited by Alfons Schuster.

by Schuster, Alfons | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
63. Computable Models [electronic resource] / by Raymond Turner.

by Turner, Raymond | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
64. Models of Computation [electronic resource] : An Introduction to Computability Theory / by Maribel Fernández.

by Fernández, Maribel | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
65. Elements of Computation Theory [electronic resource] / by Arindama Singh.

by Singh, Arindama | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
66. Game of Life Cellular Automata [electronic resource] / edited by Andrew Adamatzky.

by Adamatzky, Andrew | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
67. Dissemination of Information in Communication Networks [electronic resource] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovič, Ralf Klasing, Andrzej Pelc, Peter Ružička†, Walter Unger.

by Hromkovič, Juraj | Klasing, Ralf | Pelc, Andrzej | Ružička†, Peter | Unger, Walter | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
68. Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter.

by Hutter, Marcus | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
69. Theoretical and Experimental DNA Computation [electronic resource] / by Martyn Amos.

by Amos, Martyn | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
70. Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jörg Rothe.

by Rothe, Jörg | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
71. Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez.

by Ciobanu, Gabriel | Păun, Gheorghe | Pérez-Jiménez, Mario J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
72. Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe.

by Flum, Jörg | Grohe, Martin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
73. Nanotechnology: Science and Computation [electronic resource] / edited by Junghuei Chen, Nataša Jonoska, Grzegorz Rozenberg.

by Chen, Junghuei | Jonoska, Nataša | Rozenberg, Grzegorz | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
74. Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu.

by Zhang, Jun | He, Ji-Huan | Fu, Yuxi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
75. Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings / edited by Kim-Meow Liew, Hong Shen, Simon See, Wentong Cai, Pingzhi Fan, Susumu Horiguchi.

by Liew, Kim-Meow | Shen, Hong | See, Simon | Cai, Wentong | Fan, Pingzhi | Horiguchi, Susumu | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
76. Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings / edited by Michael J. Maher.

by Maher, Michael J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
77. SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] : 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings / edited by Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora.

by Vojtáš, Peter | Bieliková, Mária | Charron-Bost, Bernadette | Sýkora, Ondrej | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
78. Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.

by Ehrig, Hartmut | Ehrig, Karsten | Prange, Ulrike | Taentzer, Gabriele | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
79. Biologically Inspired Algorithms for Financial Modelling [electronic resource] / by Anthony Brabazon, Michael O’Neill.

by Brabazon, Anthony | O’Neill, Michael | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
80. Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau.

by Ciardo, Gianfranco | Darondeau, Philippe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available

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