Εμφανίζονται 21 - 40 Αποτελέσματα από 139 για την αναζήτηση '"Logic Design"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 21
    New Algorithms, Architectures and Applications for Reconfigurable Computing
    ανά Lysaght, Patrick
    Έκδοση 2005
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 22
    A Roadmap for Formal Property Verification
    ανά DasGupta, Pallab
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 23
    Time for Verification Essays in Memory of Amir Pnueli
    ανά Manna, Zohar
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 24
    Abstraction, Refinement and Proof for Probabilistic Systems
    ανά McIver, Annabelle
    Έκδοση 2005
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 25
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    ανά Pnueli, Amir
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 26
    Software Engineering 3 Domains, Requirements, and Software Design
    ανά BjΓΈner, Dines
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 27
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
    ανά Arbab, Farhad
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 28
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    ανά Pol, Jaco
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 29
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    ανά Kowalewski, Stefan
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 30
    Parameterized Complexity Theory
    ανά Flum, JΓΆrg
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 31
    Mathematical Problems from Applied Logic I Logics for the XXIst Century
    ανά Gabbay, Dov M., 1945-
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 32
    Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
    ανά Carro, Manuel
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 33
    Modern Formal Methods and Applications
    ανά Gabbar, Hossam A.
    Έκδοση 2006
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 34
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 35
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
    ανά Platzer, AndrΓ©
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 36
    Complexity Theory Exploring the Limits of Efficient Algorithms
    ανά Wegener, Ingo
    Έκδοση 2005
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 37
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 38
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
    ανά Petrenko, Alexandre
    Έκδοση 2010
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 39
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 40
    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
    Θέματα: “…Logic design 64563…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email