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

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

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

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International Andrei Ershov Memorial Conference :Akademgorodok, Novosibirsk, Russie
Beste egile batzuk:	Bjørner, Dines, 1937- (Argitalpenaren zuzendaria), 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 1755
Gaiak:	Génie logiciel Informatique Langages de programmation Ordinateurs Intelligence artificielle Systèmes informatiques 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, Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999, proceedings, Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.), 2000, New York, Springer, 1 vol. (XII-540 p.), Lecture notes in computer science, 3-540-67102-1 • Perspectives of System Informatics, Texte imprimé, 9783662177105

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 : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

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

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

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

Meta-level architectures and reflection : Second International Conference, Reflection 99, Saint-Malo, France, July 19 21, 1999 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 December 2, 2000 : proceedings

The Munich Project CIP. the program transformation system CIP-S
nork: Bauer, Friedrich Ludwig, 1924-2015, et al.

Coordinatio[n] languages and models : Third International Conference, COORDINATION 99 Amsterdam, The Netherlands, April 26 28, 1999 : proceedings

Conclog : a methodological approach to concurrent logic programming
nork: Jacquet, Jean-Marie, 19..-...., chercheur en informatique

Mobile object systems : toward the programmable Internet : second international workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic November 23 December 1, 1995 : proceedings

SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt any, Slovak Republic, November 24 December 1, 2001 : proceedings

ECOOP 99 - object oriented programming : 13th European Conference Lisbon, Portugal, June 14 18, 1999 : proceedings

Approaches to intelligent agents : Second Pacific Rim International Workshop on Multi-Agents, PRIMA 99, Kyoto, Japan, December 2-3, 1999 : proceedings
nork: Nakashima, Hideyuki

Semirings for soft constraint solving and programming
nork: Bistarelli, Stefano

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

SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 30, 1996 : proceedings

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

Agent-oriented software engineering III : third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

Program development in computational logic : a decade of research advances in logic-based program development
nork: Bruynooghe, Maurice

Active networks : First International Working Conference, IWAN 99, Berlin, Germany, June 30 - July 2, 1999 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15 17, 1993 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : proceedings

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

ECOOP '93 - object-oriented programming : 7th European Conference Kaiserslautern, Germany, July 26 30, 1993 : proceedings

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

Object-oriented programming : 8th European Conference, ECOOP '94 Bologna, Italy, July 4 8, 1994 : proceedings

Programming Languages and Systems : 8th European Symposium on Programming, ESOP 99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 99 Amsterdam, The Netherlands, March 22 28, 1999 Proceedings

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

Software engineering - ESEC/FSE 99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 10, 1999 : proceedings

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30 31, 2001 : proceedings

ECOOP' 97 - object-oriented programming : 11th European Conference Jyväskylä, Finland, June 9 13, 1997 : proceedings

ECOOP 95 - object-oriented programming : 9th European Conference, Åarhus, Denmark, August 7 11, 1995 : proceedings

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop, ATAL 99, Orlando, Florida, USA, July 15-17, 1999 : proceedings

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers

Generative programming and component engineering : Third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : 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