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

Your search returned 1131 results.

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

	821.	Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. by Bordihn, Henning [editor.] \| Kutrib, Martin [editor.] \| Truthe, Bianca [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)
	822.	Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / edited by Hsu-Chun Yen, Oscar H. Ibarra. by Yen, Hsu-Chun [editor.] \| Ibarra, Oscar H [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)
	823.	Advances on Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	824.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	825.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	826.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	827.	Emerging Intelligent Computing Technology and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne. by Huang, De-Shuang [editor.] \| Gupta, Phalguni [editor.] \| Zhang, Xiang [editor.] \| Premaratne, Prashan [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)
	828.	Advances in Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / edited by H. Jaap Herik, Aske Plaat. by Herik, H. Jaap [editor.] \| Plaat, Aske [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)
	829.	Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / edited by Marcilio C. Souto, Maricel G. Kann. by Souto, Marcilio C [editor.] \| Kann, Maricel G [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)
	830.	Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi. by Muggleton, Stephen H [editor.] \| Tamaddoni-Nezhad, Alireza [editor.] \| Lisi, Francesca A [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)
	831.	Contemporary Computing [electronic resource] : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings / edited by Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Zomaya. by Parashar, Manish [editor.] \| Kaushik, Dinesh [editor.] \| Rana, Omer F [editor.] \| Samtaney, Ravi [editor.] \| Yang, Yuanyuan [editor.] \| Zomaya, Albert [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)
	832.	DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings / edited by Darko Stefanovic, Andrew Turberfield. by Stefanovic, Darko [editor.] \| Turberfield, Andrew [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)
	833.	Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / edited by Joachim Gudmundsson, Julián Mestre, Taso Viglas. by Gudmundsson, Joachim [editor.] \| Mestre, Julián [editor.] \| Viglas, Taso [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)
	834.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty. by Beringer, Lennart [editor.] \| Felty, Amy [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)
	835.	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. by Stoelinga, Mariëlle [editor.] \| Pinger, Ralf [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)
	836.	Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. by Peña, Ricardo [editor.] \| Eekelen, Marko [editor.] \| Shkaravska, Olha [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)
	837.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / edited by Anupam Gupta, Klaus Jansen, José Rolim, Rocco Servedio. by Gupta, Anupam [editor.] \| Jansen, Klaus [editor.] \| Rolim, José [editor.] \| Servedio, Rocco [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)
	838.	Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. by Ong, Luke [editor.] \| Queiroz, Ruy [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)
	839.	Intelligent Data Engineering and Automated Learning - IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings / edited by Hujun Yin, José A. F. Costa, Guilherme Barreto. by Yin, Hujun [editor.] \| Costa, José A. F [editor.] \| Barreto, Guilherme [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)
	840.	Swarm Intelligence [electronic resource] : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries P. Engelbrecht, Roderich Groß, Thomas Stützle. by Dorigo, Marco [editor.] \| Birattari, Mauro [editor.] \| Blum, Christian [editor.] \| Christensen, Anders Lyhne [editor.] \| Engelbrecht, Andries P [editor.] \| Groß, Roderich [editor.] \| Stützle, Thomas [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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
Next »

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics