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

Your search returned 1131 results.

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

	841.	Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers / edited by Andrew M. Dienstfrey, Ronald F. Boisvert. by Dienstfrey, Andrew M [editor.] \| Boisvert, Ronald F [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)
	842.	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry. by Giannakopoulou, Dimitra [editor.] \| Méry, Dominique [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)
	843.	Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder. by Pattinson, Dirk [editor.] \| Schröder, Lutz [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)
	844.	Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings / edited by Jérôme Durand-Lose, Nataša Jonoska. by Durand-Lose, Jérôme [editor.] \| Jonoska, Nataš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)
	845.	Engineering Applications of Neural Networks [electronic resource] : 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. Proceedings / edited by Chrisina Jayne, Shigang Yue, Lazaros Iliadis. by Jayne, Chrisina [editor.] \| Yue, Shigang [editor.] \| Iliadis, Lazaros [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)
	846.	Parallel Problem Solving from Nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I / edited by Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone. by Coello, Carlos A. Coello [editor.] \| Cutello, Vincenzo [editor.] \| Deb, Kalyanmoy [editor.] \| Forrest, Stephanie [editor.] \| Nicosia, Giuseppe [editor.] \| Pavone, Mario [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)
	847.	Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D’Souza. by Roychoudhury, Abhik [editor.] \| D’Souza, Meenakshi [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)
	848.	Parallel Problem Solving from Nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II / edited by Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone. by Coello, Carlos A. Coello [editor.] \| Cutello, Vincenzo [editor.] \| Deb, Kalyanmoy [editor.] \| Forrest, Stephanie [editor.] \| Nicosia, Giuseppe [editor.] \| Pavone, Mario [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)
	849.	From Animals to Animats 12 [electronic resource] : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings / edited by Tom Ziemke, Christian Balkenius, John Hallam. by Ziemke, Tom [editor.] \| Balkenius, Christian [editor.] \| Hallam, John [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)
	850.	Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza. by Fraser, Gordon [editor.] \| Teixeira de Souza, Jerffeson [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)
	851.	Algorithms in Bioinformatics [electronic resource] : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / edited by Ben Raphael, Jijun Tang. by Raphael, Ben [editor.] \| Tang, Jijun [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)
	852.	Artificial Neural Networks and Machine Learning – ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II / edited by Alessandro E. Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm. by Villa, Alessandro E [editor.] \| Duch, Włodzisław [editor.] \| Érdi, Péter [editor.] \| Masulli, Francesco [editor.] \| Palm, Günther [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)
	853.	Artificial Neural Networks and Machine Learning – ICANN 2012 [electronic resource] : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I / edited by Alessandro E. P. Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm. by Villa, Alessandro E. P [editor.] \| Duch, Włodzisław [editor.] \| Érdi, Péter [editor.] \| Masulli, Francesco [editor.] \| Palm, Günther [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)
	854.	Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / edited by Georgios Ch. Sirakoulis, Stefania Bandini. by Sirakoulis, Georgios Ch [editor.] \| Bandini, Stefania [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)
	855.	Theoretical Computer Science [electronic resource] : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings / edited by Jos C. M. Baeten, Tom Ball, Frank S. Boer. by Baeten, Jos C. M [editor.] \| Ball, Tom [editor.] \| Boer, Frank S [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)
	856.	Artificial Intelligence and Computational Intelligence [electronic resource] : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao. by Lei, Jingsheng [editor.] \| Wang, Fu Lee [editor.] \| Deng, Hepu [editor.] \| Miao, Duoqian [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)
	857.	Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jérôme Leroux, Igor Potapov. by Finkel, Alain [editor.] \| Leroux, Jérôme [editor.] \| Potapov, Igor [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)
	858.	Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings / edited by Hiroyuki Yoshida, David Hawkes, Michael W. Vannier. by Yoshida, Hiroyuki [editor.] \| Hawkes, David [editor.] \| Vannier, Michael W [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)
	859.	Computational Methods in Systems Biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / edited by David Gilbert, Monika Heiner. by Gilbert, David [editor.] \| Heiner, Monika [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)
	860.	Artificial Immune Systems [electronic resource] : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings / edited by Carlos A. Coello Coello, Julie Greensmith, Natalio Krasnogor, Pietro Liò, Giuseppe Nicosia, Mario Pavone. by Coello Coello, Carlos A [editor.] \| Greensmith, Julie [editor.] \| Krasnogor, Natalio [editor.] \| Liò, Pietro [editor.] \| Nicosia, Giuseppe [editor.] \| Pavone, Mario [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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
Next »

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics