Εμφανίζονται 861 - 880 Αποτελέσματα από 9.010 για την αναζήτηση '"programming"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 861
    Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
    Έκδοση 2009
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 862
    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 863
    Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 864
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 865
    Guide to Scientific Computing in C++
    ανά Pitt-Francis, Joe, Whiteley, Jonathan
    Έκδοση 2012
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 866
    Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings /
    Έκδοση 2006
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 867
    Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings /
    Έκδοση 2007
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 868
    Validated Designs for Object-oriented Systems
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 869
    Parallel programming: experience with applications, languages and systems PPEALS 1988 Proceedings of the ACM/SIGPLAN PPEALS 1988 New Haven, July 19-21, 1988 SIGPLAN NOTICES vol.23. no 9, September 1988
    Έκδοση 1988
    Θέματα: “…COMPUTER PROGRAMMING 24276…”
    Βιβλίο
  10. 870
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 871
    Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 872
    NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 873
    Building Arduino Projects for the Internet of Things Experiments with Real-World Applications /
    ανά Javed, Adeel
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 874
    Transactions on Foundations for Mastering Change I
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 875
    OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers /
    Έκδοση 2016
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 876
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Έκδοση 2015
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 877
    CONCUR 2004 - Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 878
    Extreme Programming and Agile Processes in Software Engineering 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 879
    Extreme Programming and Agile Methods - XP/Agile Universe 2004 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 880
    Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email