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.

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

	701.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales. by Croitoru, Madalina [editor.] \| Rudolph, Sebastian [editor.] \| Woltran, Stefan [editor.] \| Gonzales, Christophe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	702.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival. by McMillan, Kenneth L [editor.] \| Rival, Xavier [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, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	703.	Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko. by Cohen, Ernie [editor.] \| Rybalchenko, Andrey [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, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	704.	David Makinson on Classical Methods for Non-Classical Problems [electronic resource] / edited by Sven Ove Hansson. by Hansson, Sven Ove [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available Add to cart (remove)
	705.	Belief Revision in Non-Classical Logics [electronic resource] / by Márcio Moretto Ribeiro. by Ribeiro, Márcio Moretto [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	706.	Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by O’Regan, Gerard [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	707.	Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by Singh, Neeraj Kumar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	708.	Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by Crespi Reghizzi, Stefano [author.] \| Breveglieri, Luca [author.] \| Morzenti, Angelo [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	709.	Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson. by Subrahmanian, V.S [author.] \| Mannes, Aaron [author.] \| Sliva, Amy [author.] \| Shakarian, Jana [author.] \| Dickerson, John P [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	710.	A Course on Mathematical Logic [electronic resource] / by Shashi Mohan Srivastava. by Srivastava, Shashi Mohan [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	711.	A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. by Martinez, Maria Vanina [author.] \| Molinaro, Cristian [author.] \| Subrahmanian, V.S [author.] \| Amgoud, Leila [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	712.	Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by Moller, Faron [author.] \| Struth, Georg [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	713.	Concise Computer Mathematics [electronic resource] : Tutorials on Theory and Problems / by Ovidiu Bagdasar. by Bagdasar, Ovidiu [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	714.	Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk. by Erwig, Martin [editor.] \| Paige, Richard F [editor.] \| Wyk, Eric [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	715.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] \| Legay, Axel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	716.	Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by Masulli, Francesco [editor.] \| Pasi, Gabriella [editor.] \| Yager, Ronald [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	717.	AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by Baldoni, Matteo [editor.] \| Baroglio, Cristina [editor.] \| Boella, Guido [editor.] \| Micalizio, Roberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	718.	Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Shan, Chung-chieh [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	719.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Gonthier, Georges [editor.] \| Norrish, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	720.	Ernst Zermelo - Collected Works/Gesammelte Werke II [electronic resource] : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori. by Zermelo, Ernst [author.] \| Ebbinghaus, Heinz-Dieter [editor.] \| Kanamori, Akihiro [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, 2013Online 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