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