Εμφανίζονται 61 - 80 Αποτελέσματα από 1.907 για την αναζήτηση '"Logics and Meanings of Programs."', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 61
    Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
    Έκδοση 2011
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Specification of Software Systems
    ανά Alagar, V.S, Periyasamy, K.
    Έκδοση 2011
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings /
    Έκδοση 2017
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 65
    Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Έκδοση 2014
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 66
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 67
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 68
    Fundamental Approaches to Software Engineering 8th International Conference, FASE 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
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 71
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Έκδοση 2007
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 72
    Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
    Έκδοση 2007
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 73
    Unfoldings A Partial-Order Approach to Model Checking /
    ανά Esparza, Javier, Heljanko, Keijo
    Έκδοση 2008
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 74
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 75
    Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 76
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 77
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
    Έκδοση 2013
    Θέματα: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email