Εμφανίζονται 41 - 60 Αποτελέσματα από 121 για την αναζήτηση '"Logics and Meanings of Programs"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 41
    Categories for Software Engineering
    ανά Fiadeiro, JosΓ© Luiz
    Έκδοση 2005
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 42
    Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
    ανά Grunske, Lars
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 43
    Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
    ανά KΓΌhne, Thomas
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 44
    Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
    ανά Katz, Shmuel
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 45
    Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Rosenblum, David S
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 46
    Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Gordon, Andrew D.
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 47
    Advanced Lectures on Software Engineering LASER Summer School 2007/2008
    ανά MΓΌller, Peter
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 48
    Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
    ανά Eekelen, Marko
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 49
    Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
    ανά Blesa, Maria J.
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 50
    Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
    ανά Ueda, Kazunori
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 51
    Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
    ανά Bonanno, Giacomo
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 52
    Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
    ανά Baldoni, Matteo
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 53
    ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
    ανά D’Hondt, Theo
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 54
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Esparza, Javier
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 55
    Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
    ανά Fraser, Gordon
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 56
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    ανά Barringer, Howard
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 57
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    ανά FermΓΌller, Christian G
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 58
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    ανά MΓ©ry, Dominique
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 59
    Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
    ανά Aldini, Alessandro
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 60
    Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    ανά Borba, Paulo
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email