Mathematical foundations of computer science 2000 : ; proceedings :: SCD d'Orléans

Mathematical foundations of computer science 2000 : ; proceedings 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000

Mathematical foundations of computer science 2000 : ; proceedings 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Symposium on mathematical foundations of computer science :Bratislava, Slovaquie
Andre forfattere:	Rovan, Branislav, 1947- (Directeur de la publication), Nielsen, Mogens, 1949- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1893
Fag:	Informatique Langages de programmation Réseaux d'ordinateurs Informatique > Mathématiques Ordinateurs Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Mathematical foundations of computer science 2000, 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Mogens Nielsen, Branislav Rovan (eds.), 2000, Berlin, Springer, 1 vol. (XIII-710 p.), Lecture notes in computer science, 3-540-67901-4 • Mathematical Foundations of Computer Science 2000, Texte imprimé, 9783662182642

Lignende værker

Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27 31, 2001 : proceedings

Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25 29, 1997 : proceedings

Mathematical foundations of computer science 1998 : proceedings of the 23rd International symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998

CONCUR 2000 - concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings

Theoretical computer science : exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings

Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8 11, 1998 : proceedings

CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26 29, 1996 : proceedings

Foundations of security analysis and design : tutorial lectures

CONCUR 2002 - concurrency theory : 13th International Conference Brno, Czech Republic, August 20 23, 2002 : proceedings

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures

CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings
af: Gardner, Philippa

Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

CONCUR 2001 - concurrency theory : 12th international conference Aalborg, Denmark, August 20 25, 2001 : proceedings

CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1 4, 1997 : proceedings

ECOOP 2000 - object-oriented programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12 16, 2000 : proceedings

CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, The Netherlands, August 24 27, 1999 : proceedings

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : proceedings

Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers

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

Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977

Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4 7, 2000 : proceedings

Automata, languages and programming : ; proceedings 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000

Metalevel architectures and separation of crosscutting concerns : third international conference, REFLECTION 2001 Kyoto, Japan, September 25 28, 2001 : proceedings

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

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

ECOOP 2001 - object-oriented programming : 15th European Conference Budapest, Hungary, June 18 22, 2001 : proceedings

Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers

Engineering distributed objects : second international workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised paper

Grid Computing - GRID 2001 : ; proceedings second international workshop, Denver, CO, USA, November 12, 2001

Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers

Internet programming languages : ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998 : proceedings

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

PARLE '89 Parallel architectures and languages Europe. parallel Architectures : Eindhoven, The Netherlands, June 12 16, 1989 : 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