Library Services | Technical University of Kenya catalog › Results of search for 'su:{Logics and Meanings of Programs.}'

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

Your search returned 1126 results.

« Previous
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
Next »

« Previous
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
Next »

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

	781.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] \| Roy, Olivier [editor.] \| Huang, Huaxin [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)
	782.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Pecheur, Charles [editor.] \| Dierkes, Michael [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)
	783.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [editor.] \| Potapov, Igor [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)
	784.	Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by Moreira, Ana [editor.] \| Schätz, Bernhard [editor.] \| Gray, Jeff [editor.] \| Vallecillo, Antonio [editor.] \| Clarke, Peter [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)
	785.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Duchier, Denys [editor.] \| Parmentier, Yannick [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)
	786.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [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)
	787.	In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by Tannen, Val [editor.] \| Wong, Limsoon [editor.] \| Libkin, Leonid [editor.] \| Fan, Wenfei [editor.] \| Tan, Wang-Chiew [editor.] \| Fourman, Michael [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)
	788.	Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by Yenigün, Hüsnü [editor.] \| Yilmaz, Cemal [editor.] \| Ulrich, Andreas [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)
	789.	Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo. by Ng, Wilfred [editor.] \| Storey, Veda C [editor.] \| Trujillo, Juan C [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)
	790.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] \| Middeldorp, Aart [editor.] \| Voronkov, Andrei [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)
	791.	Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by Sagonas, Kostis [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)
	792.	User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht. by Lamprecht, Anna-Lena [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)
	793.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe. by Maciaszek, Leszek A [editor.] \| Filipe, Joaquim [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)
	794.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek. by Filipe, Joaquim [editor.] \| Maciaszek, Leszek A [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)
	795.	Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] \| Numao, Masayuki [editor.] \| Caro, Jaime [editor.] \| Suarez, Merlin Teodosia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	796.	Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero. by Mogavero, Fabio [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	797.	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] \| Tarlecki, Andrzej [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)
	798.	The NCL Natural Constraint Language [electronic resource] / by Jianyang Zhou. by Zhou, Jianyang [author.] \| 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)
	799.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] \| Nordio, Martin [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)
	800.	SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober. by Ober, Iulian [editor.] \| Ober, Ileana [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics