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

Your search returned 1131 results.

« Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
Next »

	441.	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. by Dams, Dennis \| Hannemann, Ulrich \| Steffen, Martin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	442.	Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies / edited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher. by Priami, Corrado \| Breitling, Rainer \| Gilbert, David \| Heiner, Monika \| Uhrmacher, Adelinde M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	443.	Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. by Frappier, Marc \| Glässer, Uwe \| Khurshid, Sarfraz \| Laleau, Régine \| Reeves, Steve \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	444.	Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong. by Ong, Luke \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	445.	Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings / edited by Neamat Gayar, Josef Kittler, Fabio Roli. by Gayar, Neamat \| Kittler, Josef \| Roli, Fabio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	446.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano. by Sirisuk, Phaophak \| Morgan, Fearghal \| El-Ghazawi, Tarek \| Amano, Hideharu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	447.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings / edited by Peter Cowling, Peter Merz. by Cowling, Peter \| Merz, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	448.	Genetic Programming [electronic resource] : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings / edited by Anna Isabel Esparcia-Alcázar, Anikó Ekárt, Sara Silva, Stephen Dignum, A. Şima Uyar. by Esparcia-Alcázar, Anna Isabel \| Ekárt, Anikó \| Silva, Sara \| Dignum, Stephen \| Uyar, A. Şima \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	449.	LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings / edited by Alejandro López-Ortiz. by López-Ortiz, Alejandro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	450.	Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini. by Pizzuti, Clara \| Ritchie, Marylyn D \| Giacobini, Mario \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	451.	Applications of Evolutionary Computation [electronic resource] : EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcazar, Chi-Keong Goh, Juan J. Merelo, Ferrante Neri, Mike Preuß, Julian Togelius, Georgios N. Yannakakis. by Chio, Cecilia \| Cagnoni, Stefano \| Cotta, Carlos \| Ebner, Marc \| Ekárt, Anikó \| Esparcia-Alcazar, Anna I \| Goh, Chi-Keong \| Merelo, Juan J \| Neri, Ferrante \| Preuß, Mike \| Togelius, Julian \| Yannakakis, Georgios N \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	452.	Research in Computational Molecular Biology [electronic resource] : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings / edited by Bonnie Berger. by Berger, Bonnie \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	453.	Artificial Intelligence: Theories, Models and Applications [electronic resource] : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings / edited by Stasinos Konstantopoulos, Stavros Perantonis, Vangelis Karkaletsis, Constantine D. Spyropoulos, George Vouros. by Konstantopoulos, Stasinos \| Perantonis, Stavros \| Karkaletsis, Vangelis \| Spyropoulos, Constantine D \| Vouros, George \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	454.	Advances in Computer Games [electronic resource] : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers / edited by H. Jaap Herik, Pieter Spronck. by Herik, H. Jaap \| Spronck, Pieter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	455.	Trends in Applied Intelligent Systems [electronic resource] : 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I / edited by Nicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali. by García-Pedrajas, Nicolás \| Herrera, Francisco \| Fyfe, Colin \| Benítez, José Manuel \| Ali, Moonis \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	456.	Trends in Applied Intelligent Systems [electronic resource] : 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II / edited by Nicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali. by García-Pedrajas, Nicolás \| Herrera, Francisco \| Fyfe, Colin \| Benítez, José Manuel \| Ali, Moonis \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	457.	Trends in Applied Intelligent Systems [electronic resource] : 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III / edited by Nicolás García-Pedrajas, Francisco Herrera, Colin Fyfe, José Manuel Benítez, Moonis Ali. by García-Pedrajas, Nicolás \| Herrera, Francisco \| Fyfe, Colin \| Benítez, José Manuel \| Ali, Moonis \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	458.	Advances in Intelligent Data Analysis IX [electronic resource] : 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings / edited by Paul R. Cohen, Niall M. Adams, Michael R. Berthold. by Cohen, Paul R \| Adams, Niall M \| Berthold, Michael R \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	459.	Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings / edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide. by Dediu, Adrian-Horia \| Fernau, Henning \| Martín-Vide, Carlos \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	460.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I / edited by Ching-Hsien Hsu, Laurence T. Yang, Jong Hyuk Park, Sang-Soo Yeo. by Hsu, Ching-Hsien \| Yang, Laurence T \| Park, Jong Hyuk \| Yeo, Sang-Soo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

« Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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