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

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

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

This book constitutes the refereed proceedings of the 10th International Conference on Advanced Information Systems Engineering, CAiSE'98, held in Pisa, Italy, in June 1998. The book presents 21 revised full papers together with one invited survey; the papers were selected from a total of 102 s...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	CAiSE :Pise, Italie
Altres autors:	Pernici, Barbara, 1956- (Director editorial), Thanos, Costantino, 1939- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1413
Matèries:	Génie logiciel Informatique Ingénierie des systèmes Intelligence artificielle Conception assistée par ordinateur en génie logiciel Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 10th International Conference, CAiSE±98, Pisa, Italy, June 1998, proceedings, Barbara Pernici, Costantino Thanos (eds.), 1998, Berlin, Springer, 1 vol. (X-421 p.), Lecture notes in computer science, 3-540-64556-X • Advanced Information Systems Engineering, Texte imprimé, 9783662176092

Ítems similars

Advanced information systems engineering : 12th International Conference, CAiSE 2000, Stockholm, Sweden, June 5 9, 2000 : proceedings
per: Wangler, Benkt, et al.

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

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

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : 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 : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 15th international conference, CAiSE 2003, Klagenfurt/Velden, Austria, June 16 20, 2003 : 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 : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : 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

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

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

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

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

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

Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 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
per: Geist, Daniel

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

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

Requirements engineering
per: Hull, Elizabeth, 1953-, et al.
Publicat: (2011)

Parallel, distributed and multiagent production systems
per: Ishida, Toru, 1953-

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

On the computational geometry of pocket machining
per: Held, Martin

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

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

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

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

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

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

Software engineering : an advanced course
per: Bauer, Friedrich Ludwig, 1924-2015, et al.
Publicat: (2005)

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

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

Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
per: Wirsing, Martin, 1948-

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996 : proceedings

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

Graph drawing : Symposium on Graph Drawing, GD '95, Passau, Germany, September 20 22, 1995 : 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