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

Your search returned 3370 results.

	2521.	Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] \| Gervasi, Osvaldo [editor.] \| Misra, Sanjay [editor.] \| Nedjah, Nadia [editor.] \| Rocha, Ana Maria A. C [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [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)
	2522.	Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] \| Gervasi, Osvaldo [editor.] \| Misra, Sanjay [editor.] \| Nedjah, Nadia [editor.] \| Rocha, Ana Maria A. C [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [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)
	2523.	Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge [editor.] \| Pomello, Lucia [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)
	2524.	Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] \| Gervasi, Osvaldo [editor.] \| Misra, Sanjay [editor.] \| Nedjah, Nadia [editor.] \| Rocha, Ana Maria A. C [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [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)
	2525.	Systems, Software and Services Process Improvement [electronic resource] : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings / edited by Dietmar Winkler, Rory V. O’Connor, Richard Messnarz. by Winkler, Dietmar [editor.] \| O’Connor, Rory V [editor.] \| Messnarz, Richard [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)
	2526.	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor [editor.] \| Philippsen, Michael [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)
	2527.	Computer Networks [electronic resource] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera. by Kwiecień, Andrzej [editor.] \| Gaj, Piotr [editor.] \| Stera, Piotr [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)
	2528.	Image and Signal Processing [electronic resource] : 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings / edited by Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine. by Elmoataz, Abderrahim [editor.] \| Mammass, Driss [editor.] \| Lezoray, Olivier [editor.] \| Nouboud, Fathallah [editor.] \| Aboutajdine, Driss [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)
	2529.	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. by Gramlich, Bernhard [editor.] \| Miller, Dale [editor.] \| Sattler, Uli [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)
	2530.	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] \| Seshia, Sanjit 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)
	2531.	Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Waśniewski, Jerzy [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)
	2532.	Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio [editor.] \| Tolvanen, Juha-Pekka [editor.] \| Kindler, Ekkart [editor.] \| Störrle, Harald [editor.] \| Kolovos, Dimitris [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)
	2533.	Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur [editor.] \| Chattopadhyay, Sanatan [editor.] \| Chattopadhyay, Santanu [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)
	2534.	Parallel Processing and Applied Mathematics [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] \| Dongarra, Jack [editor.] \| Karczewski, Konrad [editor.] \| Waśniewski, Jerzy [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)
	2535.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings / edited by Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup. by Li, Xiang-Yang [editor.] \| Papavassiliou, Symeon [editor.] \| Ruehrup, 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)
	2536.	Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / edited by Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf. by Brambilla, Marco [editor.] \| Tokuda, Takehiro [editor.] \| Tolksdorf, Robert [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)
	2537.	Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker. by Donaldson, Alastair [editor.] \| Parker, 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)
	2538.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Beckert, Bernhard [editor.] \| Damiani, Ferruccio [editor.] \| Gurov, Dilian [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)
	2539.	Virtual and Networked Organizations, Emergent Technologies and Tools [electronic resource] : First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers / edited by Goran D. Putnik, Maria Manuela Cruz-Cunha. by Putnik, Goran D [editor.] \| Cruz-Cunha, Maria Manuela [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)
	2540.	Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings / edited by Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing. by Wang, Xinbing [editor.] \| Zheng, Rong [editor.] \| Jing, Tao [editor.] \| Xing, Kai [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