小哈图书下载中心

Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

Roberto Moreno-Diaz

1 (2001年12月1日)

2001-12

670

110.0

平装

9783540429593

图书标签:

喜欢 Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-09-21

Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 pdf epub mobi txt 电子书下载 2024

图书描述

在线阅读本书

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001.

The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.

length: (cm)23.3 　　　　　　　　　　　　　 width:(cm)15.4

Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 下载 mobi epub pdf txt 电子书