Yahoo! JAPAN

検索設定 - この検索結果ページについて

Automata, languages and programming で検索した結果 1~10件目 / 約6,260,000件 - 0.56秒

ウェブ

  1. Automata, Languages and Programming - Springer Link
    This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programm.
    link.springer.com/book/10.1007/3-540-19488-6
  2. Automata, Languages and Programming | SpringerLink
    Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions. Hans Langmaack, Ernst-Rüdiger Olderog. Pages 363-373. PDF · Symmertric space-bounded computation ( extended ...
    link.springer.com/book/10.1007/3-540-10003-2
  3. International Colloquium on Automata, Languages and ...
    The International Colloquium on Automata, Languages and Programming ( ICALP) is the main conference and annual meeting of the EATCS. This international conference was launched in 1972 and covers all aspects of theoretical computer ...
    eatcs.org/index.php/international-colloquium
  4. ICALP 2019
    Welcome. The 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical ...
    icalp2019.upatras.gr/
  5. International Colloquium on Automata, Languages and Programming
    ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe.
    en.wikipedia.org/.../International_Colloquium_on_Auto...
  6. Proceedings of the 25th International Colloquium on Automata ...
    ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming ... Cédric Fournet , Georges Gonthier, The Join Calculus: A Language for Distributed Mobile Programming, Applied Semantics, ...
    dl.acm.org/citation.cfm?id=646252&picked=prox
  7. International Colloquium on Automata, Languages and Programming
    2019年10月1日 ... Guidelines Authors are invited to submit an extended abstract of no more than 12 pages, excluding references and the front page(s) (authors, affiliation, keywords, abstract, ...), presenting original research on the theory of ...
    www.myhuiban.com/conference/381
  8. ICALP 2019 : International Colloquium on Automata, Languages ...
    Track B: Automata, logic, semantics, and theory of programming. Algebraic and Categorical Models Automata, Games, and Formal Languages Emerging and Non-standard Models of Computation Databases, Semi-Structured ...
    www.guide2research.com/conference/icalp-2019
  9. ICALP 2018 - IUUK
    The 45th International Colloquium on Automata, Languages, and Programming ( ICALP) will take place in Prague, Czech Republic, on July 9-13, 2018. ICALP is the main conference and annual meeting of the European Association for ...
    iuuk.mff.cuni.cz/~icalp2018/
  10. ICALP 2019 : 46th International Colloquium on Automata ... - WikiCFP
    ICALP 2019 - Second Call for Papers ================================= = https://icalp2019.upatras.gr/ The 46th International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Patras, Greece, on 8-12  ...
    www.wikicfp.com/cfp/servlet/event.showcfp?eventid...
  1  2  3  4  5  6  7  8  9  10  次へ »
検索設定 - この検索結果ページについて

Copyright (C) 2019 Yahoo Japan Corporation. All Rights Reserved.