You might also like

More about Computer Aided Systems Theory - EUROCAST 2001

• Book details
• Synopsis
• Trending among others

You get 304 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Graphical & digital media applications Computer-aided design (CAD)

• Full title: Computer Aided Systems Theory - EUROCAST 2001
• Subtitle: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers
• Author: Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire
• Language: English
• Binding: Paperback
• Number of pages: 672
• EAN: 9783540429593
• ISBN: 354042959X
• ID: 01563962
• Publisher: Springer, Berlin
• Weight: 948 g
• Dimensions: 235 × 155 × 35 mm
• Published: 2001

Trending among others

---

---

---