Your search returned 40652 results. Subscribe to this search

|
26901. Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. Beek, Niels Lohmann.

by Beek, Maurice H [editor.] | Lohmann, Niels [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
26902. Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna.

by Spirakis, Paul G [editor.] | Serna, Maria [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
26903. Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan.

by Chan, T-H. Hubert [editor.] | Lau, Lap Chi [editor.] | Trevisan, Luca [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
26904. Computer Vision, Imaging and Computer Graphics. Theory and Application [electronic resource] : 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers / edited by Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz.

by Csurka, Gabriela [editor.] | Kraus, Martin [editor.] | Laramee, Robert S [editor.] | Richard, Paul [editor.] | Braz, José [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
26905. Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea.

by Gellert, Ulrich [author.] | Cristea, Ana Daniela [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2013.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
26906. Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.

by Dolev, Shlomi [editor.] | Oltean, Mihai [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
26907. Advances in Aerospace Guidance, Navigation and Control [electronic resource] : Selected Papers of the Second CEAS Specialist Conference on Guidance, Navigation and Control / edited by Qiping Chu, Bob Mulder, Daniel Choukroun, Erik-Jan Kampen, Coen Visser, Gertjan Looye.

by Chu, Qiping [editor.] | Mulder, Bob [editor.] | Choukroun, Daniel [editor.] | Kampen, Erik-Jan [editor.] | Visser, Coen [editor.] | Looye, Gertjan [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
26908. Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers / edited by Joaquim Gabriel, Jan Schier, Sabine Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa.

by Gabriel, Joaquim [editor.] | Schier, Jan [editor.] | Huffel, Sabine [editor.] | Conchon, Emmanuel [editor.] | Correia, Carlos [editor.] | Fred, Ana [editor.] | Gamboa, Hugo [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
26909. Values of Our Times [electronic resource] : Contemporary Axiological Research in China / edited by Deshun Li.

by Li, Deshun [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
26910. Diversity, Biomineralization and Rock Magnetism of Magnetotactic Bacteria [electronic resource] / by Wei Lin.

by Lin, Wei [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
26911. Scale Space and Variational Methods in Computer Vision [electronic resource] : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings / edited by Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof.

by Kuijper, Arjan [editor.] | Bredies, Kristian [editor.] | Pock, Thomas [editor.] | Bischof, Horst [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
26912. Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León.

by Fernández-Izquierdo, María Ángeles [editor.] | Muñoz-Torres, María Jesús [editor.] | León, Raúl [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
26913. Scattering Theory [electronic resource] / by Harald Friedrich.

by Friedrich, Harald [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
26914. Nuclear Medicine Technology [electronic resource] : Review Questions for the Board Examinations / by Karen Ramer, Eleanor Mantel, Janet S. Reddin, Gang Cheng, Abass Alavi.

by Ramer, Karen [author.] | Mantel, Eleanor [author.] | Reddin, Janet S [author.] | Cheng, Gang [author.] | Alavi, Abass [author.] | SpringerLink (Online service).

Edition: 4th ed. 2013.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
26915. The Semantic Web: Semantics and Big Data [electronic resource] : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph.

by Cimiano, Philipp [editor.] | Corcho, Oscar [editor.] | Presutti, Valentina [editor.] | Hollink, Laura [editor.] | Rudolph, Sebastian [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
26916. Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings / edited by Cris L. Luengo Hendriks, Gunilla Borgefors, Robin Strand.

by Hendriks, Cris L. Luengo [editor.] | Borgefors, Gunilla [editor.] | Strand, Robin [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
26917. Introduction to Probability and Statistics for Engineers [electronic resource] / by Milan Holický.

by Holický, Milan [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
26918. Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings / edited by Hubert Baumeister, Barbara Weber.

by Baumeister, Hubert [editor.] | Weber, Barbara [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
26919. Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter.

by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [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
26920. Yarrowia lipolytica [electronic resource] : Genetics, Genomics, and Physiology / edited by Gerold Barth.

by Barth, Gerold [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

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