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

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

Your search returned 2137 results.

« Previous
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Next »

« Previous
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Next »

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

	1741.	From Boolean Logic to Switching Circuits and Automata [electronic resource] : Towards Modern Information Technology / by Radomir S. Stanković, Jaakko Astola. by Stanković, Radomir S [author.] \| Astola, Jaakko [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1742.	Mathematical Lives [electronic resource] : Protagonists of the Twentieth Century From Hilbert to Wiles / edited by Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti. by Bartocci, Claudio [editor.] \| Betti, Renato [editor.] \| Guerraggio, Angelo [editor.] \| Lucchetti, Roberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1743.	Schema Matching and Mapping [electronic resource] / edited by Zohra Bellahsene, Angela Bonifati, Erhard Rahm. by Bellahsene, Zohra [editor.] \| Bonifati, Angela [editor.] \| Rahm, Erhard [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, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1744.	Knowledge in Formation [electronic resource] : A Computational Theory of Interpretation / by Janos J. Sarbo, Jozsef I. Farkas, Auke J.J. Breemen. by Sarbo, Janos J [author.] \| Farkas, Jozsef I [author.] \| Breemen, Auke J.J [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1745.	Working with Preferences: Less Is More [electronic resource] : Less Is More / by Souhila Kaci. by Kaci, Souhila [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1746.	The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / edited by Roland Kaschek, Lois Delcambre. by Kaschek, Roland [editor.] \| Delcambre, Lois [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1747.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / edited by René Leuken, Gilles Sicard. by Leuken, René [editor.] \| Sicard, Gilles [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1748.	Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic. by Johnson, Michael [editor.] \| Pavlovic, Dusko [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1749.	Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / edited by H. Jaap Herik, Hiroyuki Iida, Aske Plaat. by Herik, H. Jaap [editor.] \| Iida, Hiroyuki [editor.] \| Plaat, Aske [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1750.	Language, Games, and Evolution [electronic resource] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij. by Benz, Anton [editor.] \| Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Rooij, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1751.	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. by Fernandes, João M [editor.] \| Lämmel, Ralf [editor.] \| Visser, Joost [editor.] \| Saraiva, João [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1752.	Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. by Banerjee, Mohua [editor.] \| Seth, Anil [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1753.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. by Beckert, Bernhard [editor.] \| Marché, Claude [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1754.	Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa. by Domaratzki, Michael [editor.] \| Salomaa, Kai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1755.	Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Păun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1756.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Jhala, Ranjit [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, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1757.	Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. by Rocha, Ricardo [editor.] \| Launchbury, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1758.	Vagueness in Communication [electronic resource] : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz. by Nouwen, Rick [editor.] \| Rooij, Robert [editor.] \| Sauerland, Uli [editor.] \| Schmitz, Hans-Christian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1759.	Distributed Computing and Internet Technology [electronic resource] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings / edited by Raja Natarajan, Adegboyega Ojo. by Natarajan, Raja [editor.] \| Ojo, Adegboyega [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	1760.	Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Gabbay, Dov M [author.] \| Schlechta, Karl [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, 2011Online 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