Showing 1 - 20 results of 33 for search '', query time: 0.11s Refine Results
  1. 1
    Automata, logics, and infinite games

    Automata, logics, and infinite games

    Berlin ; New York : Springer, 2002
    Format: Electronic eBook
    Save to List
    Saved in:
  2. 2
    Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers

    Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

    Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

    Berlin : Springer, 2004
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  4. 4
    Problem solving in automata, languages, and complexity

    Problem solving in automata, languages, and complexity by Du, Dingzhu

    New York : Wiley, 2001
    Format: Book


    Save to List
    Saved in:
  5. 5
    Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings

    Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and...

    Berlin ; New York : Springer, 2004
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

    Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

    Berlin ; New York : Springer, 2001
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

    Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

    Berlin ; New York : Springer, 2004
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

    Berlin ; New York, NY : Springer, 2004
    Format: Electronic eBook
    Save to List
    Saved in:
  9. 9
    Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

    Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

    Berlin ; New York : Springer, 1997
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

    Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

    Berlin : Springer, 2006
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

    Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

    Berlin ; New York : Springer, 2002
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Formal languages; automata and structures.

    Formal languages; automata and structures. by Engeler, Erwin

    Chicago, Markham Pub. Co. 1968
    Format: Book


    Save to List
    Saved in:
  13. 13
    Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

    Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : procee...

    Berlin ; New York : Springer-Verlag, 2001
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

    Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

    Berlin ; New York : Springer-Verlag, 1983
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  15. 15
    Implementation and application of automata : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings

    Implementation and application of automata : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings

    Berlin ; New York : Springer, 2006
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Formal models of computation : the ultimate limits of computing

    Formal models of computation : the ultimate limits of computing by Fleck, Arthur Charles

    Singapore ; River Edge, NJ : World Scientific, 2001
    Format: Book


    Save to List
    Saved in:
  17. 17
    Formal and natural computing : essays dedicated to Grzegorz Rozenberg

    Formal and natural computing : essays dedicated to Grzegorz Rozenberg

    Berlin ; New York : Springer, 2002
    Format: Electronic eBook
    Save to List
    Saved in:
  18. 18
    Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers

    Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers

    Berlin ; New York : Springer, 2003
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  19. 19
    Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

    Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

    Berlin ; New York : Springer, 2003
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Introduction to process algebra

    Introduction to process algebra by Fokkink, Wan, 1965-

    Berlin ; New York : Springer, 2000
    Format: Book


    Save to List
    Saved in:

Search Tools: