Your search returned 5 results.

Results
	1.		Image from Amazon.com	Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner. by Goldin, Dina [editor.] Smolka, Scott A [editor.] Wegner, Peter [editor.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka. by Kifer, Michael [author.] Smolka, Scott A [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer SciencePublisher: London : Springer London, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8734Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	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) Series: Lecture Notes in Computer Science ; 7795Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Handbook of process algebra / edited by J.A. Bergstra, A. Ponse, S.A. Smolka. by Bergstra, J. A Ponse, A. (Alban), 1955- Smolka, Scott A ScienceDirect eBooks Edition: 1st ed. 2001 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu