Showing 161 - 180 results of 696 for search '"meaning."', query time: 0.06s Refine Results
  1. 161
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed
    by Halbwachs, Nicolas
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 162
    Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
    by Barley, Michael Wayne
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 163
    Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings /
    by Kounev, Samuel
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 164
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
    by Grumberg, Orna
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 165
    Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
    by George, Chris W.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 166
    Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
    by Schmidt, Heinz W.
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 167
    Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /
    by Wolter, Katinka
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 168
    Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 169
    Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
    by Lumpe, Markus
    Published in Springer eBooks (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 170
    Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
    by Pautasso, Cesare
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 171
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 172
    Modelling Computing Systems Mathematics for Computer Science /
    by Moller, Faron, Struth, Georg
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 173
    Semantics of Probabilistic Processes An Operational Approach /
    by Deng, Yuxin
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 174
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 175
    Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
    by Dignum, Frank
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 176
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 177
    Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 178
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    by Bonsangue, Marcello M.
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 179
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    by Leue, Stefan
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 180
    Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    by Bodik, Rastislav
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed