دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
دانلود کتاب چشم انداز سیستم های اطلاعاتی: هشتمین کنفرانس بین المللی معماری آندره یروشیرف، PSI 2011، Novosibirsk، Russia، 27 ژوئن - 1 ژوئیه 2011، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 7162 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642297090, 3642297099 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 423 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چشم انداز سیستم های اطلاعاتی: هشتمین کنفرانس بین المللی معماری آندره یروشیرف، PSI 2011، Novosibirsk، Russia، 27 ژوئن - 1 ژوئیه 2011، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چشم انداز سیستم های اطلاعاتی: هشتمین کنفرانس بین المللی معماری آندره یروشیرف، PSI 2011، Novosibirsk، Russia، 27 ژوئن - 1 ژوئیه 2011، مقالات منتخب تجدید نظر شده
این کتاب حاوی مقالات کاملاً داوری شده و اصلاح شده از هشتمین کنفرانس بین المللی یادبود آندری ارشوف در مورد دیدگاه های انفورماتیک سیستم، PSI 2011، که در آکادمگورودوک، نووسیبیرسک، روسیه، در ژوئن/ژوئیه 2011 برگزار شد. 18 مقاله اصلاح شده کامل و مقالات کوتاه ارائه شده با دقت بررسی و از بین 60 مورد ارسالی انتخاب شدند. این جلد همچنین شامل 5 مقاله دعوت شده است که طیفی از موضوعات داغ در علوم کامپیوتر و انفورماتیک را پوشش می دهد. این مقالات در بخش‌های موضوعی در زمینه مبانی توسعه و تجزیه و تحلیل برنامه و سیستم، ارزیابی جزئی، محاسبات ترکیبی، تفسیر انتزاعی، ساخت کامپایلر، مدل‌های کامپیوتری و الگوریتم‌های بیوانفورماتیک، روش‌شناسی برنامه‌نویسی و مهندسی نرم‌افزار، فناوری‌های اطلاعات، سیستم‌های مبتنی بر دانش، و مهندسی دانش.
توضیحاتی درمورد کتاب به خارجی
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.
فهرست مطالب
Front Matter....Pages -
Petri Net Distributability....Pages 1-18
Connector Algebras, Petri Nets, and BIP....Pages 19-38
Models of Provenance....Pages 39-39
End-to-End Guarantees in Embedded Control Systems....Pages 40-40
Mining Precise Specifications....Pages 41-41
Detecting Entry Points in Java Libraries....Pages 42-54
Static Analysis of Run-Time Modes in Synchronous Process Network....Pages 55-67
Compositional Methods in Characterization of Timed Event Structures....Pages 68-76
Algorithmic Debugging of SQL Views....Pages 77-85
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction....Pages 86-94
An Extensible System for Enhancing Social Conference Experience....Pages 95-110
Exponential Acceleration of Model Checking for Perfect Recall Systems....Pages 111-124
Bootstrapping Compiler Generators from Partial Evaluators....Pages 125-141
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences....Pages 142-152
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation....Pages 153-169
Secure Multi-execution in Haskell....Pages 170-178
Towards an Open Framework for C Verification Tools Benchmarking....Pages 179-192
Solving Coverability Problem for Monotonic Counter Systems by Supercompilation....Pages 193-209
Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions....Pages 210-226
Symbolic Loop Bound Computation for WCET Analysis....Pages 227-242
GoRRiLA and Hard Reality....Pages 243-250
Reachability in One-Dimensional Controlled Polynomial Dynamical Systems....Pages 251-261
Insertion Modeling System....Pages 262-273
Decidability of Modular Logics for Concurrency....Pages 274-288
Partial Evaluation of Janus Part 2: Assertions and Procedures....Pages 289-301
Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems....Pages 302-312
A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems....Pages 313-321
Weighted Lumpability on Markov Chains....Pages 322-339
Development of the Computer Language Classification Knowledge Portal....Pages 340-348
Justified Terminological Reasoning....Pages 349-361
Implementing Conflict Resolution....Pages 362-376
Symbolic Tree Transducers....Pages 377-393
Probabilistic Concepts in Formal Contexts....Pages 394-410
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Molecule-Based Materials: The Structural Network Approach
دانلود کتاب Tankograd Soviet Special No. 2001: KV-2 Soviet Heavy Breakthrough Tank of..
دانلود کتاب Inside view : a leader's observations on leadership
دانلود کتاب The behavioral addictions
