ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

دانلود کتاب مدلسازی رسمی در تجارت الکترونیک (کتابهای بین المللی سیستم های اطلاعاتی)

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

مشخصات کتاب

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

دسته بندی: الکترونیک
ویرایش: 1 
نویسندگان: ,   
سری:  
ISBN (شابک) : 3540214313, 9783540269892 
ناشر:  
سال نشر: 2004 
تعداد صفحات: 557 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Formal Modelling in Electronic Commerce (International Handbooks on Information Systems) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدلسازی رسمی در تجارت الکترونیک (کتابهای بین المللی سیستم های اطلاعاتی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مدلسازی رسمی در تجارت الکترونیک (کتابهای بین المللی سیستم های اطلاعاتی)

پیشرفت در اتوماسیون برای تجارت الکترونیکی مستلزم درک بهتر و رسمی سازی اشیاء، فرآیندها و سیاست های خود تجارت است. از جمله موارد تجاری مانند بارنامه ها و قراردادها. فرآیندهایی مانند گردش کار و رویه های تجاری؛ و سیاست هایی که مشکلاتی مانند اعتبار قرارداد یا رویه و رفتار استراتژیک را پوشش می دهند. این کتاب در مورد تئوری، رسمی سازی و اجرای اثبات مفهوم این موارد و موارد مرتبط است. این کتاب علاوه بر ارائه نتایج پیشرفته، این اثر را در چارچوب نزدیک به بیست سال پیشرفت در مدل‌سازی رسمی برای تجارت الکترونیک قرار می‌دهد. فهرست و فهرست جامع ارائه شده است.


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

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.



فهرست مطالب

FMEC: Overview and Interpretation....Pages 1-29
Practical Contract Storage, Checking, and Enforcement for Business Process Automation....Pages 33-77
Legitimacy Checking in Communicative Workflow Design....Pages 79-99
CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID....Pages 101-143
CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part II: Formal Description of Economics Actors and Objects....Pages 145-158
CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part III: CANDID Specification of Financial Concepts....Pages 159-176
Performatives, Performatives Everywhere but Not a Drop of Ink....Pages 177-200
EDI, XML, and the Transparency Problem in Electronic Commerce....Pages 201-227
Designing Control Mechanisms for Value Exchanges in Network Organisations....Pages 231-246
Sim-I-Space: An Agent-Based Modelling Approach to Knowledge Management Processes....Pages 247-294
On Representing Special Languages with FLBC: Message Markers and Reference Fixing in SeaSpeak....Pages 297-324
A Note on Modelling Speech Acts as Signalling Conventions....Pages 325-342
Dynamic Conversation Structures: An Extended Example....Pages 343-360
Investigating the Value of Information and Computational Capabilities by Applying Genetic Programming to Supply Chain Management....Pages 363-391
Multi-Agent Simulation of Financial Markets....Pages 393-419
Adaptive Agents in Coalition Formation Games....Pages 421-443
On Learning Negotiation Strategies by Artificial Adaptive Agents in Environments of Incomplete Information....Pages 445-461
A Note on Strategic Learning in Policy Space....Pages 463-475
Learning and Tacit Collusion by Artificial Agents in Cournot Duopoly Games....Pages 477-492
A Note on Working Memory in Agent Learning....Pages 493-507
Investigations of Granularity and Payoffs in 2×2 Games under Replicator Dynamics....Pages 509-527




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی