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

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

Your search returned 1161 results.

« Previous
47
48
49
50
51
52
53
54
55
56
57
58
59
Next »

« Previous
47
48
49
50
51
52
53
54
55
56
57
58
59
Next »

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

	1101.	Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes. by Ferreira, Fernando [editor.] \| Löwe, Benedikt [editor.] \| Mayordomo, Elvira [editor.] \| Mendes Gomes, Luís [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1102.	Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini. by Fraser, Gordon [editor.] \| Gargantini, Angelo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1103.	Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann. by Hüllermeier, Eyke [editor.] \| Kruse, Rudolf [editor.] \| Hoffmann, Frank [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1104.	Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson. by Kaufmann, Matt [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1105.	Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann. by Hüllermeier, Eyke [editor.] \| Kruse, Rudolf [editor.] \| Hoffmann, Frank [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1106.	Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann. by Hüllermeier, Eyke [editor.] \| Kruse, Rudolf [editor.] \| Hoffmann, Frank [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1107.	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. by Abramsky, Samson [editor.] \| Gavoille, Cyril [editor.] \| Kirchner, Claude [editor.] \| Meyer auf der Heide, Friedhelm [editor.] \| Spirakis, Paul G [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1108.	Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor. by Governatori, Guido [editor.] \| Sartor, Giovanni [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1109.	Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider. by Strichman, Ofer [editor.] \| Szeider, Stefan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1110.	Conceptual Structures: From Information to Intelligence [electronic resource] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose. by Croitoru, Madalina [editor.] \| Ferré, Sébastien [editor.] \| Lukose, Dickson [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1111.	Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle. by Giesl, Jürgen [editor.] \| Hähnle, Reiner [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1112.	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. by Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1113.	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] \| Cook, Byron [editor.] \| Jackson, Paul [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1114.	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. by Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1115.	The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. by Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1116.	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. by Borba, Paulo [editor.] \| Cavalcanti, Ana [editor.] \| Sampaio, Augusto [editor.] \| Woodcook, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1117.	Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers / edited by Norbert E. Fuchs. by Fuchs, Norbert E [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1118.	Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. by Gao, Yuan [editor.] \| Lu, Hanlin [editor.] \| Seki, Shinnosuke [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1119.	Transactions on Rough Sets XII [electronic resource] / edited by James F. Peters, Andrzej Skowron, Roman Słowiński, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto. by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Słowiński, Roman [editor.] \| Lingras, Pawan [editor.] \| Miao, Duoqian [editor.] \| Tsumoto, Shusaku [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	1120.	Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer. by Platzer, André [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics