توضیحات
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات بیست و یکمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2018 است که در سال 2018 در تسالونیکی، یونان، به عنوان بخشی از کنفرانس مشترک اروپایی در نظریه و عمل برگزار شد. نرم افزار، ETAPS 2018. 31 مقاله ارائه شده در این جلد به دقت بررسی و از 103 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی با نام های: معناشناسی سازماندهی شده اند. خطی بودن؛ همزمانی؛ لامبدا-حساب و انواع. نظریه دسته و کنترل کوانتومی؛ مدل های کمی؛ منطق و نظریه های معادله; و نمودارها و خودکارها.
tag : دانلود کتاب مبانی علم نرم افزار و ساختارهای محاسباتی , Download مبانی علم نرم افزار و ساختارهای محاسباتی , دانلود مبانی علم نرم افزار و ساختارهای محاسباتی , Download Foundations of Software Science and Computation Structures Book , مبانی علم نرم افزار و ساختارهای محاسباتی دانلود , buy مبانی علم نرم افزار و ساختارهای محاسباتی , خرید کتاب مبانی علم نرم افزار و ساختارهای محاسباتی , دانلود کتاب Foundations of Software Science and Computation Structures , کتاب Foundations of Software Science and Computation Structures , دانلود Foundations of Software Science and Computation Structures , خرید Foundations of Software Science and Computation Structures , خرید کتاب Foundations of Software Science and Computation Structures ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.