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

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 1215 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	861.	Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes. by Krishnaswamy, Smita [author.] \| Markov, Igor L [author.] \| Hayes, John P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	862.	Theory of Digital Automata [electronic resource] / by Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov. by Borowik, Bohdan [author.] \| Karpinskyy, Mykola [author.] \| Lahno, Valery [author.] \| Petrov, Oleksandr [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	863.	Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero. by Mogavero, Fabio [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	864.	The Unknown Component Problem [electronic resource] : Theory and Applications / by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli. by Villa, Tiziano [author.] \| Yevtushenko, Nina [author.] \| Brayton, Robert K [author.] \| Mishchenko, Alan [author.] \| Petrenko, Alexandre [author.] \| Sangiovanni-Vincentelli, Alberto [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	865.	Compact Models and Measurement Techniques for High-Speed Interconnects [electronic resource] / by Rohit Sharma, Tapas Chakravarty. by Sharma, Rohit [author.] \| Chakravarty, Tapas [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	866.	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] \| Tarlecki, Andrzej [author.] \| 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)
	867.	The NCL Natural Constraint Language [electronic resource] / by Jianyang Zhou. by Zhou, Jianyang [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	868.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] \| Nordio, Martin [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)
	869.	SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober. by Ober, Iulian [editor.] \| Ober, Ileana [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)
	870.	Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue. by Aichernig, Bernhard K [editor.] \| Boer, Frank S [editor.] \| Bonsangue, Marcello M [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)
	871.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš. by Kotásek, Zdeněk [editor.] \| Bouda, Jan [editor.] \| Černá, Ivana [editor.] \| Sekanina, Lukáš [editor.] \| Vojnar, Tomáš [editor.] \| Antoš, David [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)
	872.	Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luís Soares Barbosa, Markus Lumpe. by Barbosa, Luís Soares [editor.] \| Lumpe, Markus [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)
	873.	Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies. by Dinneen, Michael J [editor.] \| Khoussainov, Bakhadyr [editor.] \| Nies, André [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)
	874.	Logic Circuit Design [electronic resource] : Selected Methods / by Shimon P. Vingron. by Vingron, Shimon P [author.] \| 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)
	875.	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou. by Russo, Claudio [editor.] \| Zhou, Neng-Fa [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)
	876.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski. by Joshi, Rajeev [editor.] \| Müller, Peter [editor.] \| Podelski, Andreas [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)
	877.	Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / edited by Rajkumar Kannan, Frederic Andres. by Kannan, Rajkumar [editor.] \| Andres, Frederic [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)
	878.	Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. by Garcia-Alfaro, Joaquin [editor.] \| Lafourcade, Pascal [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)
	879.	The Correctness-by-Construction Approach to Programming [electronic resource] / by Derrick G. Kourie, Bruce W. Watson. by Kourie, Derrick G [author.] \| Watson, Bruce W [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	880.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Kuncak, Viktor [editor.] \| Rybalchenko, Andrey [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics