Advanced information systems engineering : :: SCD d'Orléans

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

Advanced information systems engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8 10, 1990 : proceedings

The Nordic Conference on Advanced Information Systems Engineering (CAiSE) is an annual international conference for users, developers and researchers of information systems technology and methodology. A distinctive characteristic of the CAiSE conference series is the objective to appeal to advanced...

保存先:

書誌詳細
団体著者:	International Conference on Advanced information systems engineering :Stockholm
その他の著者:	Sølvberg, Arne, 1940- (出版デイレクター), Steinholtz, Bo (出版デイレクター), Bergman, Lars, 1943- (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 436
主題:	Génie logiciel Informatique Ingénierie des systèmes Conception assistée par ordinateur en génie logiciel 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:	• Advanced information systems engineering, proceedings, Second Nordic Confernce CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Berlin, Springer-Verlag, 1990, 1 vol. (IX-392 p.), Lecture notes in computer science, 3-540-52625-0 • Advanced Information Systems Engineering, Texte imprimé, 9783662182307

類似資料

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

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Advanced information systems engineering : 6th International Conference, CAiSE'94, Utrecht, The Netherlands, June 6 10, 1994 : proceedings

Advanced information systems engineering : 10th International Conference, CAiSE '98 Pisa, Italy, June 8 12, 1998 : proceedings

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 16, 1995 : proceedings

Advanced information systems engineering : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : proceedings

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Advanced information systems engineering : 15th international conference, CAiSE 2003, Klagenfurt/Velden, Austria, June 16 20, 2003 : proceedings

Advanced Information Systems Engineering : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27 31, 2002 : proceedings

Advanced information systems engineering : 16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004 : proceedings

Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13 15, 1991 : proceedings

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

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 verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

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

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

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : 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

Industrial and engineering applications of artificial intelligence and expert systems : 5th international conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings
著者:: Belli, Fevzi

On the computational geometry of pocket machining
著者:: Held, Martin

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

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

High-performance computing and networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
著者:: Geist, Daniel

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

Graph drawing : DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10 12, 1994 : proceedings

Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Requirements engineering
著者:: Hull, Elizabeth, 1953-, 等
出版事項: (2011)

Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, september 19-22, 2004 : proceedings

Graph drawing : Symposium on Graph Drawing, GD '95, Passau, Germany, September 20 22, 1995 : proceedings

Inventor 2022 : modélisation et documentation de systèmes mécaniques
著者:: Perrée, Fabian, 1986-
出版事項: (2021)

Inventor 2022 : modélisation et documentation de systèmes mécaniques
著者:: Perrée, Fabian, 1986-
出版事項: (2021)

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, october 31-november 3, 2004 : proceedings

VLSI engineering : beyond software engineering
著者:: Kunii, Toshiyasu, 1938-

Applied parallel computing : computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings

Requirements targeting software and systems engineering : International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997 : proceedings

© 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