Showing 1 - 20 results of 66 for search '"Autómata"', query time: 1.13s Refine Results
  1. 1
    Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers /
    Published 1999
    Table of Contents: “... languages in linear time / Heiko Goeman -- Minimal cover-automata for finite languages / Cezar Câmpeanu...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  2. 2
    Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
    Published 2000
    Table of Contents: “... Automata -- LTL Is Expressively Complete for Mazurkiewicz Traces -- An Automata-Theoretic Completeness...”

    Conference Proceeding Book
  3. 3
    Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings /
    Published 1996
    Table of Contents: “... sentences of büchi's sequential calculus -- Fixpoints for rabin tree automata make complementation easy...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  4. 4
    Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings /
    Published 1999
    Table of Contents: “... Inapproximability Results (Extended Abstract) -- Decomposition and Composition of Timed Automata -- New Applications...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  5. 5
    Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
    Published 1997

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  6. 6
    Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 /
    Published 1977
    Table of Contents: “... in probabilistic automata -- Termination tests inside?-calculus -- On the computational power of reversal-bounded...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  7. 7
    Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 /
    Published 1980
    Table of Contents: “... equational specification method -- A note on sweeping automata -- Border rank of a p×q×2 tensor...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  8. 8
    Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 /
    Published 1978

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  9. 9
    Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
    Published 1979
    Table of Contents: “... automata -- Bracketed two-level grammars -- A decidable and practical approach to language definitions...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  10. 10
    Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings /
    Published 1994
    Table of Contents: “... neural networks -- Deciding properties of integral relational automata -- On the cost of recomputing...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  11. 11
    Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings /
    Published 1993

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  12. 12
    Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings /
    Published 1995
    Table of Contents: “... Finite Automata Public Key Cryptosystem -- Stochastic graphs have short memory: Fully dynamic...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  13. 13
    Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
    Published 1998
    Table of Contents: “... -- on the complexity of LTrL -- On the expressiveness of real and integer arithmetic automata -- Distributed matroid...”

    Conference Proceeding Book
  14. 14
    Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 /
    Published 1976
    Table of Contents: “...W-automata and their languages /...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  15. 15
    Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings /
    Published 2001
    Table of Contents: “... of Singular Moduli with Application in Cryptography -- Ambainis-Freivalds' Algorithm for Measure-Once Automata...”

    Conference Proceeding Book
  16. 16
    Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings /
    Published 2002
    Table of Contents: “...Timed Automata with Asynchronous Processes: Schedulability and Decidability /...”

    Conference Proceeding Book
  17. 17
    Fundamentals of computation theory : 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings /
    Published 1993
    Table of Contents: “...Undecidability of the Surjectivity Problem for 2D Cellular Automata: A Simplified Proof /...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  18. 18
    Science and technology in Homeric epics /
    Published 2008
    Table of Contents: “...Homeric Automata and Their Implementation /...”

    Book
  19. 19
    Computer network security : Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003 : proceedings /
    Published 2003
    Table of Contents: “...Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences /...”

    Conference Proceeding Book
  20. 20
    Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
    Published 2003
    Table of Contents: “... Uncertainty -- Static Guard Analysis in Timed Automata Verification -- Moby/DC -- A Tool for Model-Checking...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search