Your search returned 3 results. Subscribe to this search

|
1. Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka.

by Kifer, Michael | Smolka, Scott A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
2. Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner.

by Goldin, Dina | Smolka, Scott A | Wegner, Peter | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
3. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka.

by Piterman, Nir [editor.] | Smolka, Scott A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

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