Εμφανίζονται 1.981 - 2.000 Αποτελέσματα από 9.010 για την αναζήτηση '"Program"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1981
    Industrial statistics with Minitab /
    ανά Grima Cintas, Pedro
    Έκδοση 2012
    Θέματα: “…Industrial management Statistical methods Computer programs.…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  2. 1982
    Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1983
    Beginning SQL Server R Services Analytics for Data Scientists /
    ανά Beard, Bradley
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1984
    Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1985
    Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1986
    Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1987
    Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1988
    Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1989
    Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
    Έκδοση 2016
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1990
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1991
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1992
    Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1993
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Έκδοση 2015
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1994
    Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer programming.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1995
    Real-Time Object Uniform Design Methodology with UML
    Έκδοση 2007
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1996
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Έκδοση 2014
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1997
    Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1998
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1999
    Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2000
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Έκδοση 2014
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email