Your search returned 13655 results. Subscribe to this search

|
10221. The Reality of the Artificial [electronic resource] : Nature, Technology and Naturoids / by Massimo Negrotti.

by Negrotti, Massimo [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, 2012Online access: Click here to access online Availability: No items available
10222. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang.

by Snoeyink, Jack [editor.] | Lu, Pinyan [editor.] | Su, Kaile [editor.] | Wang, Lusheng [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, 2012Online access: Click here to access online Availability: No items available
10223. Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.

by Clarke, Edmund [editor.] | Virbitskaite, Irina [editor.] | Voronkov, Andrei [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, 2012Online access: Click here to access online Availability: No items available
10224. Wireless Mobile Communication and Healthcare [electronic resource] : Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers / edited by Konstantina S. Nikita, James C. Lin, Dimitrios I. Fotiadis, Maria-Teresa Arredondo Waldmeyer.

by Nikita, Konstantina S [editor.] | Lin, James C [editor.] | Fotiadis, Dimitrios I [editor.] | Arredondo Waldmeyer, Maria-Teresa [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, 2012Online access: Click here to access online Availability: No items available
10225. Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I / edited by Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer.

by Alexander, Michael [editor.] | D’Ambra, Pasqua [editor.] | Belloum, Adam [editor.] | Bosilca, George [editor.] | Cannataro, Mario [editor.] | Danelutto, Marco [editor.] | Martino, Beniamino [editor.] | Gerndt, Michael [editor.] | Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | Scott, Stephen L [editor.] | Traff, Jesper Larsson [editor.] | Vallée, Geoffroy [editor.] | Weidendorfer, Josef [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, 2012Online access: Click here to access online Availability: No items available
10226. Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer.

by Alexander, Michael [editor.] | D’Ambra, Pasqua [editor.] | Belloum, Adam [editor.] | Bosilca, George [editor.] | Cannataro, Mario [editor.] | Danelutto, Marco [editor.] | Martino, Beniamino [editor.] | Gerndt, Michael [editor.] | Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | Scott, Stephen L [editor.] | Traff, Jesper Larsson [editor.] | Vallée, Geoffroy [editor.] | Weidendorfer, Josef [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, 2012Online access: Click here to access online Availability: No items available
10227. Digital Urban Modeling and Simulation [electronic resource] / edited by Stefan Müller Arisona, Gideon Aschwanden, Jan Halatsch, Peter Wonka.

by Arisona, Stefan Müller [editor.] | Aschwanden, Gideon [editor.] | Halatsch, Jan [editor.] | Wonka, Peter [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, 2012Online access: Click here to access online Availability: No items available
10228. Public Key Infrastructures, Services and Applications [electronic resource] : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers / edited by Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul.

by Petkova-Nikova, Svetla [editor.] | Pashalidis, Andreas [editor.] | Pernul, Günther [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, 2012Online access: Click here to access online Availability: No items available
10229. Advances in K-means Clustering [electronic resource] : A Data Mining Thinking / by Junjie Wu.

by Wu, Junjie [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, 2012Online access: Click here to access online Availability: No items available
10230. Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann.

by Schrijvers, Tom [editor.] | Thiemann, Peter [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, 2012Online access: Click here to access online Availability: No items available
10231. On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages [electronic resource] / by Brian Henderson-Sellers.

by Henderson-Sellers, Brian [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, 2012Online access: Click here to access online Availability: No items available
10232. Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Éric Pinson.

by Beldiceanu, Nicolas [editor.] | Jussien, Narendra [editor.] | Pinson, Éric [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, 2012Online access: Click here to access online Availability: No items available
10233. Web Services and Formal Methods [electronic resource] : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers / edited by Marco Carbone, Jean-Marc Petit.

by Carbone, Marco [editor.] | Petit, Jean-Marc [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, 2012Online access: Click here to access online Availability: No items available
10234. Mathematics of Discrete Structures for Computer Science [electronic resource] / by Gordon J. Pace.

by Pace, Gordon J [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, 2012Online access: Click here to access online Availability: No items available
10235. Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [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, 2012Online access: Click here to access online Availability: No items available
10236. Trust Management VI [electronic resource] : 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings / edited by Theo Dimitrakos, Rajat Moona, Dhiren Patel, D. Harrison McKnight.

by Dimitrakos, Theo [editor.] | Moona, Rajat [editor.] | Patel, Dhiren [editor.] | McKnight, D. Harrison [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, 2012Online access: Click here to access online Availability: No items available
10237. Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen.

by Khurshid, Sarfraz [editor.] | Sen, Koushik [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, 2012Online access: Click here to access online Availability: No items available
10238. Design Science Research in Information Systems. Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings / edited by Ken Peffers, Marcus Rothenberger, Bill Kuechler.

by Peffers, Ken [editor.] | Rothenberger, Marcus [editor.] | Kuechler, Bill [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, 2012Online access: Click here to access online Availability: No items available
10239. Financial Cryptography and Data Security [electronic resource] : FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / edited by George Danezis, Sven Dietrich, Kazue Sako.

by Danezis, George [editor.] | Dietrich, Sven [editor.] | Sako, Kazue [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, 2012Online access: Click here to access online Availability: No items available
10240. Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans.

by Domenach, Florent [editor.] | Ignatov, Dmitry I [editor.] | Poelmans, Jonas [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, 2012Online 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