Εμφανίζονται 801 - 820 Αποτελέσματα από 858 για την αναζήτηση '"DESIGN"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 801
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 802
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    ανά KuΔera, AntonΓ­n
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 803
    Professional Ajax /
    ανά Zakas, Nicholas C.
    Έκδοση 2007
    Θέματα: “…Web sites Design…”
    Table of contents only
    Contributor biographical information
    Publisher description
    Βιβλίο
  4. 804
    Mathematics of Program Construction 10th International Conference, MPC 2010, QuΓ©bec City, Canada, June 21-23, 2010. Proceedings
    ανά Bolduc, Claude
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 805
    Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
    ανά Montali, Marco
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 806
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    ανά Kaufmann, Matt
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 807
    Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
    ανά England, David
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 808
    Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
    ανά Hutter, Marcus
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 809
    Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
    ανά Cohen, David
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 810
    Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
    ανά Dix, JΓΌrgen
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 811
    Theoretical Introduction to Programming
    ανά Mills, Bruce
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 812
    Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
    ανά KratochvΓ­l, Jan
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 813
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 814
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    ανά Schmid, Ute
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 815
    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 I
    ανά Margaria, Tiziana
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 816
    Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
    ανά Puppis, Gabriele
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 817
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 818
    Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
    ανά Calude, Cristian S
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 819
    Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
    ανά Link, Sebastian
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 820
    Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
    ανά Lee, Der-Tsai
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email