Verification methodology manual Techniques for verifying HDL designs

Verification methodology manual Techniques for verifying HDL designs

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Dempster, David (Συγγραφέας), Stuart, Michael (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Great Britain Teamwork International 2002
Θέματα:	Μεθοδολογία MANUAL Λιποπρωτεΐνες υψηλής πυκνόητας

Παρόμοια τεκμήρια

Study of anti-inflammatory functions of HDL in experimental mouse models /
ανά: Πετροπούλου, Περιστέρα-Ιωάννα
Έκδοση: (2015)

Δομικός και λειτουργικός χαρακτηρισμός της HDL σε ασθενείς με υπερνοσογόνο παχυσαρκία, που υποβάλλονται σε χολοπαγκρεατική εκτροπή με γαστρική παράκαμψη κατά Roux en Y
ανά: Ζβίντζου, Ευαγγελία Β.
Έκδοση: (2013)

Μελέτη των πλειοτροπικών δράσεων της απολιποπρωτεΐνης C3 με στόχο την ανάδειξη καινοτόμων φαρμακολογικών παρεμβάσεων που στοχεύουν στη λειτουργικότητα της HDL /
ανά: Ζβίντζου, Ευαγγελία Β.
Έκδοση: (2017)

Verification methodology manual Techniques for Verifying HDL Designs
ανά: Dempster, David, κ.ά.
Έκδοση: (2001)

The Algorithm Design Manual
ανά: SKIENA, STEVEN S.
Έκδοση: (1998)

Reuse methodology manual For system - on - a- chip designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (2002)

Reference Manual for Telecommunications Engineering
ανά: Freeman, Roger L.
Έκδοση: (1985)

The radio amateur's VHF manual A manual of amateur's radio communication on the frequencies above 50 megahertz
ανά: Blakeslee, Douglas A., κ.ά.
Έκδοση: (1972)

Computer Choice A Manual for the Practitioner
ανά: McQuaker, R. J.
Έκδοση: (1978)

APP360 reference manual
ανά: Pakin, Sandra
Έκδοση: (1972)

Xlib Reference Manual for Version 11 of the X Window System
Έκδοση: (1990)

Σχεδίασμα εισαγωγής στη φιλοσοφία
ανά: Γιανναράς, Χρήστος, 1935-2024
Έκδοση: (1990)

Lipoprotein structure /
Έκδοση: (1980)

Software methodology Tutorial. Initially presented at COMPSAC 78
ανά: Pamamoorthy, C. V., κ.ά.
Έκδοση: (1978)

XView Programming Manual for Version 11 of the X Window System
ανά: Heller, Dan
Έκδοση: (1990)

Xlib programming manual For version 11 of the X Window System
ανά: Nye, Adrian
Έκδοση: (1990)

Η λιποπρωτεΐνη HDL ως ρυθμιστής της λειτουργικότητας των παγκρεατικών β κυττάρων των νησιδίων Langerhans, της ευαισθησίας των σκελετικών μυών στην ινσουλίνη και της μεταβολικής ενεργοποίησης του λιπώδους ιστού /
ανά: Ξεπαπαδάκη, Ευστρατία

X Protocol Reference Manual for Version 11 of the X Window System
Έκδοση: (1990)

Lipid modifications of proteins /
Έκδοση: (1995)

Plasma lipoproteins /
Έκδοση: (1986)

X Toolkit Intrinsics Reference Manual for X11, Release 4
Έκδοση: (1990)

Postscript language reference manual
Έκδοση: (1990)

Ανθρωπιστικές επιστήμες και φιλοσοφία /
ανά: Goldman, Lucien, 1913-1970
Έκδοση: (1971)

Reference manual for the Ada programming language Draft Revised MIL-STD 1815, Draft Proposed ANSI Standard Document for Editorial Review. ACM Special publication July 1982
Έκδοση: (1982)

Build a Personal Earth Station for Worldwide Satellite TV Reception
ανά: Traister, Robert J.
Έκδοση: (1985)

Λογική προς χρήσιν των γυμνασίων και διδασκαλείων : εγκριθείσα κατά τον Νόμον ΓΣΑ΄ επί τετραετίαν 1909-1913 /
ανά: Ανδρούτσος, Χρήστος
Έκδοση: (1909)

X Window System User's Guide for X11 R3 and R4 of the X Window System
ανά: O'Reilly, Tim, κ.ά.
Έκδοση: (1990)

Μελέτη της συμβολής της απολιποπρωτεϊνης Ε στην ανάπτυξη της παχυσαρκίας και των σχετιζόμενων με αυτήν δυσλειτουργιών /
ανά: Χατζίρη, Αικατερίνη
Έκδοση: (2018)

Η συμμετοχή του συστήματος των λιποπρωτεϊνών στη μεταβολική ενεργοποίηση του λιπώδους ιστού /
ανά: Γιαννοπούλου, Παναγιώτα
Έκδοση: (2023)

Numerical linear algebra for high-performance computers
ανά: Dongarra, Jack J., κ.ά.
Έκδοση: (1998)

Z8 PLZ/ASM Assembly Language Programming Manual

The Cambridge companion to Descartes' Meditations
Έκδοση: (2014)

The visualization handbook
Έκδοση: (2005)

Verification methodology manual for system verilog /
ανά: Bergeron, Janick
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick
Έκδοση: (2006)

Descartes an analytical and historical introduction
ανά: Dicker, Georges 1942-
Έκδοση: (1993)

Algorithms for synthesis and testing of asynchronous circuits
ανά: Lavagno, Luciano, κ.ά.
Έκδοση: (1993)

Στοχασμοί περί της πρώτης φιλοσοφίας
ανά: Descartes, René, 1596-1650
Έκδοση: (2009)

Manual of stuttering intervention /
ανά: Zebrowski, Patricia M.
Έκδοση: (2002)

Manual of environmental microbiology /
Έκδοση: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών