Perspectives of system informatics : :: SCD d'Orléans

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International Andrei Ershov Memorial Conference :Novosibirsk, Russie
Beste egile batzuk:	Broy, Manfred, 1949- (Argitalpenaren zuzendaria), Zamulin, Aleksandr Vasil½evich (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 2890
Gaiak:	Génie logiciel Informatique Ingénierie des systèmes Langages de programmation Ordinateurs Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Perspectives of system informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Manfred Broy, Alexandre V. Zamulin (eds.), 2003, Berlin, Springer, 1 vol. (XV-572 p.), Lecture notes in computer science, 3-540-20813-5 • Perspectives of Systems Informatics, Texte imprimé, 9783662208465

Antzeko izenburuak

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2 6, 2001 : revised papers

Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI 99 Akademgorodok, Novosibirsk, Russia July 6 9, 1999 : proceedings

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

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

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

Informatics : 10 years back, 10 years ahead
nork: Wilhelm, Reinhard, 1946-

Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers

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

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
nork: Dastani, Mehdi

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

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
nork: Lengauer, Christian

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

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

Advances in informatics : 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8 10, 2001 : revised selected papers

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

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

System modelling and optimization : proceedings of the 16th IFIP-TC7 Conference, Compiègne, France, July 5 9, 1993

Scientific computing in object-oriented parallel environments : First International Conference, ISCOPE 97, Marina del Rey, California, USA December 8 11, 1997 : proceedings

Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003 : Revised papers

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

Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20 25, 2001 : revised papers

System modelling and optimization : proceedings of the 14th IFIP-Conference Leipzig, GDR, July 3-7, 1989

Experimental robotics. The 2nd international symposium, Toulouse, France, June 25 27 1991

Formal modeling and analysis of timed systems : First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

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

Large-scale scientific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6 10, 2001 : revised papers

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

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

ECOOP 96 - object-oriented programming : 10th European Conference Linz, Austria, July 8 12, 1996 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
nork: Llamosí, Albert

Generative and component-based software engineering : first international symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers

Aeroassisted orbital transfer : guidance and control strategies
nork: Naidu, Desineni Subbaram, 1940-

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
nork: Belli, Fevzi

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited 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