ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Cabinetmaking

دانلود کتاب ساخت کابینت

Cabinetmaking

مشخصات کتاب

Cabinetmaking

ویرایش:  
نویسندگان:   
سری: The Art of Woodworking 
ISBN (شابک) : 3540167668, 0387167668 
ناشر: Time-Life Books 
سال نشر: 2005 
تعداد صفحات: 148 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 Mb 

قیمت کتاب (تومان) : 53,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Cabinetmaking به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساخت کابینت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ساخت کابینت

مقدمه‌ای بر منطق زمانی برنامه‌ها - به‌ویژه موازی. - نمایش برنامه ها و ویژگی های آنها در زبان منطق زمانی. - استفاده از دستگاه منطقی برای تأیید ویژگی های برنامه از جمله تعبیه جدید منطق Hoare در چارچوب زمانی.


توضیحاتی درمورد کتاب به خارجی

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare\'s logic into the temporal framework.



فهرست مطالب

Digital filtering in VLSI....Pages 1-11
Two processor scheduling is in NC ....Pages 12-25
Breaking symmetry in synchronous networks....Pages 26-33
Parallel ear decomposition search (EDS) and st-numbering in graphs....Pages 34-45
A unifying framework for systolic designs....Pages 46-56
Optimal tradeoffs for addition on systolic arrays....Pages 57-69
On the connection between hexagonal and unidirectional rectangular systolic arrays....Pages 70-83
Lower bounds for sorting on mesh-connected architectures....Pages 84-95
Diogenes, circa 1986 Ψαχνω για ενα τιμιo ανϑρoπo....Pages 96-107
Nonsequential computation and laws of nature....Pages 108-120
Linear algorithms for two CMOS layout problems....Pages 121-132
Some new results on a restricted channel routing problem....Pages 133-143
Efficient modular design of TSC checkers for m-out-of-2m codes....Pages 144-155
Vlsi algorithms and pipelined architectures for solving structured linear system....Pages 156-165
A high-performance single-chip vlsi signal processor architecture....Pages 166-179
Exploiting hierarchy in VLSI design....Pages 180-193
A polynomial algorithm for recognizing images of polyhedra....Pages 194-204
Parallel tree techniques and code optimization....Pages 205-216
AT 2 -optimal galois field multiplier for VLSI....Pages 217-225
Linear and book embeddings of graphs....Pages 226-235
Efficient parallel evaluation of straight-line code and arithmetic circuits....Pages 236-245
A logarithmic boolean time algorithm for parallel polynomial division....Pages 246-251
A polynomial algorithm for recognizing small cutwidth in hypergraphs....Pages 252-260
A generalized topological sorting problem....Pages 261-270
Combinational static CMOS networks....Pages 271-282
Fast and efficient parallel linear programming and linear least squares computations....Pages 283-295
On the time required to sum n semigroup elements on a parallel machine with simultaneous writes....Pages 296-304
A comparative study of concurrency control methods in B-trees....Pages 305-316
Generalized river routing — Algorithms and performance bounds....Pages 317-328




نظرات کاربران