Library Services | Technical University of Kenya catalog › Results of search for 'su:{Special Purpose and Application-Based Systems.}'

Your search returned 518 results.

	421.	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)
	422.	Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen, Sanghamitra Mohanty. by Ystad, Sølvi [editor.] \| Aramaki, Mitsuko [editor.] \| Kronland-Martinet, Richard [editor.] \| Jensen, Kristoffer [editor.] \| Mohanty, Sanghamitra [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)
	423.	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. by Stoelinga, Mariëlle [editor.] \| Pinger, Ralf [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)
	424.	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)
	425.	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)
	426.	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)
	427.	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)
	428.	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)
	429.	Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. by Su, Chun-Yi [editor.] \| Rakheja, Subhash [editor.] \| Liu, Honghai [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)
	430.	Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. by Su, Chun-Yi [editor.] \| Rakheja, Subhash [editor.] \| Liu, Honghai [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)
	431.	Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. by Su, Chun-Yi [editor.] \| Rakheja, Subhash [editor.] \| Liu, Honghai [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)
	432.	Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking [electronic resource] : International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers / edited by Stefano Chessa, Stefan Knauth. by Chessa, Stefano [editor.] \| Knauth, 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)
	433.	Computer Safety, Reliability, and Security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / edited by Frank Ortmeier, Peter Daniel. by Ortmeier, Frank [editor.] \| Daniel, 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)
	434.	Model-Based Engineering of Embedded Systems [electronic resource] : The SPES 2020 Methodology / edited by Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy. by Pohl, Klaus [editor.] \| Hönninger, Harald [editor.] \| Achatz, Reinhold [editor.] \| Broy, Manfred [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)
	435.	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian [editor.] \| Weise, Carsten [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)
	436.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings / edited by Kurt Vanmechelen, Jörn Altmann, Omer F. Rana. by Vanmechelen, Kurt [editor.] \| Altmann, Jörn [editor.] \| Rana, Omer 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)
	437.	Advanced Methods, Techniques, and Applications in Modeling and Simulation [electronic resource] : Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings / edited by Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park. by Kim, Jong-Hyun [editor.] \| Lee, Kangsun [editor.] \| Tanaka, Satoshi [editor.] \| Park, Soo-Hyun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	438.	Harnessing VLSI System Design with EDA Tools [electronic resource] / by Rajanish K. Kamat, Santosh A. Shinde, Pawan K. Gaikwad, Hansraj Guhilot. by Kamat, Rajanish K [author.] \| Shinde, Santosh A [author.] \| Gaikwad, Pawan K [author.] \| Guhilot, Hansraj [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	439.	Analog Circuit Design [electronic resource] : Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC / edited by Michiel Steyaert, Arthur van Roermund, Andrea Baschirotto. by Steyaert, Michiel [editor.] \| van Roermund, Arthur [editor.] \| Baschirotto, Andrea [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	440.	Guide to FPGA Implementation of Arithmetic Functions [electronic resource] / by Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó. by Deschamps, Jean-Pierre [author.] \| Sutter, Gustavo D [author.] \| Cantó, Enrique [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

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