Library Services | Technical University of Kenya catalog › Results of search for 'se,phr:"Science '

Your search returned 10041 results.

	6621.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by Jensen, Kurt [editor.] \| Aalst, Wil M. P [editor.] \| Balbo, Gianfranco [editor.] \| Koutny, Maciej [editor.] \| Wolf, Karsten [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6622.	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [editor.] \| Ong, Luke [editor.] \| Panangaden, Prakash [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6623.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann. by Gomes, Carla [editor.] \| Sellmann, Meinolf [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6624.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Albert, Elvira [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6625.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by Machado, Ricardo J [editor.] \| Maciel, Rita Suzana P [editor.] \| Rubin, Julia [editor.] \| Botterweck, Goetz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6626.	Graph-Based Representations in Pattern Recognition [electronic resource] : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / edited by Walter G. Kropatsch, Nicole M. Artner, Yll Haxhimusa, Xiaoyi Jiang. by Kropatsch, Walter G [editor.] \| Artner, Nicole M [editor.] \| Haxhimusa, Yll [editor.] \| Jiang, Xiaoyi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6627.	Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers / edited by Vincent Guyot. by Guyot, Vincent [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6628.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6629.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6630.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6631.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6632.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6633.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6634.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6635.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6636.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6637.	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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6638.	Artificial Intelligence in Medicine [electronic resource] : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings / edited by Niels Peek, Roque Marín Morales, Mor Peleg. by Peek, Niels [editor.] \| Marín Morales, Roque [editor.] \| Peleg, Mor [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6639.	Web Information Systems Engineering – WISE 2011 and 2012 Workshops [electronic resource] : Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers / edited by Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng. by Haller, Armin [editor.] \| Huang, Guangyan [editor.] \| Huang, Zhisheng [editor.] \| Paik, Hye-young [editor.] \| Sheng, Quan Z [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6640.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers / edited by Leif E. Peterson, Francesco Masulli, Giuseppe Russo. by Peterson, Leif E [editor.] \| Masulli, Francesco [editor.] \| Russo, Giuseppe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Places

Topics

Titles