Foundations Of Software Science And Computational Structures

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 2 (1)

6th International Conference, Fossacs 2003 Held As Part Of The Joint European Conference ... (Lecture Notes In Computer Science)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

6th International Conference, Fossacs 2003 Held As Part Of The Joint European Conference ... (Lecture Notes In Computer Science)

The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7-9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The pre- ous ?ve FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002). FOSSACS presents original papers on foundational researchwith a clear s- ni?cancetosoftwarescience.TheProgramCommitteeinvitedpapersontheories and methodsto supportthe analysis, integration, synthesis, transformation, and veri?cation of programs and software systems. We identi?ed the following t- ics, in particular: algebraic models; automata and language theory; behavioural equivalences; categorical models; computation processes over discrete and c- tinuous data; computation structures; logics of programs; modal, spatial, and temporallogics;modelsof concurrent, reactive, distributed, and mobile systems; processalgebrasandcalculi;semanticsofprogramminglanguages;softwaresp- i?cation and re?nement; transition systems; and type systems and type theory. We received 96 submissions, of which 2 were withdrawn. This proceedings consists of 27 papers. The ?rst-A Game Semantics for Generic Polymorphism-accompanies the invited lecture by Samson Abramsky, University of Oxford. The remaining 26 were selected for publication by the Program Committee during a week-long electronic discussion. I sincerely thank all the authors of papers submitted to FOSSACS 2003; the number and the quality of papers were exceptionally high this year. Moreover, I would like to thank all the members of the ProgramCommittee for the excellent job they did during a rather demanding selection process, and to thank all our subreferees for their invaluable contributions to this process.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2003

نویسنده

Andrew D. Gordon

ناشر

Springer

شابک

9783540008972

20,000 تومان

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

خرید کتاب Foundations Of Software Science And Computational Structures

Foundations Of Software Science And Computational Structures

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2003

نویسنده

ناشر

شابک

کتاب های مرتبط

Quantum Field Theory

Advances in Knowledge Discovery and Data Mining.

Mathematical Theory of Nonequilibrium Steady States.

Geometric Methods in the Algebraic Theory of Quadratic Forms

Verification, Model Checking, and Abstract Interpretation

Wireless Sensor Networks.

Information Security Applications.

Databases, Information Systems, and Peer-To-Peer Computing

Coordination Models and Languages.

Engineering Self-Organising Systems

Advances in Information Retrieval.

Programming Languages and Systems

Quantum Future From Volta and Como to the Present and Beyond.

Francis Bacon

Advances in Knowledge Discovery and Data Mining

Mathematical Aspects of Evolving Interfaces

Text, Speech and Dialogue

Advances in Databases and Information Systems

Technologies for E-Services

Algorithms in Bioinformatics

Databases in Networked Information Systems.

دیدگاه کاربران