FST TCS 2000 : :: SCD d'Orléans

FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Conference on foundations of software technology and theoretical computer science :New Delhi
Autres auteurs:	Kapoor, Sanjiv, 1959- (Directeur de la publication), Prasad, Sanjiva (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1974
Sujets:	Génie logiciel Informatique Algorithmes Langages de programmation Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FST TCS 2000, foundations of software technology and theoretical computer science, 20th conference, New Delhi, India, December 13-15, 2000, proceedings, Sanjiv Kapoor, Sanjiva Prasad (eds.), 2000, Berlin, Springer, 1 vol. (XIII-532 p.), Lecture notes in computer science, 3-540-41413-4 • FST TCS 2000: Foundations of Software Technology and Theoretical Science, Texte imprimé, 9783662203217

Documents similaires

FST TCS 2001 : foundations of software technology and theoretical computer science : 21st Conference, Bangalore, India, December 13 15, 2001 : proceedings

FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings

FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings : [FST and TCS 15]

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings : FST and TCS 6

Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India December 13 15, 1984 : proceedings : FST and TCS 4
par: Joseph, Mathai, 1943-

Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15 17, 1994 : proceedings

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings : FST and TCS 13

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings : FST and TCS 12

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17 19, 1987 : proceedings : FST and TCS 7

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11

Foundations of software technology and theoretical computer science : ninth conference, Bangalore, India December 19 21, 1989 : proceedings : FST and TCS 9

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings : FST and TCS 8

Mathematical foundations of computer science 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings

Foundations of software technology and theoretical computer science : Fifth Conference, New Delhi, India December 16 18, 1985 : proceedings : FST and TCS 5

Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28 September 1, 1995 : proceedings

Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24 28, 1992 : proceedings

Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22 26, 1994 : proceedings

Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Compiler construction : 9th International Conference, CC 2000held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3 4, 1997 : proceedings

Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP)

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13 17, 1989 advanced seminar on foundations of innovative software development II and colloquium on current issues in programming languages (CCIPL)

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

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

High performance computing - HiPC 2000 : 7th International Conference, Bangalore, India, December 17 20, 2000 : 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