0
Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)

Buy Now

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 (Paperback, 2001 ed.) Loot Price: R3,110
Discovery Miles 31 100
Computer Aided Systems Theory - EUROCAST 2001 - A Selection of Papers from the 8th International Workshop on Computer Aided...

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 (Paperback, 2001 ed.)

Roberto Moreno Diaz, Bruno Buchberger, Jose-Luis Freire

Series: Lecture Notes in Computer Science, 2178

 (sign in to rate)
Loot Price R3,110 Discovery Miles 31 100 | Repayment Terms: R291 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2178
Release date: 2001
First published: 2001
Editors: Roberto Moreno Diaz • Bruno Buchberger • Jose-Luis Freire
Dimensions: 235 x 155 x 35mm (L x W x T)
Format: Paperback
Pages: 672
Edition: 2001 ed.
ISBN-13: 978-3-540-42959-3
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
LSN: 3-540-42959-X
Barcode: 9783540429593

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,292 Discovery Miles 22 920
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,285 Discovery Miles 22 850
ETABS V20 Black Book
Gaurav Verma Hardcover R1,880 Discovery Miles 18 800
Autodesk CFD 2023 Black Book
Gaurav Verma, Matt Weber Hardcover R1,873 Discovery Miles 18 730
Creo Parametric 9.0 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,261 Discovery Miles 22 610
Autodesk Revit 2023 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,001 Discovery Miles 20 010
SolidWorks Workbook 2022 (Colored)
Gaurav Verma, Matt Weber Hardcover R1,096 Discovery Miles 10 960
SolidWorks Simulation 2022 Black Book…
Gaurav Verma, Matt Weber Hardcover R1,719 Discovery Miles 17 190
Computer Architecture in Industrial…
Lulu Wang, Liandong Yu Hardcover R3,452 R3,224 Discovery Miles 32 240
SolidWorks Flow Simulation 2022 Black…
Gaurav Verma, Matt Weber Hardcover R1,331 Discovery Miles 13 310
SolidWorks CAM 2022 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R1,545 Discovery Miles 15 450
SolidWorks Electrical 2022 Black Book…
Gaurav Verma, Matt Weber Hardcover R1,407 Discovery Miles 14 070

See more

Partners