Showing 321 - 340 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.14s Refine Results
  1. 321
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    by Altenkirch, Thorsten
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 322
    Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
    by Miculan, Marino
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 323
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 324
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    by Baader, Franz
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 325
    Concise Computer Mathematics Tutorials on Theory and Problems /
    by Bagdasar, Ovidiu
    Published in Springer eBooks (2013)
    Table of Contents: “...Sets and Numbers -- Relations and Databases -- Functions -- Boolean Algebra, Logic and Quantifiers...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 326
    Probabilistic Inductive Logic Programming Theory and Applications /
    by De Raedt, Luc
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 327
    Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 328
    Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... techniques for any programming language paradigm....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 329
    Formal Correctness of Security Protocols With 62 Figures and 4 Tables /
    by Bella, Giampaolo
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 330
    CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 331
    Finite Model Theory and Its Applications
    by Grädel, Erich
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 332
    Semantics of Probabilistic Processes An Operational Approach /
    by Deng, Yuxin
    Published in Springer eBooks (2014)
    Table of Contents: “...1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 333
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings
    by Barkaoui, Kamel
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 334
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    by Araki, Keijiro
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 335
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Verification Language -- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 336
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... Formal Model of the X86 -- Verification of a Virtual Filesystem Switch -- Verifying Chinese Train Control...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 337
    Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 338
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Runtime Verification of Real-Time and Embedded Systems -- Online Monitoring of Metric Temporal Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 339
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- On the Expressiveness of Metric Temporal Logic over Bounded Timed Words -- Trace Inclusion for One-Counter Nets...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 340
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed