Showing 381 - 400 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.09s Refine Results
  1. 381
    Membrane Computing (vol. # 3365) 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
    by Mauri, Giancarlo
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 382
    Implementation and Application of Automata (vol. # 3317) 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
    by Domaratzki, Michael
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 383
    Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
    Published in Springer eBooks (2014)
    Table of Contents: “... Recognizing Equal-Length Languages -- Aspects of Reversibility for Classical Automata -- A Weakly Universal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 384
    Formal Concept Analysis (vol. # 3874) 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
    by Missaoui, Rokia
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 385
    Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Bodik, Rastislav
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 386
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    by Nieuwenhuis, Robert
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 387
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Furbach, Ulrich
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 388
    Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    by Mycroft, Alan
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 389
    Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
    by Bozapalidis, Symeon
    Published in Springer eBooks (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 390
    Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
    by Mossakowski, Till
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 391
    Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    by Hendren, Laurie
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 392
    Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
    by Fiadeiro, José Luiz
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 393
    Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 394
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 395
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 396
    Automated Deduction вЂ" CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    by Pfenning, Frank
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 397
    Algorithms in Invariant Theory
    by Sturmfels, Bernd
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 398
    Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    by Rust, Heinrich
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 399
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    by Etessami, Kousha
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 400
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed