IMSc Library catalog › Results of search for 'au:"Esparza, Javier."'

Your search returned 7 results.

Not what you expected? Check for suggestions

			Free Choice Petri Nets by Desel, Jorg \| Esparza, Javier. Series: Cambridge Tracts in Theoretical Computer Science, V. 40Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DES. Place hold Log in to add tags
			Unfoldings a partial-order approach to model checking by Esparza, Javier \| Heljanko, Keijo. Series: Monographs in theoretical computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 ESP. Place hold Log in to add tags
			Finite and algorithmic model theory by Esparza, Javier,Ed \| Michaux, Christian \| Steinhorn, Charles. Series: London mathematical society lecture note series; 00379Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge university press ; New York ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 ESP. Place hold Log in to add tags
			Application and Theory of Petri Nets 2002 [electronic resource] : 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings / edited by Javier Esparza, Charles Lakos. by Esparza, Javier [editor.] \| Lakos, Charles [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2360Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			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 ; 6015Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Finite and Algorithmic Model Theory / Edited by Javier Esparza, Christian Michaux, Charles Steinhorn. by Esparza, Javier [editor of compilation.] \| Michaux, Christian [editor of compilation.] \| Steinhorn, Charles [editor of compilation.]. Series: London Mathematical Society Lecture Note Series ; no. 379Material type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Other title: Finite & Algorithmic Model Theory.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Esparza, Javier [editor.] \| Murawski, Andrzej S [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10203 \| Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha