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

Your search returned 2137 results.

« Previous
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
Next »

	1621.	Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick [editor.] \| Goranko, Valentin [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)
	1622.	Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio [editor.] \| Tolvanen, Juha-Pekka [editor.] \| Kindler, Ekkart [editor.] \| Störrle, Harald [editor.] \| Kolovos, Dimitris [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)
	1623.	Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur [editor.] \| Chattopadhyay, Sanatan [editor.] \| Chattopadhyay, Santanu [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)
	1624.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings / edited by Petra Perner. by Perner, Petra [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)
	1625.	The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré. by Moot, Richard [author.] \| Retoré, Christian [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)
	1626.	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. by Ågotnes, Thomas [editor.] \| Broersen, Jan [editor.] \| Elgesem, Dag [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)
	1627.	Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / edited by Nelma Moreira, Rogério Reis. by Moreira, Nelma [editor.] \| Reis, Rogério [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)
	1628.	Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani. by Cimatti, Alessandro [editor.] \| Sebastiani, Roberto [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)
	1629.	Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis. by Kutrib, Martin [editor.] \| Moreira, Nelma [editor.] \| Reis, Rogério [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)
	1630.	Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. by Bordihn, Henning [editor.] \| Kutrib, Martin [editor.] \| Truthe, Bianca [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)
	1631.	Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / edited by Hsu-Chun Yen, Oscar H. Ibarra. by Yen, Hsu-Chun [editor.] \| Ibarra, Oscar H [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)
	1632.	Advances on Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	1633.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	1634.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	1635.	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] \| Bouchon-Meunier, Bernadette [editor.] \| Coletti, Giulianella [editor.] \| Fedrizzi, Mario [editor.] \| Matarazzo, Benedetto [editor.] \| Yager, Ronald R [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)
	1636.	Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker. by Donaldson, Alastair [editor.] \| Parker, David [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)
	1637.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Beckert, Bernhard [editor.] \| Damiani, Ferruccio [editor.] \| Gurov, Dilian [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)
	1638.	Overview of the PMBOK® Guide [electronic resource] : Paving the Way for PMP® Certification / by Deasún Ó Conchúir. by Ó Conchúir, Deasún [author.] \| SpringerLink (Online service). Edition: 3rd ed. 2012.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)
	1639.	Rough Sets and Knowledge Technology [electronic resource] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu. by Li, Tianrui [editor.] \| Nguyen, Hung Son [editor.] \| Wang, Guoyin [editor.] \| Grzymala-Busse, Jerzy [editor.] \| Janicki, Ryszard [editor.] \| Hassanien, Aboul Ella [editor.] \| Yu, Hong [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)
	1640.	Transactions on Rough Sets XV [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] \| Skowron, Andrzej [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)

« Previous
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
Next »

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics