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

Your search returned 1131 results.

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

	861.	Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] \| Martín-Vide, Carlos [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)
	862.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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)
	863.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [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)
	864.	Algorithmic Learning Theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / edited by Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann. by Bshouty, Nader H [editor.] \| Stoltz, Gilles [editor.] \| Vayatis, Nicolas [editor.] \| Zeugmann, 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)
	865.	Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / edited by Alberto Márquez, Pedro Ramos, Jorge Urrutia. by Márquez, Alberto [editor.] \| Ramos, Pedro [editor.] \| Urrutia, Jorge [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)
	866.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki [editor.] \| Ando, Noriaki [editor.] \| Brugali, Davide [editor.] \| Kuffner, James J [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)
	867.	Learning and Intelligent Optimization [electronic resource] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / edited by Youssef Hamadi, Marc Schoenauer. by Hamadi, Youssef [editor.] \| Schoenauer, Marc [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)
	868.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [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)
	869.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [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)
	870.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [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)
	871.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [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)
	872.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V / edited by Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung. by Huang, Tingwen [editor.] \| Zeng, Zhigang [editor.] \| Li, Chuandong [editor.] \| Leung, Chi Sing [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)
	873.	Transactions on Computational Collective Intelligence VIII [electronic resource] / edited by Ngoc-Thanh Nguyen. by Nguyen, Ngoc-Thanh [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)
	874.	Advances in Artificial Intelligence – IBERAMIA 2012 [electronic resource] : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings / edited by Juan Pavón, Néstor D. Duque-Méndez, Rubén Fuentes-Fernández. by Pavón, Juan [editor.] \| Duque-Méndez, Néstor D [editor.] \| Fuentes-Fernández, Rubén [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)
	875.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. by Hähnle, Reiner [editor.] \| Knoop, Jens [editor.] \| Margaria, Tiziana [editor.] \| Schreiner, Dietmar [editor.] \| Steffen, Bernhard [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)
	876.	Simulated Evolution and Learning [electronic resource] : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings / edited by Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan. by Bui, Lam Thu [editor.] \| Ong, Yew Soon [editor.] \| Hoai, Nguyen Xuan [editor.] \| Ishibuchi, Hisao [editor.] \| Suganthan, Ponnuthurai Nagaratnam [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)
	877.	AI 2012: Advances in Artificial Intelligence [electronic resource] : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings / edited by Michael Thielscher, Dongmo Zhang. by Thielscher, Michael [editor.] \| Zhang, Dongmo [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)
	878.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt [editor.] \| Aalst, Wil M [editor.] \| Ajmone Marsan, Marco [editor.] \| Franceschinis, Giuliana [editor.] \| Kleijn, Jetty [editor.] \| Kristensen, Lars Michael [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)
	879.	Trends in Intelligent Robotics, Automation, and Manufacturing [electronic resource] : First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings / edited by S. G. Ponnambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan. by Ponnambalam, S. G [editor.] \| Parkkinen, Jussi [editor.] \| Ramanathan, Kuppan Chetty [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)
	880.	Neural Networks: Tricks of the Trade [electronic resource] : Second Edition / edited by Grégoire Montavon, Geneviève B. Orr, Klaus-Robert Müller. by Montavon, Grégoire [editor.] \| Orr, Geneviève B [editor.] \| Müller, Klaus-Robert [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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
Next »

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics