Showing 501 - 520 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.09s Refine Results
  1. 501
    Computer Safety, Reliability, and Security (vol. # 3688) 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
    by Dahll, Gustav
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 502
    The Semantic Web вЂ" ISWC 2002 First International Semantic Web Conference Sardinia, Italy, June 9вЂ"12, 2002 Proceedings /
    by Horrocks, Ian
    Published 2006
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 503
    Principles and Practice of Constraint Programming вЂ" CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings /
    by Bessière, Christian
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 504
    Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
    by Kreowski, Hans-Jörg
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 505
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    by Misra, Jayadev
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 506
    Computer Safety, Reliability, and Security (vol. # 4166) 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
    by Górski, Janusz
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 507
    Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 508
    Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
    by Saglietti, Francesca
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 509
    Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
    by Kučera, Luděk
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 510
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 511
    Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 512
    Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 513
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 514
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 515
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 516
    Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 517
    Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 518
    Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 519
    Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 520
    Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed