Εμφανίζονται 801 - 820 Αποτελέσματα από 887 για την αναζήτηση '"microprocessor"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 801
    Μελέτη και υλοποίηση μεθόδου διανυσματικού ελέγχου ασύγχρονου τριφασικού κινητήρα για λειτουργία με μέγιστο βαθμό απόδοσης
    ανά Διαμαντά, Ευδοκία
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Thesis
  2. 802
    Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… and Validation of Software Clocks -- Towards a Statistical Model of a Microprocessor’s Throughput by Analyzing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 803
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… in Symmetric Interconnection Networks -- A Framework for Microprocessor Correctness Statements -- Duration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 804
    Process Automation Handbook A Guide to Theory and Practice /
    ανά Love, Jonathan
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Electronics -- Data Typing -- Structured Text -- Microprocessors -- Characteristics -- DP Cells -- Flow…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 805
    Βέλτιστη απορρόφηση ηλεκτρικής ισχύος οικιακής ανεμογεννήτριας
    Λήψη πλήρους κειμένου
    Thesis
  6. 806
    Algorithm Engineering and Experimentation International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers /
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 807
    Insect Epigenetics /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Transcript Processed by Microprocessor; 3.3. Step 3: Pre-miRNA Leaving the Nucleus by Exp5; 3.4. Step 4: Pre…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  8. 808
    Pervasive Computing Second International Conference, PERVASIVE 2004, Linz/Vienna, Austria, April 21-23, 2004. Proceedings /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 809
    Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… on Data Transmission in USB Standard -- Electromagnetic Emission Measurement of Microprocessor Units…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 810
    Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Verification of Advanced Out-of-Order Microprocessors -- Theorem Proving Using Lazy Proof Explication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 811
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… of Superscalar Microprocessors -- Software Verification -- Boolean and Cartesian Abstraction for Model Checking C…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 812
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Verification of VLIW Microprocessors with Speculative Execution -- Induction in Compositional Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 813
    Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Security Architecture for Microprocessors (SAM) -- Distributed Networks -- Constraint-Based Deployment…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 814
    Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… (OWAMP) -- QoS Predictability of Internet Services -- Instruction Prediction in Microprocessor Unit Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 815
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Properties of a PowerPC? Microprocessor Using Symbolic Model Checking without BDDs -- Model Checking the IBM…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 816
    Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 817
    Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Experimental Design Based Multi-parent Crossover Operator -- An Enhanced Framework for Microprocessor Test…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 818
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 819
    Σχεδιασμός και κατασκευή ενσωματωμένου συστήματος για έλεγχο και λειτουργία κινούμενου οχήματος
    Λήψη πλήρους κειμένου
    Thesis
  20. 820
    Ανάπτυξη μετρητικού συστήματος για τη διαχείριση ενέργειας σε οικιακή εγκατάσταση τροφοδοτούμενη από ανανεώσιμες πηγές ενέργειας
    Λήψη πλήρους κειμένου
    Thesis
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email