Your search returned 6201 results. Subscribe to this search

|
881. Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.

by Asarin, Eugene | Bouyer, Patricia | 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
882. Personal Wireless Communications [electronic resource] : IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings / edited by Pedro Cuenca, Luiz Orozco-Barbosa.

by Cuenca, Pedro | Orozco-Barbosa, Luiz | 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
883. Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | 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
884. Entertainment Computing - ICEC 2006 [electronic resource] : 5th International Conference, Cambridge, UK, September 20-22, 2006. Proceedings / edited by Richard Harper, Matthias Rauterberg, Marco Combetto.

by Harper, Richard | Rauterberg, Matthias | Combetto, Marco | 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
885. Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings / edited by Yasubumi Sakakibara, Satoshi Kobayashi, Kengo Sato, Tetsuro Nishino, Etsuji Tomita.

by Sakakibara, Yasubumi | Kobayashi, Satoshi | Sato, Kengo | Nishino, Tetsuro | Tomita, Etsuji | 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
886. Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm.

by Müller-Olm, Markus | 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
887. Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik.

by Ésik, Zoltán | 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
888. Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende.

by Sichman, Jaime Simão | Coelho, Helder | Rezende, Solange Oliveira | 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
889. Intelligent Data Engineering and Automated Learning – IDEAL 2006 [electronic resource] : 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings / edited by Emilio Corchado, Hujun Yin, Vicente Botti, Colin Fyfe.

by Corchado, Emilio | Yin, Hujun | Botti, Vicente | Fyfe, Colin | 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
890. Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini, Maarten Rijke.

by Peters, Carol | Gey, Fredric C | Gonzalo, Julio | Müller, Henning | Jones, Gareth J. F | Kluck, Michael | Magnini, Bernardo | Rijke, Maarten | 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
891. Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski.

by Górski, Janusz | 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
892. Foundations of Intelligent Systems [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings / edited by Floriana Esposito, Zbigniew W. Raś, Donato Malerba, Giovanni Semeraro.

by Esposito, Floriana | Raś, Zbigniew W | Malerba, Donato | Semeraro, Giovanni | 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
893. Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Ingrid Fischer.

by R. Berthold, Michael | Glen, Robert C | Fischer, Ingrid | 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
894. Symbol Grounding and Beyond [electronic resource] : Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30 – October 1, 2006. Proceedings / edited by Paul Vogt, Yuuya Sugita, Elio Tuci, Chrystopher Nehaniv.

by Vogt, Paul | Sugita, Yuuya | Tuci, Elio | Nehaniv, Chrystopher | 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
895. Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio.

by Nierstrasz, Oscar | Whittle, Jon | Harel, David | Reggio, Gianna | 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
896. String Processing and Information Retrieval [electronic resource] : 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006. Proceedings / edited by Fabio Crestani, Paolo Ferragina, Mark Sanderson.

by Crestani, Fabio | Ferragina, Paolo | Sanderson, Mark | 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
897. Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings / edited by Dominique Gaïti, Guy Pujolle, Ehab Al-Shaer, Ken Calvert, Simon Dobson, Guy Leduc, Olli Martikainen.

by Gaïti, Dominique | Pujolle, Guy | Al-Shaer, Ehab | Calvert, Ken | Dobson, Simon | Leduc, Guy | Martikainen, Olli | 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
898. Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part I / edited by Licheng Jiao, Lipo Wang, Xin-bo Gao, Jing Liu, Feng Wu.

by Jiao, Licheng | Wang, Lipo | Gao, Xin-bo | Liu, Jing | Wu, Feng | 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
899. Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part II / edited by Licheng Jiao, Lipo Wang, Xinbo Gao, Jing Liu, Feng Wu.

by Jiao, Licheng | Wang, Lipo | Gao, Xinbo | Liu, Jing | Wu, Feng | 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
900. Current Topics in Artificial Intelligence [electronic resource] : 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers / edited by Roque Marín, Eva Onaindía, Alberto Bugarín, José Santos.

by Marín, Roque | Onaindía, Eva | Bugarín, Alberto | Santos, José | 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

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