Showing 141 - 160 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.05s Refine Results
  1. 141
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    by Holub, Jan
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  2. 142
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    by Leue, Stefan
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  3. 143
    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...”
    Get full text
    eBook
  4. 144
    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...”
    Get full text
    eBook
  5. 145
    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...”
    Get full text
    eBook
  6. 146
    Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
    by Raskin, Jean-François
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  7. 147
    Formal Methods Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
    by Brim, Lubos
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  8. 148
    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...”
    Get full text
    eBook
  9. 149
    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...”
    Get full text
    eBook
  10. 150
    Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
    by Durand-Lose, Jérôme
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  11. 151
    Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    by de Boer, Frank S.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  12. 152
    Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
    by Horváth, András
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  13. 153
    Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  14. 154
    Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
    by Shi, Zhongzhi
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  15. 155
    Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 156
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    by Maragria, Tiziana
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  17. 157
    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...”
    Get full text
    eBook
  18. 158
    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...”
    Get full text
    eBook
  19. 159
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    by Asarin, Eugene
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  20. 160
    Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    by Pettersson, Paul
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
Search Tools: Get RSS Feed