Library Services | Technical University of Kenya catalog › Results of search for 'su:{Software Engineering.}'

Your search returned 3370 results.

	2561.	Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers / edited by Andrew M. Dienstfrey, Ronald F. Boisvert. by Dienstfrey, Andrew M [editor.] \| Boisvert, Ronald F [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)
	2562.	Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings / edited by Antonis Bikakis, Adrian Giurca. by Bikakis, Antonis [editor.] \| Giurca, Adrian [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)
	2563.	Convergence and Hybrid Information Technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings / edited by Geuk Lee, Daniel Howard, Dominik Ślęzak, You Sik Hong. by Lee, Geuk [editor.] \| Howard, Daniel [editor.] \| Ślęzak, Dominik [editor.] \| Hong, You Sik [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)
	2564.	PRIMA 2012: Principles and Practice of Multi-Agent Systems [electronic resource] : 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings / edited by Iyad Rahwan, Wayne Wobcke, Sandip Sen, Toshiharu Sugawara. by Rahwan, Iyad [editor.] \| Wobcke, Wayne [editor.] \| Sen, Sandip [editor.] \| Sugawara, Toshiharu [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)
	2565.	E-Voting and Identity [electronic resource] : Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers / edited by Aggelos Kiayias, Helger Lipmaa. by Kiayias, Aggelos [editor.] \| Lipmaa, Helger [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)
	2566.	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry. by Giannakopoulou, Dimitra [editor.] \| Méry, Dominique [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)
	2567.	VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers / edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy. by Mir, Salvador [editor.] \| Tsui, Chi-Ying [editor.] \| Reis, Ricardo [editor.] \| Choy, Oliver C. 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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	2568.	Collaborative Networks in the Internet of Services [electronic resource] : 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings / edited by Luis M. Camarinha-Matos, Lai Xu, Hamideh Afsarmanesh. by Camarinha-Matos, Luis M [editor.] \| Xu, Lai [editor.] \| Afsarmanesh, Hamideh [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)
	2569.	Sensor Systems and Software [electronic resource] : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers / edited by Francisco Martins, Luís Lopes, Hervé Paulino. by Martins, Francisco [editor.] \| Lopes, Luís [editor.] \| Paulino, Hervé [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)
	2570.	Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / edited by Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis. by Kaklamanis, Christos [editor.] \| Papatheodorou, Theodore [editor.] \| Spirakis, Paul G [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)
	2571.	Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler. by Barros, Alistair [editor.] \| Gal, Avigdor [editor.] \| Kindler, Ekkart [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)
	2572.	Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori. by Fisher, Michael [editor.] \| Torre, Leon [editor.] \| Dastani, Mehdi [editor.] \| Governatori, Guido [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)
	2573.	Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings / edited by Pablo Barceló, Reinhard Pichler. by Barceló, Pablo [editor.] \| Pichler, Reinhard [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)
	2574.	CONCUR 2012 – Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski. by Koutny, Maciej [editor.] \| Ulidowski, Irek [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)
	2575.	Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D’Souza. by Roychoudhury, Abhik [editor.] \| D’Souza, Meenakshi [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)
	2576.	Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] \| Stojmenovic, Ivan [editor.] \| Apduhan, Bernady O [editor.] \| Wang, Guojun [editor.] \| Nakano, Koji [editor.] \| Zomaya, Albert [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)
	2577.	Enterprise Interoperability [electronic resource] : 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings / edited by Marten Sinderen, Pontus Johnson, Xiaofei Xu, Guy Doumeingts. by Sinderen, Marten [editor.] \| Johnson, Pontus [editor.] \| Xu, Xiaofei [editor.] \| Doumeingts, Guy [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)
	2578.	Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] \| Stojmenovic, Ivan [editor.] \| Apduhan, Bernady O [editor.] \| Wang, Guojun [editor.] \| Nakano, Koji [editor.] \| Zomaya, Albert [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)
	2579.	Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings / edited by Gordon Fraser, Jerffeson Teixeira de Souza. by Fraser, Gordon [editor.] \| Teixeira de Souza, Jerffeson [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)
	2580.	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Miné, David Schmidt. by Miné, Antoine [editor.] \| Schmidt, 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, 2012Online 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

Topics