دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
دانلود کتاب چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید
مشخصات کتاب
Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
ویرایش: 1
نویسندگان: Bernhard Möller. John V. Tucker (eds.)
سری: Lecture Notes in Computer Science 1546
ISBN (شابک) : 9783540654612, 9783540492542
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1998
تعداد صفحات: 477
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چشم انداز برای مبانی سخت افزار: گروه کاری ESPRIT 8533 NADA — فصل های بررسی روش های طراحی سخت افزار جدید
پیشگفتار VI I X فهرست مطالب B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundation, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA NADA Introduction: NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA: Introduction Group NADA NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 Group 22 The NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp.68,127 Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tuc ker Streams، Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and Streams. بازنمودهای دامنه 33 34 جی. بلانک، وی. استولتنبرگ-هنسن، و جی.وی. تاکر استریم ها، ترانسفورماتورهای جریان و نمایندگی های دامنه 35 36 جی. بلانک، وی. استولتنبرگ-هانسن، و جی.وی. >
توضیحاتی درمورد کتاب به خارجی
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37
فهرست مطالب
Introduction: NADA and NIL....Pages 1-26
Streams, Stream Transformers and Domain Representations....Pages 27-68
Ideal Stream Algebra....Pages 69-116
Normalization by Evaluation....Pages 117-137
Algebraic Models of Superscalar Microprocessor Implementations: a Case Study....Pages 138-183
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms....Pages 184-235
Towards an Algebraic Specification of the Java Virtual Machine....Pages 236-277
Grid Protocol Specifications....Pages 278-308
The Computational Description of Analogue System Behaviour....Pages 309-332
Reasoning about Imperfect Digital Systems....Pages 333-355
Formal Verification and Hardware Design with Statecharts....Pages 356-389
An Exercise in Conditional Refinement....Pages 390-420
Deductive Hardware Design: A Functional Approach....Pages 421-468
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Deleuze and Art
دانلود کتاب MySQL High Availability
