ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

دانلود کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

مشخصات کتاب

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 2244 
ISBN (شابک) : 9783540430759, 9783540455752 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 560 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، محاسبات توسط دستگاه های انتزاعی



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

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


در صورت تبدیل فایل کتاب Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001، برگزار شده در آکادمگورودوک، نووسیبیرسک، روسیه، در ژوئیه 2001 است.
50 مقاله اصلاح شده همراه با 2 مقاله یادبود دعوت شده ارائه شده است. اختصاص داده شده به کار آندری ارشوف در طی 2 دور بررسی و بهبود با دقت انتخاب شدند. این کتاب بخش‌های موضوعی را در مورد محاسبات و الگوریتم‌ها، روش‌های منطقی، تأیید، تبدیل و سنتز برنامه، معناشناسی و انواع، فرآیندها و همزمانی، مشخصات UML، شبکه‌های پتری، تست، ساخت نرم‌افزار، داده‌ها و پایگاه‌های دانش، برنامه‌نویسی منطقی، برنامه‌نویسی محدودیت، تجزیه و تحلیل برنامه و پیاده سازی زبان.


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

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.



فهرست مطالب

A.P. Ershov— A Pioneer and a Leader of National Programming....Pages 1-7
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts....Pages 8-23
The Abstract State Machine Paradigm: What Is in and What Is out....Pages 24-24
On Algorithmic Unsolvability....Pages 25-32
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially....Pages 33-38
On Expressive and Model Checking Power of Propositional Program Logics....Pages 39-46
An Extension of Dynamic Logic for Modelling OCL’s @ pre Operator....Pages 47-54
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions....Pages 55-63
A Transformation of SDL Specifications— A Step towards the Verification....Pages 64-78
Accurate Widenings and Boundedness Properties of Timed Systems....Pages 79-94
Adaptive Saturation-Based Reasoning....Pages 95-108
A Verification Approach for Distributed Abstract State Machines....Pages 109-115
Transformational Construction of Correct Pointer Algorithms....Pages 116-130
A Theoretical Foundation of Program Synthesis by Equivalent Transformation....Pages 131-139
Equivalent Transformation by Safe Extension of Data Structures....Pages 140-148
Semantics and Transformations in Formal Synthesis at System Level....Pages 149-156
Automated Program Synthesis for Java Programming Language....Pages 157-164
The Varieties of Programming Language Semantics And Their Uses....Pages 165-190
Binding-Time Analysis for Polymorphic Types....Pages 191-204
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus....Pages 205-213
Observational Semantics for Timed Event Structures....Pages 214-224
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs....Pages 225-239
Dynamical Priorities without Time Measurement and Modification of the TCP....Pages 240-245
From ADT to UML-Like Modelling....Pages 246-246
Transformation of UML Specification to XTG....Pages 247-254
A Systematic Approach towards Object-Based Petri Net Formalisms....Pages 255-267
Unfoldings of Coloured Petri Nets....Pages 268-278
A Net-Based Multi-tier Behavior Inheritance Modelling Method....Pages 279-286
Specification Based Testing: Towards Practice....Pages 287-300
Java Specification Extension for Automated Test Development....Pages 301-307
Specification-Based Testing of Firewalls....Pages 308-316
Academic vs. Industrial Software Engineering: Closing the Gap....Pages 317-323
A Method for Recovery and Maintenance of Software Architecture....Pages 324-327
An Empirical Study of Retargetable Compilers....Pages 328-335
Conceptual Data Modeling: An Algebraic Viewpoint....Pages 336-348
Integrating and Managing Conflicting Data....Pages 349-362
A Knowledge Engineering Approach to Deal with ‘Narrative’ Multimedia Documents....Pages 363-377
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach....Pages 378-394
Reexecution-Based Analysis of Logic Programs with Delay Declarations....Pages 395-405
Pos(T ) : Analyzing Dependencies in Typed Logic Programs....Pages 406-420
A Prolog Tailoring Technique on an Epilog Tailored Procedure....Pages 421-433
Hierarchical Constraint Satisfaction Based on Subdefinite Models....Pages 434-445
Using Constraint Solvers in CAD/CAM Systems....Pages 446-456
A Graphical Interface for Solver Cooperations....Pages 457-467
Abstract Computability of Non-deterministic Programs over Various Data Structures....Pages 468-481
On Lexicographic Termination Ordering with Space Bound Certifications....Pages 482-493
Generalised Computability and Applications to Hybrid Systems....Pages 494-499
Exploring Template Template Parameters....Pages 500-510
Compiler-Cooperative Memory Management in Java....Pages 511-518
A Software Composition Language and Its Implementation....Pages 519-529
Editor Definition Language and Its Implementation....Pages 530-537
Oberon-2 as Successor of Modula-2 in Simulation....Pages 538-545




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