Εμφανίζονται 21 - 40 Αποτελέσματα από 121 για την αναζήτηση '"Logics and Meanings of Programs"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 21
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
    ανά Petrenko, Alexandre
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 22
    Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    ανά HorvΓ'th, ZoltΓ'n
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 23
    Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
    ανά Real, Jorge
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 24
    Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
    ανά Engels, Gregor
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 25
    Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28–July 2, 2010. Proceedings
    ανά Vitek, Jan
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 26
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
    ανά Bottaci, Leonardo
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 27
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
    ανά Hatcliff, John
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 28
    Architecting Dependable Systems VII
    ανά Casimiro, Antonio
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 29
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
    ανά Lilius, Johan
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 30
    Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
    ανά Tratt, Laurence
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 31
    Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
    ανά Baudry, Benoit
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 32
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    ανά Bouajjani, Ahmed
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 33
    New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    ανά MΓΌnch, JΓΌrgen
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 34
    Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    ανά Escobar, Santiago
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 35
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
    ανά Beckert, Bernhard
    Έκδοση 2006
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 36
    Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
    ανά Ghosh, Sudipto
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 37
    Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
    ανά Brand, Mark
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 38
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
    ανά Dovier, Agostino
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 39
    Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    ανά Strichman, Ofer
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 40
    Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
    ανά Hull, Richard
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email