Showing 201 - 220 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.07s Refine Results
  1. 201
    Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    by Mycroft, Alan
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  2. 202
    Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    by Fiadeiro, José Luiz
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  3. 203
    Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  4. 204
    Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  5. 205
    Modelling Computing Systems Mathematics for Computer Science /
    by Moller, Faron, Struth, Georg
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  6. 206
    Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  7. 207
    Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
    by Farré, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  8. 208
    Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
    by Margenstern, Maurice
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  9. 209
    Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    by Assmann, Uwe
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  10. 210
    Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German
    by Becker, Steffen
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  11. 211
    Modern Formal Methods and Applications
    by Gabbar, Hossam A.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  12. 212
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
    by Bravetti, Mario
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  13. 213
    Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  14. 214
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  15. 215
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  16. 216
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  17. 217
    Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  18. 218
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  19. 219
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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....”
    Get full text
    eBook
  20. 220
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
Search Tools: Get RSS Feed