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

Your search returned 6201 results.

	4061.	Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by Beyer, Dirk [editor.] \| Boreale, Michele [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)
	4062.	Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [editor.] \| Plödereder, Erhard [editor.] \| Dencker, Peter [editor.] \| Klenk, Herbert [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)
	4063.	Business Process Models. Change Management [electronic resource] / by Christian Gerth. by Gerth, Christian [author.] \| 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)
	4064.	Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] \| Korytkowski, Marcin [editor.] \| Scherer, Rafał [editor.] \| Tadeusiewicz, Ryszard [editor.] \| Zadeh, Lotfi A [editor.] \| Zurada, Jacek M [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)
	4065.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [editor.] \| Petre, Luigia [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)
	4066.	Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings / edited by Philippe Gaborit. by Gaborit, Philippe [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)
	4067.	Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo. by Ferrández Vicente, José Manuel [editor.] \| Álvarez Sánchez, José Ramón [editor.] \| Paz López, Félix [editor.] \| Toledo Moreo, Fco. Javier [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)
	4068.	Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso. by Sanches, João M [editor.] \| Micó, Luisa [editor.] \| Cardoso, Jaime S [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)
	4069.	Network and System Security [electronic resource] : 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings / edited by Javier Lopez, Xinyi Huang, Ravi Sandhu. by Lopez, Javier [editor.] \| Huang, Xinyi [editor.] \| Sandhu, Ravi [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)
	4070.	Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń. by Kłopotek, Mieczysław A [editor.] \| Koronacki, Jacek [editor.] \| Marciniak, Małgorzata [editor.] \| Mykowiecka, Agnieszka [editor.] \| Wierzchoń, Sławomir T [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)
	4071.	Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo. by Ferrández Vicente, José Manuel [editor.] \| Álvarez Sánchez, José Ramón [editor.] \| Paz López, Félix [editor.] \| Toledo Moreo, Fco. Javier [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)
	4072.	Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] \| Korytkowski, Marcin [editor.] \| Scherer, Rafał [editor.] \| Tadeusiewicz, Ryszard [editor.] \| Zadeh, Lotfi A [editor.] \| Zurada, Jacek M [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)
	4073.	Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe. by Effelsberg, Wolfgang [editor.] \| Steinmetz, Ralf [editor.] \| Strufe, Thorsten [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)
	4074.	Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by Noble, James [editor.] \| Johnson, Ralph [editor.] \| Zdun, Uwe [editor.] \| Wallingford, Eugene [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)
	4075.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Joan Gabestany. by Rojas, Ignacio [editor.] \| Joya, Gonzalo [editor.] \| Gabestany, Joan [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)
	4076.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany. by Rojas, Ignacio [editor.] \| Joya, Gonzalo [editor.] \| Cabestany, Joan [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)
	4077.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by Colom, José-Manuel [editor.] \| Desel, Jörg [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)
	4078.	Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by Dastani, Mehdi [editor.] \| Hübner, Jomi F [editor.] \| Logan, Brian [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)
	4079.	Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by Tan, Ying [editor.] \| Shi, Yuhui [editor.] \| Mo, Hongwei [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)
	4080.	End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by Dittrich, Yvonne [editor.] \| Burnett, Margaret [editor.] \| Mørch, Anders [editor.] \| Redmiles, David [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

Series

Topics