Computer Aided Systems Theory - EUROCAST 2001: 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 / Edition 1

Computer Aided Systems Theory - EUROCAST 2001: 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 / Edition 1

by Roberto Moreno-Diaz
     
 

ISBN-10: 354042959X

ISBN-13: 9783540429593

Pub. Date: 12/18/2001

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540429593
Publisher:
Springer Berlin Heidelberg
Publication date:
12/18/2001
Series:
Lecture Notes in Computer Science Series, #2178
Edition description:
2001
Pages:
672
Product dimensions:
6.10(w) x 9.25(h) x 0.06(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >