Library Services | Technical University of Kenya catalog › Results of search for 'su:{Math Applications in Computer Science.}'

Your search returned 195 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

	141.	Stochastic Reachability Analysis of Hybrid Systems [electronic resource] / by Luminita Manuela Bujorianu. by Bujorianu, Luminita Manuela [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	142.	Guide to Computational Geometry Processing [electronic resource] : Foundations, Algorithms, and Methods / by Jakob Andreas Bærentzen, Jens Gravesen, François Anton, Henrik Aanæs. by Bærentzen, Jakob Andreas [author.] \| Gravesen, Jens [author.] \| Anton, François [author.] \| Aanæs, Henrik [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	143.	Pyomo – Optimization Modeling in Python [electronic resource] / by William E. Hart, Carl Laird, Jean-Paul Watson, David L. Woodruff. by Hart, William E [author.] \| Laird, Carl [author.] \| Watson, Jean-Paul [author.] \| Woodruff, David L [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	144.	An Introduction to Modern Mathematical Computing [electronic resource] : With Mathematica® / by Jonathan M. Borwein, Matthew P. Skerritt. by Borwein, Jonathan M [author.] \| Skerritt, Matthew P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	145.	Éléments de théorie des graphes [electronic resource] / by Alain Bretto, Alain Faisant, François Hennecart. by Bretto, Alain [author.] \| Faisant, Alain [author.] \| Hennecart, François [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Springer Paris : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	146.	Proceedings of the 20th International Meshing Roundtable [electronic resource] / edited by William Roshan Quadros. by Quadros, William Roshan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	147.	Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers / edited by Marc Kreveld, Bettina Speckmann. by Kreveld, Marc [editor.] \| Speckmann, Bettina [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	148.	Thermo-Hydro-Mechanical-Chemical Processes in Porous Media [electronic resource] : Benchmarks and Examples / edited by Olaf Kolditz, Uwe-Jens Görke, Hua Shao, Wenqing Wang. by Kolditz, Olaf [editor.] \| Görke, Uwe-Jens [editor.] \| Shao, Hua [editor.] \| Wang, Wenqing [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	149.	Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato. by Barthe, Gilles [editor.] \| Livshits, Benjamin [editor.] \| Scandariato, Riccardo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	150.	Information Processign in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 – April 2, 2012. Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, James A. Walker, Martin A. Trefzer. by Lones, Michael A [editor.] \| Smith, Stephen L [editor.] \| Teichmann, Sarah [editor.] \| Naef, Felix [editor.] \| Walker, James A [editor.] \| Trefzer, Martin A [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	151.	Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings / edited by Ronald Cramer. by Cramer, Ronald [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	152.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Cecilia Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández Vega, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. Şima Uyar, Georgios N. Yannakakis. by Chio, Cecilia [editor.] \| Agapitos, Alexandros [editor.] \| Cagnoni, Stefano [editor.] \| Cotta, Carlos [editor.] \| Vega, Francisco Fernández [editor.] \| Caro, Gianni A [editor.] \| Drechsler, Rolf [editor.] \| Ekárt, Anikó [editor.] \| Esparcia-Alcázar, Anna I [editor.] \| Farooq, Muddassar [editor.] \| Langdon, William B [editor.] \| Merelo-Guervós, Juan J [editor.] \| Preuss, Mike [editor.] \| Richter, Hendrik [editor.] \| Silva, Sara [editor.] \| Simões, Anabela [editor.] \| Squillero, Giovanni [editor.] \| Tarantino, Ernesto [editor.] \| Tettamanzi, Andrea G. B [editor.] \| Togelius, Julian [editor.] \| Urquhart, Neil [editor.] \| Uyar, A. Şima [editor.] \| Yannakakis, Georgios N [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	153.	Modeling and Simulation in Engineering, Economics and Management [electronic resource] : International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings / edited by Kurt J. Engemann, Anna M. Gil-Lafuente, José M. Merigó. by Engemann, Kurt J [editor.] \| Gil-Lafuente, Anna M [editor.] \| Merigó, José M [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	154.	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy [editor.] \| Nogueira, Pablo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	155.	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. by Jeuring, Johan [editor.] \| Campbell, John A [editor.] \| Carette, Jacques [editor.] \| Reis, Gabriel [editor.] \| Sojka, Petr [editor.] \| Wenzel, Makarius [editor.] \| Sorge, Volker [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	156.	Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer. by Rovan, Branislav [editor.] \| Sassone, Vladimiro [editor.] \| Widmayer, Peter [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	157.	Parameterized and Exact Computation [electronic resource] : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings / edited by Dimitrios M. Thilikos, Gerhard J. Woeginger. by Thilikos, Dimitrios M [editor.] \| Woeginger, Gerhard J [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	158.	Information Security [electronic resource] : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / edited by Dieter Gollmann, Felix C. Freiling. by Gollmann, Dieter [editor.] \| Freiling, Felix C [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	159.	Research in Cryptology [electronic resource] : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers / edited by Frederik Armknecht, Stefan Lucks. by Armknecht, Frederik [editor.] \| Lucks, Stefan [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	160.	Core Concepts in Data Analysis: Summarization, Correlation and Visualization [electronic resource] / by Boris Mirkin. by Mirkin, Boris [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

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

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics