Showing 2,241 - 2,260 results of 5,319 for search '"Compiler"', query time: 0.18s Refine Results
  1. 2241
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    by MΓ©ry, Dominique
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  2. 2242
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    by Chatterjee, Krishnendu
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  3. 2243
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    by Dams, Dennis
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  4. 2244
    Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
    by Parsons, Jeffrey
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  5. 2245
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    by Schreye, Danny
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  6. 2246
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
    by Aldini, Alessandro
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  7. 2247
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    by Blass, Andreas
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  8. 2248
    Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    by Borba, Paulo
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  9. 2249
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
    by Blume, Matthias
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  10. 2250
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    by Boer, Frank S.
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  11. 2251
    Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
    by MΓΌller-Clostermann, Bruno
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  12. 2252
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    by Touili, Tayssir
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  13. 2253
    Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
    by Wieringa, Roel
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  14. 2254
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  15. 2255
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    by Dix, JΓΌrgen
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  16. 2256
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
    by Qin, Shengchao
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  17. 2257
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    by KuΔera, AntonΓ­n
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  18. 2258
    Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
    by Butterfield, Andrew
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  19. 2259
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    by Barthe, Gilles
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  20. 2260
    Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    by Fraser, Gordon
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search