Jump to main content

yr 〜
yr

Search results 7

Automata, languages and programming : 38th international colloquium, ICALP 2011 : Zurich, Switzerland, July 4-8, 2011 : proceedings : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2011, Zurich, Switzerland. (Lecture Notes in Computer Science ; 6755-6756. Advanced Research in Computing and Software Science)

Automata, languages and programming : 38th international colloquium, ICALP 2011 : Zurich, Switzerland, July 4-8, 2011 : proceedings : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2011, Zurich, Switzerland. (Lecture Notes in Computer Science ; 6755-6756. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-12-46>
National Diet Library
  • Author HeadingAceto, Luca. Henzinger, Monika. Sgall, Ji...

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-31, 2006 : proceedings. : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3921)

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006 : held as part of the joint European conferences on theory and practice of software, ETAPS 2006 : Vienna, Austria, March 25-31, 2006 : proceedings. : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3921)
Paper図書
Springerc2006.<M17-06-1894>
National Diet Library
  • Author HeadingTechnische Universität Wien. Aceto, Luca. Anna Ingólfsdóttir. FOSSACS ...

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings pt. 1 pt. 2

Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings pt. 1 pt. 2
Paper図書
Luca Aceto, Monika Henzinger, Jiřį́ Sgall, (eds.)Springerc2011
Other Libraries in Japan
  • Author Heading...nd Programming Aceto, Luca Henzinger, Monika Sgall, Jiřį...

Reactive systems : modelling, specification and verification : hbk

Reactive systems : modelling, specification and verification : hbk
Paper図書
Luca Aceto ... [et al.]Cambridge University Pressc2007
Other Libraries in Japan
  • Author HeadingAceto, Luca

Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings pt. 1 pt. 2

Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings pt. 1 pt. 2
Paper図書
Luca Aceto ... [et al.] (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingInternational Colloquium on Automata, Languages and Programming Aceto, Luca

Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings

Foundations of software science and computation structures : 9th International Conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings
Paper図書
Luca Aceto, Anna Ingólfsdóttir (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFOSSACS Aceto, Luca Anna Ingólfsdóttir European C...

Action refinement in process algebras

Action refinement in process algebras
Paper図書
Luca AcetoCambridge University Pressc1992
Other Libraries in Japan
  • Author HeadingAceto, Luca

Reached to the end of result.

RSS