Εμφανίζονται 1.321 - 1.340 Αποτελέσματα από 5.319 για την αναζήτηση '"Compiler"', χρόνος αναζήτησης: 0,51δλ Περιορισμός αποτελεσμάτων
  1. 1321
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1322
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
    Έκδοση 2007
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1323
    Implementing Distributed Systems with Java and CORBA
    ανά Aleksy, Markus, Korthaus, Axel, Schader, Martin
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1324
    Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers /
    Έκδοση 2006
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1325
    Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1326
    Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1327
    Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
    ανά Rust, Heinrich
    Έκδοση 2005
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1328
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1329
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    Έκδοση 2007
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1330
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Έκδοση 2008
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1331
    Verification Methodology Manual for SystemVerilog
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1332
    Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
    Έκδοση 2011
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1333
    The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics /
    ανά Moot, Richard, Retoré, Christian
    Έκδοση 2012
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1334
    Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1335
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1336
    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 /
    Έκδοση 2014
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1337
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1338
    Programming Languages and Operational Semantics A Concise Overview /
    ανά Fernández, Maribel
    Έκδοση 2014
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1339
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Έκδοση 2013
    Θέματα: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1340
    ανά Hazrat, Roozbeh
    Έκδοση 2010
    Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
    Λήψη πλήρους κειμένου
    Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email