Тема, жанр, tags: Computer-Aided Engineering (CAD CAE) and Design » Page 163 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer-Aided Engineering (CAD CAE) and Design » Page 163

book Formal Development of Reactive Systems: Case Study Production Cell

Formal Development of Reactive Systems: Case Study Production Cell

djvu

Author: Claus Lewerentz Thomas Lindner (auth.) Claus Lewerentz Thomas Lindner (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

djvu

Author: Kurt Keutzer (auth.) Mandayam Srivas Albert Camilleri (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Expert Systems in Engineering Principles and Applications: International Workshop Vienna, Austria, September 24–26, 1990 Proceedings

Expert Systems in Engineering Principles and Applications: International Workshop Vienna, Austria, September 24–26, 1990 Proceedings

djvu

Author: Johan de Kleer Alan K. Mackworth (auth.) Georg Gottlob Wolfgang Nejdl (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Database Systems of the 90s: International Symposium Müggelsee, Berlin, FRG, November 5–7, 1990 Proceedings

Database Systems of the 90s: International Symposium Müggelsee, Berlin, FRG, November 5–7, 1990 Proceedings

djvu

Author: Donald J. Haderle (auth.) Albrecht Blaser (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book 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 '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings

djvu

Author: J. Mira A. E. Delgado (auth.) Franz Pichler Roberto Moreno Díaz (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book 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 '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings

djvu

Author: Franz Pichler (auth.) Franz Pichler Roberto Moreno Díaz (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book 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 '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings

djvu

Author: Rudolf F. Albrecht (auth.) Franz Pichler Roberto Moreno Díaz Rudolf Albrecht (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Computer Analysis of Images and Patterns: 5th International Conference, CAIP'93 Budapest, Hungary, September 13–15, 1993 Proceedings

Computer Analysis of Images and Patterns: 5th International Conference, CAIP'93 Budapest, Hungary, September 13–15, 1993 Proceedings

djvu

Author: Robert M. Haralick (auth.) Dmitry Chetverikov Walter G. Kropatsch (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Attribute Grammars, Applications and Systems: International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings

Attribute Grammars, Applications and Systems: International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings

djvu

Author: Henk Alblas (auth.) Henk Alblas Bořivoj Melichar (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

book Applications of Databases: First International Conference, ADB-94 Vadstena, Sweden, June 21–23, 1994 Proceedings

Applications of Databases: First International Conference, ADB-94 Vadstena, Sweden, June 21–23, 1994 Proceedings

djvu

Author: Michael Yap (auth.) Witold Litwin Tore Risch (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0