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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Next »

« Previous
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Next »

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

	1161.	Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi. by Frasconi, Paolo \| Lisi, Francesca A \| 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)
	1162.	Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. by Romanovsky, Alexander \| Vardanega, Tullio \| 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)
	1163.	Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg. by Calude, Cristian S \| Kari, Jarkko \| Petre, Ion \| Rozenberg, Grzegorz \| 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)
	1164.	Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. by Blackburn, Patrick \| Ditmarsch, Hans \| Manzano, María \| Soler-Toscano, Fernando \| 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)
	1165.	FM 2011: Formal Methods [electronic resource] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. by Butler, Michael \| Schulte, Wolfram \| 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)
	1166.	Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. by Bernardo, Marco \| Issarny, Valérie \| 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)
	1167.	Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Roberto Bruni, Juergen Dingel. by Bruni, Roberto \| Dingel, Juergen \| 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)
	1168.	Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. by France, Robert B \| Kuester, Jochen M \| Bordbar, Behzad \| Paige, Richard F \| 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)
	1169.	Multidisciplinary Aspects of Time and Time Perception [electronic resource] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers / edited by Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis. by Vatakis, Argiro \| Esposito, Anna \| Giagkou, Maria \| Cummins, Fred \| Papadelis, Georgios \| 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)
	1170.	Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré. by Pogodalla, Sylvain \| Quatrini, Myriam \| Retoré, Christian \| 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)
	1171.	Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler. by Winkler, Franz \| 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)
	1172.	Transactions on Rough Sets XIV [electronic resource] / edited by James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu. by Peters, James F \| Skowron, Andrzej \| Sakai, Hiroshi \| Chakraborty, Mihir Kumar \| Slezak, Dominik \| Hassanien, Aboul Ella \| Zhu, William \| 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)
	1173.	Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon. by Sakallah, Karem A \| Simon, Laurent \| 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)
	1174.	System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann. by Kraemer, Frank Alexander \| Herrmann, Peter \| 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)
	1175.	Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. by Ong, Luke \| 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)
	1176.	Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings / edited by Jordi Cabot, Eelco Visser. by Cabot, Jordi \| Visser, Eelco \| 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)
	1177.	Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff. by Gogolla, Martin \| Wolff, Burkhart \| 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)
	1178.	From Objects to Diagrams for Ranges of Functors [electronic resource] / by Pierre Gillibert, Friedrich Wehrung. by Gillibert, Pierre \| Wehrung, Friedrich \| 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)
	1179.	Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. by Kristensen, Lars M \| Petrucci, Laure \| 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)
	1180.	Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. by Löwe, Benedikt \| Normann, Dag \| Soskov, Ivan \| Soskova, Alexandra \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics