Showing 1 - 4 results of 4 for search 'Smolka, Scott A.', query time: 0.01s Refine Results
  1. 1
    Introduction to Operating System Design and Implementation The OSP 2 Approach /
    by Kifer, Michael
    Published in Springer e-books (2007)
    Other Authors: “...Smolka, Scott A....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Other Authors: “...Smolka, Scott A....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Interactive Computation The New Paradigm /
    by Goldin, Dina
    Published in Springer e-books (2006)
    Other Authors: “...Smolka, Scott A....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Other Authors: “...Smolka, Scott A....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed