Computer aided systems theory - EUROCAST'99 : ; proceedings :: SCD d'Orléans

Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999

Computer aided systems theory - EUROCAST'99 : ; proceedings a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTsoftwareis...

保存先:

書誌詳細
団体著者:	International Workshop on Computer Aided Systems Theory :Vienne
その他の著者:	Pichler, Franz, 1936- (出版デイレクター), Moreno-Diaz, Roberto, 1939- (出版デイレクター), Kopacek, Peter (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 1798
主題:	Conception assistée par ordinateur Informatique Intelligence artificielle Ingénierie assistée par ordinateur Physique mathématique Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided systems theory - EUROCAST'99, a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999, Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.), 2000, Berlin, Springer, 1 vol. (X-602 p.), Lecture notes in computer science, 3-540-67822-0 • Computer Aided Systems Theory - EUROCAST'99, Texte imprimé, 9783662181126

類似資料

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings

Computer aided systems theory - EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24 28, 1997 : proceedings

Computer Aided Systems Theory EUROCAST '91 : A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15 19 1991 Proceedings

Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26 1993 : proceedings

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

Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers

Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : proceedings

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

An expert systems approach to computer-aided design of multivariable systems
著者:: Pang, Grantham K. H., 等

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Computer-aided design
出版事項: (1990)

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided systems theory - CAST '94 : 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings

ANSYS Workbench tutorial : structural & thermal analysis using the ANSYS Workbench release 14 environment
著者:: Lawrence, Kent L.
出版事項: (2012)

Computational Design Modelling
出版事項: (2012)

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
著者:: Wangler, Benkt, 等

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990 : proceedings
著者:: Gottlob, Georg, 1956-

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers

Information management in computer integrated manufacturing : a comprehensive guide to state-of-the-art CIM solutions
著者:: Adelsberger, Heimo H.

Interactive multi-objective programming as a framework for computer-aided control system design
著者:: Ng, Wai-Yin

Digital earth moving : first international symposium, DEM 2001, Manno, Switzerland, September 2001 : proceedings

Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 11, 1992 : proceedings

Methods and tools for computer integrated manufacturing : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83), Karlsruhe, Germany, September 5 to 16, 1983

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Fundamentals of digital manufacturing science
著者:: Zhou, Zude, 1946-, 等

Applications of invariance in computer vision : second joint European - US workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993 : proceedings

Digital landscape architecture now
著者:: AMOROSO, Nadia
出版事項: (2012)

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings
著者:: Becker, Jürgen, 1929-

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

CAO de circuits et de systèmes intégrés
著者:: Mahdoum, Ali
出版事項: (2020)

High-performance computing and networking : international conference and exhibition, Vienna, Austria, April 28-30, 1997 : proceedings

Image analysis applications and computer graphics : Third International Computer Science Conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings

Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings

Formal development of reactive systems : case study production cell
著者:: Lewerentz, Claus, 19..-

Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales