Mathematics of program construction : :: SCD d'Orléans

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contr...

保存先:

書誌詳細
団体著者:	International conference on Mathematics of program construction :Marstrand, Suède
その他の著者:	Jeuring, Johan, 1965- (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 1422
主題:	Génie logiciel Informatique Algorithmes Ordinateurs Informatique > Mathématiques Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Mathematics of program construction, 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998, proceedings, Johan Jeuring, ed., 1998, New York, Springer, 1 vol. (X-382 p.), Lecture notes in computer science, 3-540-64591-8 • Mathematics of Program Construction, Texte imprimé, 9783662200797

類似資料

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

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

Mathematics of program construction : second international conference, Oxford, U.K., June 29 July 3, 1992 : proceedings

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001, Nał©eczów, Poland, September 9-12, 2001 : revised papers
著者:: Wyrzykowski, Roman, 19..-
出版事項: (2003)

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

Optimal interprocedural program optimization : a new framework and its application
著者:: Knoop, Jens

Applied parallel computing : large scale scientific and industrial problem : 4th International Workshop, PARA '98, Umeå, Sweden, June 1998 : proceedings

Visualization of scientific parallel programs
著者:: Tomas, Gerald, 19..-, 等

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

Parallel computing technologies : 4th international conference, PaCT-97, Yaroslavl, Russia, September 8 12, 1997 : proceedings

Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings

New results and new trends in computer science : Graz, Austria, June 20-21, 1991 : proceedings

High-performance computing and networking : 9th international conference, HPCN Europe, 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

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

Programs as Data Objects : proceedings of a workshop, Copenhagen, Denmark, October 17 19, 1985

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, May 8-10, 2000 : proceedings

Parallel computing technologies : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3 7, 2001 : proceedings

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

High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21 23, 1998 : proceedings

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 11, 2003 : proceedings

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 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

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 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

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

Theory of program structures : schemes, semantics, verification
著者:: Greibach, Sheila, 1939-
出版事項: (2005)

Advanced parallel processing technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings

High performance computing : 5th international symposium, ISHPC 2003, Tokyo-Odaiba, Japan, october 20-22, 2003 : proceedings

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

High-performance comupting and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 12 14, 1999 : proceedings

Applied parallel computing : new paradigms for HPC in Industry and Academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings

Applied Parallel Computing : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15 18, 2002 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