Your search returned 19172 results. Subscribe to this search

|
13061. Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes.

by Pecheur, Charles [editor.] | Dierkes, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13062. Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne.

by Iliadis, Lazaros [editor.] | Papadopoulos, Harris [editor.] | Jayne, Chrisina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13063. Engineering Applications of Neural Networks [electronic resource] : 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II / edited by Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne.

by Iliadis, Lazaros [editor.] | Papadopoulos, Harris [editor.] | Jayne, Chrisina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13064. Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen.

by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13065. On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter Leenheer, Deijing Dou.

by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Dillon, Tharam [editor.] | Eder, Johann [editor.] | Bellahsene, Zohra [editor.] | Ritter, Norbert [editor.] | Leenheer, Pieter [editor.] | Dou, Deijing [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13066. On the Move to Meaningful Internet Systems: OTM 2013 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings / edited by Yan Tang Demey, Hervé Panetto.

by Demey, Yan Tang [editor.] | Panetto, Hervé [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13067. Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov.

by Abdulla, Parosh Aziz [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13068. Evaluating AAL Systems Through Competitive Benchmarking [electronic resource] : International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings / edited by Juan A. Botía, Juan Antonio Álvarez-García, Kaori Fujinami, Paolo Barsocchi, Till Riedel.

by Botía, Juan A [editor.] | Álvarez-García, Juan Antonio [editor.] | Fujinami, Kaori [editor.] | Barsocchi, Paolo [editor.] | Riedel, Till [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13069. Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah.

by Shaikh, Faisal Karim [editor.] | Chowdhry, Bhawani Shankar [editor.] | Ammari, Habib M [editor.] | Uqaili, Muhammad Aslam [editor.] | Shah, Assadullah [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13070. Multidisciplinary Information Retrieval [electronic resource] : 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013. Proceedings / edited by Mihai Lupu, Evangelos Kanoulas, Fernando Loizides.

by Lupu, Mihai [editor.] | Kanoulas, Evangelos [editor.] | Loizides, Fernando [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13071. Similarity Search and Applications [electronic resource] : 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings / edited by Nieves Brisaboa, Oscar Pedreira, Pavel Zezula.

by Brisaboa, Nieves [editor.] | Pedreira, Oscar [editor.] | Zezula, Pavel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13072. Haptic and Audio Interaction Design [electronic resource] : 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers / edited by Ian Oakley, Stephen Brewster.

by Oakley, Ian [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13073. Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo Moura.

by Iyoda, Juliano [editor.] | Moura, Leonardo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13074. Decision Support Systems II - Recent Developments Applied to DSS Network Environments [electronic resource] : Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers / edited by Jorge E. Hernández, Shaofeng Liu, Boris Delibašić, Pascale Zaraté, Fátima Dargam, Rita Ribeiro.

by Hernández, Jorge E [editor.] | Liu, Shaofeng [editor.] | Delibašić, Boris [editor.] | Zaraté, Pascale [editor.] | Dargam, Fátima [editor.] | Ribeiro, Rita [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13075. Handbook of Wind Power Systems [electronic resource] / edited by Panos M. Pardalos, Steffen Rebennack, Mario V. F. Pereira, Niko A. Iliadis, Vijay Pappu.

by Pardalos, Panos M [editor.] | Rebennack, Steffen [editor.] | Pereira, Mario V. F [editor.] | Iliadis, Niko A [editor.] | Pappu, Vijay [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13076. Abdominal Imaging. Computation and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier.

by Yoshida, Hiroyuki [editor.] | Warfield, Simon [editor.] | Vannier, Michael W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13077. Monte Carlo and Quasi-Monte Carlo Methods 2012 [electronic resource] / edited by Josef Dick, Frances Y. Kuo, Gareth W. Peters, Ian H. Sloan.

by Dick, Josef [editor.] | Kuo, Frances Y [editor.] | Peters, Gareth W [editor.] | Sloan, Ian H [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13078. Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise.

by Accorsi, Rafael [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13079. Entertainment Computing – ICEC 2013 [electronic resource] : 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings / edited by Junia C. Anacleto, Esteban W. G. Clua, Flavio S. Correa Silva, Sidney Fels, Hyun S. Yang.

by Anacleto, Junia C [editor.] | Clua, Esteban W. G [editor.] | Silva, Flavio S. Correa [editor.] | Fels, Sidney [editor.] | Yang, Hyun S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
13080. Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann.

by Popova-Zeugmann, Louchka [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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