دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: K. Winchester
سری: The Art of Woodworking
ISBN (شابک) : 3540167668, 0387167668
ناشر: Time-Life Books
سال نشر: 2005
تعداد صفحات: 148
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 Mb
در صورت تبدیل فایل کتاب 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