Showing 3,421 - 3,440 results of 5,062 for search '"programming languages"', query time: 0.25s Refine Results
  1. 3421
    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
  2. 3422
    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
  3. 3423
    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
  4. 3424
    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
  5. 3425
    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
  6. 3426
    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
  7. 3427
    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
  8. 3428
    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
  9. 3429
    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
  10. 3430
    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
  11. 3431
    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
  12. 3432
    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
  13. 3433
    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
  14. 3434
    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
  15. 3435
    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
  16. 3436
    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
  17. 3437
    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
  18. 3438
    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
  19. 3439
    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
  20. 3440
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by Barringer, Howard
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search