Εμφανίζονται 101 - 120 Αποτελέσματα από 121 για την αναζήτηση '"Logics and Meanings of Programs"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 101
    CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
    ανά Gastin, Paul
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 102
    Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
    ανά Babar, Muhammad Ali
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 103
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    ανά Schmid, Ute
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 104
    Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
    ανά Lee, Der-Tsai
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 105
    Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
    ανά Puppis, Gabriele
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 106
    Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
    ανά Calude, Cristian S
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 107
    Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
    ανά Maciaszek, Leszek A
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 108
    Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
    ανά Dediu, Adrian-Horia
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 109
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
    ανά Margaria, Tiziana
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 110
    Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    ανά Dix, JΓΌrgen
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 111
    Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
    ανά Gao, Yuan
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 112
    Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
    ανά HlinΔ›nΓ½, Petr
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 113
    Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
    ανά Dawar, Anuj
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 114
    Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
    ανά Ehrig, Hartmut
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 115
    Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
    ανά Aloni, Maria
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 116
    Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
    ανά Raedt, Luc
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 117
    Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
    ανά Hinchey, Mike
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 118
    Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
    ανά Janowski, Tomasz
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 119
    Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers
    ανά Yli-JyrΓ€, Anssi
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 120
    Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
    ανά Lee, Mong Li
    Έκδοση 2010
    Θέματα: “…Logics and Meanings of Programs 64567…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email