Εμφανίζονται 21 - 40 Αποτελέσματα από 125 για την αναζήτηση '"Mathematical Logic and Formal Languages"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 21
    M-Solid Varieties of Algebras
    ανά Koppitz, J.
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 22
    Mathematical Problems from Applied Logic I Logics for the XXIst Century
    ανά Gabbay, Dov M., 1945-
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 23
    Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
    ανά Carro, Manuel
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 24
    Modern Formal Methods and Applications
    ανά Gabbar, Hossam A.
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 25
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Ong, Luke
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 26
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
    ανά Platzer, AndrΓ©
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 27
    Natural Deduction, Hybrid Systems and Modal Logics
    ανά Indrzejczak, Andrzej
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 28
    Complexity Theory Exploring the Limits of Efficient Algorithms
    ανά Wegener, Ingo
    Έκδοση 2005
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 29
    Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    ανά Γ–lveczky, Peter Csaba
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 30
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
    ανά Petrenko, Alexandre
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 31
    Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
    ανά Hutter, Marcus
    Έκδοση 2005
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 32
    Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays
    ανά Gokhale, Maya
    Έκδοση 2005
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 33
    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
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 34
    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
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 35
    Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
    ανά Engels, Gregor
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 36
    Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28–July 2, 2010. Proceedings
    ανά Vitek, Jan
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 37
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
    ανά Bottaci, Leonardo
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 38
    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
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 39
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
    ανά Lilius, Johan
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 40
    Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
    ανά Tratt, Laurence
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email