Your search returned 6 results.

Results
	1.		Image from Amazon.com	Logics and languages for reliability and security [electronic resource] / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg. by Esparza, Javier Spanfelner, Bernd Grumberg, Orna ebrary, Inc Technische Universit�at M�unchen (Germany) TECHNION. Israel Institute of Technology (Israel) Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 25. Publication details: Washington, D.C. : IOS Press, 2010 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	Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier [author.] Heljanko, Keijo [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 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	Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias. by Esparza, Javier [editor.] Fraigniaud, Pierre [editor.] Husfeldt, Thore [editor.] Koutsoupias, Elias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8572Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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	Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias. by Esparza, Javier [editor.] Fraigniaud, Pierre [editor.] Husfeldt, Thore [editor.] Koutsoupias, Elias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8573Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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)
	5.		Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6015Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn. by Esparza, Javier [editor.] Michaux, Christian [editor.] Steinhorn, Charles [editor.] Cambridge eBooks Series: London Mathematical Society lecture note series ; 379.Publisher: Cambridge : Cambridge University Press, 2011 Other title: Finite & Algorithmic Model Theory 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