دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman
دانلود کتاب در جستجوی ظرافت در نظریه و تمرین محاسبات: مقالات اختصاص داده شده به پیتر Buneman
مشخصات کتاب
In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman
ویرایش: 1 نویسندگان: Serge Abiteboul, Victor Vianu (auth.), Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman (eds.) سری: Lecture Notes in Computer Science 8000 ISBN (شابک) : 9783642416590, 9783642416606 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 578 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب در جستجوی ظرافت در نظریه و تمرین محاسبات: مقالات اختصاص داده شده به پیتر Buneman: مدیریت پایگاه داده، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب در جستجوی ظرافت در نظریه و تمرین محاسبات: مقالات اختصاص داده شده به پیتر Buneman نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب در جستجوی ظرافت در نظریه و تمرین محاسبات: مقالات اختصاص داده شده به پیتر Buneman
این جلد Festschrift که به افتخار پیتر بونمن منتشر شده است، حاوی مطالبی است که توسط برخی از همکاران، دانشجویان سابق و دوستان او نوشته شده است. به مناسبت تجلیل از حرفه ممتاز او، کنفرانسی در ادینبورگ، اسکاتلند، 27 تا 29 اکتبر 2013 برگزار شد. مقالات ارائه شده در اینجا به برخی از حوزه های بسیاری از علایق پژوهشی پیتر تعلق دارند.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong to some of the many areas of Peter's research interests.
فهرست مطالب
Front Matter....Pages -
Models for Data-Centric Workflows....Pages 1-12
Relational Databases and Bell’s Theorem....Pages 13-35
High-Level Rules for Integration and Analysis of Data: New Challenges....Pages 36-55
A New Framework for Designing Schema Mappings....Pages 56-88
User Trust and Judgments in a Curated Database with Explicit Provenance....Pages 89-111
An Abstract, Reusable, and Extensible Programming Language Design Architecture....Pages 112-166
A Discussion on Pricing Relational Data....Pages 167-173
Tractable Reasoning in Description Logics with Functionality Constraints....Pages 174-192
Toward a Theory of Self-explaining Computation....Pages 193-216
To Show or Not to Show in Workflow Provenance....Pages 217-226
Provenance-Directed Chase&Backchase....Pages 227-236
Data Quality Problems beyond Consistency and Deduplication....Pages 237-249
Hitting Buneman Circles....Pages 250-258
Looking at the World Thru Colored Glasses....Pages 259-272
Static Analysis and Query Answering for Incomplete Data Trees with Constraints....Pages 273-290
Using SQL for Efficient Generation and Querying of Provenance Information....Pages 291-320
Bounds and Algorithms for Joins via Fractional Edge Covers....Pages 321-338
Incremental Data Fusion Based on Provenance Information....Pages 339-365
Provenance for Linked Data....Pages 366-381
First-Order Provenance Games....Pages 382-399
Querying an Integrated Complex-Object Dataflow Database....Pages 400-417
Types, Functional Programming and Atomic Transactions in Hardware Design....Pages 418-431
Record Polymorphism: Its Development and Applications....Pages 432-444
A Calculus of Chemical Systems....Pages 445-465
Schemaless Semistructured Data Revisited....Pages 466-482
Provenance Propagation in Complex Queries....Pages 483-493
Well-Defined NRC Queries Can Be Typed....Pages 494-506
Nine Years with Peter Buneman....Pages 507-515
Modal Logic for Preference Based on Reasons....Pages 516-541
The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset....Pages 542-556
Provenance in a Modifiable Data Set....Pages 557-567
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Asperger Syndrome - A Love Story
دانلود کتاب L’Horreur politique : L’Etat contre la société
