Library Services | Technical University of Kenya catalog › Results of search for 'su:{Design and construction.}'

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
Locations
- General Stacks
- Reference
Series
Places
- MACHINE DESIGN
Topics
Titles
- AutoCAD.
- MATLAB.
- PSpice

	301.	Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin. by Shukla, Sandeep K [editor.] \| Talpin, Jean-Pierre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	302.	Drawing Programs: The Theory and Practice of Schematic Functional Programming [electronic resource] / by Tom Addis, Jan Addis. by Addis, Tom [author.] \| Addis, Jan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	303.	Leonardo da Vinci’s Giant Crossbow [electronic resource] / by Matthew Landrus. by Landrus, Matthew [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	304.	The Design of Material, Organism, and Minds [electronic resource] : Different Understandings of Design / edited by Silke Konsorski-Lang, Michael Hampe. by Konsorski-Lang, Silke [editor.] \| Hampe, Michael [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, 2010Other title: With contributions by numerous experts..Online access: Click here to access online Availability: No items available Add to cart (remove)
	305.	Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers / edited by Morten Dæhlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Mørken, Larry L. Schumaker. by Dæhlen, Morten [editor.] \| Floater, Michael [editor.] \| Lyche, Tom [editor.] \| Merrien, Jean-Louis [editor.] \| Mørken, Knut [editor.] \| Schumaker, Larry L [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	306.	Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts [electronic resource] : Second IFIP WG 13.6 Conference, HWID 2009, Pune, India, October 7-8, 2009, Revised Selected Papers / edited by Dinesh Katre, Rikke Orngreen, Pradeep Yammiyavar, Torkil Clemmensen. by Katre, Dinesh [editor.] \| Orngreen, Rikke [editor.] \| Yammiyavar, Pradeep [editor.] \| Clemmensen, Torkil [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	307.	Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. by Frappier, Marc [editor.] \| Glässer, Uwe [editor.] \| Khurshid, Sarfraz [editor.] \| Laleau, Régine [editor.] \| Reeves, Steve [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	308.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier [editor.] \| Majumdar, Rupak [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	309.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers / edited by Sudipto Ghosh. by Ghosh, Sudipto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	310.	Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. by Bolduc, Claude [editor.] \| Desharnais, Jules [editor.] \| Ktari, Béchir [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	311.	Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Benoît Baudry, Eric Wohlstadter. by Baudry, Benoît [editor.] \| Wohlstadter, Eric [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	312.	New Modeling Concepts for Today’s Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer. by Münch, Jürgen [editor.] \| Yang, Ye [editor.] \| Schäfer, Wilhelm [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	313.	Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / edited by Antonín Kučera, Igor Potapov. by Kučera, Antonín [editor.] \| Potapov, Igor [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	314.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	315.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	316.	Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems / edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger. by Papazoglou, Mike P [editor.] \| Pohl, Klaus [editor.] \| Parkin, Michael [editor.] \| Metzger, Andreas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	317.	Lune [electronic resource] / by Edoardo Romagnoli, Giulio Confalonieri, Piero Bianucci. by Romagnoli, Edoardo [author.] \| Confalonieri, Giulio [author.] \| Bianucci, Piero [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	318.	Materials, Technologies and Practice in Historic Heritage Structures [electronic resource] / edited by Maria Bostenaru Dan, Richard Přikryl, Ákos Török. by Dan, Maria Bostenaru [editor.] \| Přikryl, Richard [editor.] \| Török, Ákos [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	319.	Sustainable Retail Development [electronic resource] : New Success Strategies / by Jerry Yudelson. by Yudelson, Jerry [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	320.	No cover image available die design handbook: / frank.w. wilson by "wilson, frank w. ". Edition: 2 ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: new york : mcgraw-hill 1965Availability: Items available for reference: [Call number: TS253.D54 1965] (1). Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Places

Topics

Titles