دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings
دانلود کتاب جنبه های عملی زبان های اعلامی: پنجمین سمپوزیوم بین المللی ، PADL 2003 نیواورلئان ، لس آنجلس ، ایالات متحده ، مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: David Page (auth.), Veronica Dahl, Philip Wadler (eds.) سری: Lecture Notes in Computer Science 2562 ISBN (شابک) : 3540003894, 9783540003892 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 416 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلامی: پنجمین سمپوزیوم بین المللی ، PADL 2003 نیواورلئان ، لس آنجلس ، ایالات متحده ، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلامی: پنجمین سمپوزیوم بین المللی ، PADL 2003 نیواورلئان ، لس آنجلس ، ایالات متحده ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلامی: پنجمین سمپوزیوم بین المللی ، PADL 2003 نیواورلئان ، لس آنجلس ، ایالات متحده ، مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین‌المللی جنبه‌های کاربردی زبان‌های اعلامی، PADL 2003، در نیواورلئان، لس آنجلس، ایالات متحده آمریکا، در ژانویه 2003 است.
23 مقاله کامل اصلاح‌شده ارائه شده است. همراه با 3 مشارکت دعوت شده به دقت بررسی و از بین 57 مورد ارسالی انتخاب شدند. تمام جنبه های فعلی برنامه نویسی اعلانی بررسی شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003.
The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed.
فهرست مطالب
The Role of Declarative Languages in Mining Biological Databases....Pages 1-1
The Continue Server (or, How I Administered PADL 2002 and 2003)....Pages 2-16
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics....Pages 17-18
Data Mining the Yeast Genome in a Lazy Functional Language....Pages 19-36
Non-monotonic Reasoning on Beowulf Platforms....Pages 37-57
Datalog with Constraints: A Foundation for Trust Management Languages....Pages 58-73
Web Programming with SMLserver....Pages 74-91
An Integrated Information System Powered by Prolog....Pages 92-109
JMatch: Iterable Abstract Pattern Matching for Java....Pages 110-127
Sequence Quantification....Pages 128-144
Roll: A Language for Specifying Die-Rolls....Pages 145-159
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming....Pages 160-176
Multi-agent Reactive Systems....Pages 177-193
ACTILOG: An Agent Activation Language....Pages 194-207
Logic Programs for Querying Inconsistent Databases....Pages 208-222
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises....Pages 223-240
A Logical Framework for Modelling eMAS....Pages 241-255
SXSLT: Manipulation Language for XML....Pages 256-272
Type-Based XML Processing in Logic Programming....Pages 273-285
WAM Local Analysis....Pages 286-303
Garbage Collection Algorithms for Java-Based Prolog Engines....Pages 304-319
Solving Combinatorial Problems with a Constraint Functional Logic Language....Pages 320-338
Logic Programs as Compact Denotations....Pages 339-356
A Strafunski Application Letter....Pages 357-375
Functional Hybrid Modeling....Pages 376-390
Lambda Goes to Hollywood....Pages 391-407
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Experimental Algorithms: 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings
دانلود کتاب Directions in General Relativity: Proc. 1993 Symposium, Maryland
دانلود کتاب Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
دانلود کتاب Complex Algebraic Varieties: Proceedings of a Conference Held in Bayreuth, Germany, April 2-6, 1990
دانلود کتاب Intercultural Collaboration: First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
دانلود کتاب Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers
دانلود کتاب Few-Body Problems in Physics: Proceedings of the 3rd Asia-Pacific Conference
دانلود کتاب Distributed Computing – IWDC 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings
دانلود کتاب Advances in solid oxide fuel cells IV: a collection of papers presented at the 32nd International Conference on Advanced Ceramics and Composites, January 27-February 1, 2008, Daytona Beach, Florida
