Showing 261 - 280 results of 2,055 for search '"programs"', query time: 0.05s Refine Results
  1. 261
    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
  2. 262
    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
  3. 263
    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
  4. 264
    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
  5. 265
    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
  6. 266
    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
  7. 267
    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
  8. 268
    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
  9. 269
    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
  10. 270
    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
  11. 271
    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
  12. 272
    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
  13. 273
    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
  14. 274
    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
  15. 275
    Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V
    by Hermanns, Holger
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 276
    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...”
    Get full text
    eBook
  17. 277
    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...”
    Get full text
    eBook
  18. 278
    Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  19. 279
    Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  20. 280
    Translational Recurrences From Mathematical Theory to Real-World Applications /
    Published in Springer eBooks (2014)
    Subjects: “...Statistics and Computing/Statistics Programs....”
    Get full text
    eBook
Search Tools: Get RSS Feed