Showing 421 - 440 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.08s Refine Results
  1. 421
    Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 422
    Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 423
    Automated Deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 424
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 425
    Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 426
    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: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 427
    Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 428
    Distributed Applications and Interoperable Systems (vol. # 3543) 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    by Kutvonen, Lea
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 429
    Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
    by Priami, Corrado
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 430
    Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
    by Baumeister, Hubert
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 431
    Handbook of Philosophical Logic
    by Gabbay, D. M.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 432
    Developments in Language Theory (vol. # 4036) 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    by Ibarra, Oscar H.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 433
    Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    by Indulska, Jadwiga
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 434
    Hybrid Systems: Computation and Control (vol. # 3414) 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
    by Morari, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 435
    Hybrid Systems: Computation and Control (vol. # 3927) 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    by Hespanha, Joao
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 436
    Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
    by Abrahamsson, Pekka
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 437
    Distributed Applications and Interoperable Systems (vol. # 4025) 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
    by Eliassen, Frank
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 438
    Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
    by Reussner, Ralf H.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 439
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    by Bonsangue, Marcello M.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 440
    Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed