Εμφανίζονται 1.081 - 1.100 Αποτελέσματα από 3.410 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 1081
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1082
    The Complete Handbook of the Internet
    ανά Buchanan, W. J.
    Έκδοση 2002
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1083
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1084
    Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1085
    Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1086
    25 Years of Model Checking History, Achievements, Perspectives /
    Έκδοση 2008
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1087
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1088
    Recent Advances in Formal Languages and Applications
    Έκδοση 2006
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1089
    Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1090
    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 /
    Έκδοση 2013
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1091
    Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /
    Έκδοση 2011
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1092
    Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures /
    Έκδοση 2009
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1093
    Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1094
    Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1095
    Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1096
    Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1097
    Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1098
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Έκδοση 2008
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1099
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
    Έκδοση 2007
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1100
    Implementing Distributed Systems with Java and CORBA
    ανά Aleksy, Markus, Korthaus, Axel, Schader, Martin
    Έκδοση 2005
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email