This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Reducing CO2 Emissions :
"
by John L.R. Proops, Malte Faber, Gerhard Wagenhals.
Document Type
:
BL
Record Number
:
733540
Doc. No
:
b553340
Main Entry
:
Wilfried Brauer
Title & Author
:
Net theory and applications.\ Wilfried Brauer
Publication Statement
:
Berlin: Springer-Verlag, 1980
Series Statement
:
Lecture notes in computer science, vol. 84
Page. NO
:
[1 volume].
ISBN
:
3540100016
:
: 9783540100010
Contents
:
to general net theory.- Elements of general net theory.- Formal properties of place/transition nets.- Linear algebra in net theory.- Atomicity of activities.- Concurrency.- The relative strength of K-density.- Reductions of nets and parallel programs.- Adequacy of path programs.- Performance evaluation of systems using nets.- Survey of French research and applications based on Petri nets.- Nets in modeling and simulation.- Abstractions of net models.- Applications of net-based models.- The application of general net theory - A personal history.- Petri-nets from the engineer's viewpoint lecture I.- Nets as a tool in teaching and in terminology work.- Structured representation of knowledge by Petri nets as an aid for teaching and research.- A dictionary of some basic notions of net theory.- Addresses of all authors.
Subject
:
Machine theory -- Congresses.
https://lib.clisel.com/site/catalogue/739955
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن