Explore: Théorie Automate

Discover books, insights, and more — all in one place.

Learn more about Théorie Automate with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “th%C3%A9orie-automate”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Counter-free automata

By

Book's cover

“Counter-free automata” Metadata:

  • Title: Counter-free automata
  • Author:
  • Language: English
  • Number of Pages: Median: 163
  • Publisher: M.I.T. Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“Counter-free automata” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1971
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Counter-free automata at online marketplaces:


2Automata-Theoretic Aspects of Formal Power Series

By

Book's cover

“Automata-Theoretic Aspects of Formal Power Series” Metadata:

  • Title: ➤  Automata-Theoretic Aspects of Formal Power Series
  • Author:
  • Language: English
  • Number of Pages: Median: 171
  • Publisher: Springer-Verlag - Springer
  • Publish Date:
  • Publish Location: New York

“Automata-Theoretic Aspects of Formal Power Series” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1978
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: Unclassified

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Automata-Theoretic Aspects of Formal Power Series at online marketplaces:


    3Temporal logic in specification

    By

    Book's cover

    “Temporal logic in specification” Metadata:

    • Title: ➤  Temporal logic in specification
    • Author:
    • Language: English
    • Number of Pages: Median: 448
    • Publisher: Springer-Verlag - Springer
    • Publish Date:
    • Publish Location: New York - Berlin

    “Temporal logic in specification” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1989
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Temporal logic in specification at online marketplaces:


    4Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)

    By

    Book's cover

    “Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)” Metadata:

    • Title: ➤  Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)
    • Author:
    • Language: English
    • Number of Pages: Median: 420
    • Publisher: Springer
    • Publish Date:

    “Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science)” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1992
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (Foundations of ... Technology and Theoretical Computer Science) at online marketplaces:


      5Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992

      By

      Book's cover

      “Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992” Metadata:

      • Title: ➤  Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992
      • Author:
      • Language: English
      • Number of Pages: Median: 721
      • Publisher: Springer
      • Publish Date:

      “Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1992
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: No_ebook

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992 at online marketplaces:


        Top of Page