Εμφανίζονται 81 - 100 Αποτελέσματα από 139 για την αναζήτηση '"Logic Design"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 81
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 82
    Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
    ανά Ablayev, Farid
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 83
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    ανά Frappier, Marc
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 84
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    ανά Leavens, Gary T
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 85
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    ανά Blass, Andreas
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 86
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    ανά Boer, Frank S.
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 87
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    ανά Dams, Dennis
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 88
    High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
    ανά Wu, Yanwen
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 89
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    ανά Touili, Tayssir
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 90
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    ανά Schreye, Danny
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 91
    Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
    ανά Tempesti, Gianluca
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 92
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
    ανά Blume, Matthias
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 93
    Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
    ανά Chatterjee, Krishnendu
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 94
    Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
    ανά MΓΌller-Clostermann, Bruno
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 95
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
    ανά Qin, Shengchao
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 96
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    ανά Dix, JΓΌrgen
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 97
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    ανά KuΔera, AntonΓ­n
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 98
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
    ανά Governatori, Guido
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 99
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 100
    VHDL for logic synthesis /
    ανά Rushton, Andrew
    Έκδοση 1998
    Θέματα: “…Logic design Data processing…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email