yr 〜
yr

Search results 8

Automata, languages, and programming : 41st international colloquium, ICALP 2014 : Copenhagen, Denmark, July 8-11, 2014 : proceedings : main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) : Jul 2014, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 8572-8573. Advanced Research in Computing and Software Science)

Automata, languages, and programming : 41st international colloquium, ICALP 2014 : Copenhagen, Denmark, July 8-11, 2014 : proceedings : main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) : Jul 2014, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 8572-8573. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-547>
National Diet Library
  • Author Heading...agen, Denmark) Esparza, Javier. Fraigniaud, Pierre. Husfeldt...

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
Paper図書
IOS Pressc2010.<M17-11-3494>
National Diet Library
  • Author HeadingEsparza, Javier. Spanfelner, Bernd. Grumberg,...

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings pt. 1 : pbk pt. 2

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings pt. 1 : pbk pt. 2
Paper図書
Javier Esparza ... [et al.] (eds.)Springerc2014
Other Libraries in Japan
  • Author Heading...nd Programming Esparza, Javier Fraigniaud, Pierre Husfeldt, ...

Finite and algorithmic model theory : pbk

Finite and algorithmic model theory : pbk
Paper図書
edited by Javier Esparza, Christian Michaux, Charles SteinhornCambridge University Press2011
Other Libraries in Japan
  • Author HeadingEsparza, Javier Michaux, Christian Steinhorn,...

Unfoldings : a partial-order approach to model checking hbk. pbk.

Unfoldings : a partial-order approach to model checking hbk. pbk.
Paper図書
Javier Esparza, Keijo HeljankoSpringerc2008
Other Libraries in Japan
  • Author HeadingEsparza, Javier Heljanko, Keijo

Free choice Petri nets

Free choice Petri nets
Paper図書
Jörg Desel, Javier EsparzaCambridge University Press2005
Other Libraries in Japan
  • Author HeadingDesel, Jörg Esparza, Javier

Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings

Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
Paper図書
Javier Esparza, Charles Lakos (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Applications and Theory of Petri Nets Esparza, Javier Lakos, Charles

Free choice Petri nets

Free choice Petri nets
Paper図書
Jörg Desel, Javier EsparzaCambridge University Press1995
Other Libraries in Japan
  • Author HeadingDesel, Jörg Esparza, Javier

Reached to the end of result.