Εμφανίζονται 81 - 100 Αποτελέσματα από 125 για την αναζήτηση '"Mathematical Logic and Formal Languages"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 81
    Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
    ανά Cohen, David
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 82
    Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings
    ανά Bolduc, Claude
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 83
    Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    ανά Abramsky, Samson, 1953-
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 84
    Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
    ανά Bollig, Benedikt
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 85
    The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
    ανά Ebert, Christian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 86
    Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
    ανά Yu, Jian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 87
    Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings
    ανά Croitoru, Madalina
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 88
    Transactions on Rough Sets XI
    ανά Peters, James F
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 89
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
    ανά Dawar, Anuj
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 90
    Transactions on Rough Sets XII
    ανά Peters, James F
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 91
    Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
    ανά Ferreira, Fernando
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 92
    Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
    ανά Siegler, Simon
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 93
    Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
    ανά Gavrilova, Marina L
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 94
    Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
    ανά Link, Sebastian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 95
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    ανά Schmid, Ute
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 96
    Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
    ανά Puppis, Gabriele
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 97
    Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
    ανά MΓΌller-Hannemann, Matthias
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 98
    Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
    ανά Kaplan, Haim
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 99
    Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
    ανά Calude, Cristian S
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 100
    Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
    ανά McBurney, Peter
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email