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.

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

	201.	Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Sturmfels, Bernd \| SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Vienna : Springer Vienna, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	202.	Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla. by David, René \| Alla, Hassane \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	203.	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Hutter, Marcus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	204.	Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by Fiadeiro, José Luiz \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	205.	Comprehensive Mathematics for Computer Scientists 2 [electronic resource] : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann. by Mazzola, Guerino \| Milmeister, Gérard \| Weissmann, Jody \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	206.	Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden. by Fried, Michael D \| Jarden, Moshe \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	207.	A Theory of Distributed Objects [electronic resource] : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio. by Caromel, Denis \| Henrio, Ludovic \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	208.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Kurki-Suonio, Reino \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	209.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W \| Brauer, W \| Rozenberg, G \| Salomaa, A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	210.	Complexity Theory [electronic resource] : Exploring the Limits of Efficient Algorithms / by Ingo Wegener. by Wegener, Ingo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	211.	Introduction to Modern Number Theory [electronic resource] / by Yuri Ivanovic Manin, Alexei A. Panchishkin. by Manin, Yuri Ivanovic \| Panchishkin, Alexei A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	212.	Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / edited by James F. Peters, Andrzej Skowron, Didier Dubois, Jerzy W. Grzymała-Busse, Masahiro Inuiguchi, Lech Polkowski. by Peters, James F \| Skowron, Andrzej \| Dubois, Didier \| Grzymała-Busse, Jerzy W \| Inuiguchi, Masahiro \| Polkowski, Lech \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	213.	Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. by Trinder, Phil \| Michaelson, Greg J \| Peña, Ricardo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	214.	Argumentation Methods for Artificial Intelligence in Law [electronic resource] / by Douglas Walton. by Walton, Douglas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	215.	Laws of Nature [electronic resource] / by Peter Mittelstaedt, Paul A. Weingartner. by Mittelstaedt, Peter \| Weingartner, Paul A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	216.	Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp. by Moreno, J. Manuel \| Madrenas, Jordi \| Cosp, Jordi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	217.	Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers / edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz. by Gschwind, Thomas \| Aßmann, Uwe \| Nierstrasz, Oscar \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	218.	Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Ebbinghaus, Heinz-Dieter \| Flum, Jörg \| SpringerLink (Online service). Edition: Second Revised and Enlarged Edition 1999.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	219.	Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez. by Ciobanu, Gabriel \| Păun, Gheorghe \| Pérez-Jiménez, Mario J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	220.	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg \| Grohe, Martin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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