Recent trends in algebraic development techniques : :: SCD d'Orléans

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International workshop on algebraic development techniques :Gênes
Další autoři:	Cerioli, Maura, 19..- (Šéfredaktor, odpovědný redaktor), Reggio, Gianna (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 2267
Témata:	Génie logiciel Informatique Types abstraits de données (informatique) Logique symbolique et mathématique Informatique > Mathématiques Logiciels > Développement Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Recent trends in algebraic development techniques, 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected papers, Maura Cerioli, Gianna Reggio (eds.), Berlin, Springer, 2001, 1 vol. (X-343 p.), Lecture notes in computer science, 3-540-43159-4 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662177976

Podobné jednotky

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Autor: Parisi-Presicce, Francesco

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

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

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

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Recent advances in algorithmic differentiation
Autor: Forth, Shaun, 19..-

A systematic catalogue of reusable abstract data types
Autor: Uhl, Jürgen, a další

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

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Autor: Geurts, Frederic, 1965-

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

Le Turbo Pascal en classes préparatoires, Applications mathématiques : probabilités et statistiques
Autor: Levine, Albert, 19..-, a další
Vydáno: (1989)

Compiler construction : 10th International Conference, CC 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : proceedings

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Guide du calcul avec les logiciels libres : XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD..
Autor: Connan, Guillaume, 19..-, a další

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 6, 2001 : proceedings

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
Autor: Sherman, Mark Steven, 19..-

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

Toutes les applications de Maple : en physique, en chimie & en mathématiques
Autor: Leroux, Alain, 1949-, a další
Vydáno: (1995)

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

The R software : fundamentals of programming and statistical analysis
Autor: Lafaye de Micheaux, Pierre, 1973-...., biostatisticien, a další

Maple and Mathematica : A Problem Solving Approach for Mathematics
Autor: Shingareva, Inna, 19..-, a další
Vydáno: (2007)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Fast software encryption : 10th international workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : revised papers

Optimization software guide
Autor: Moré, Jorge J., a další
Vydáno: (1993)

Maths et Maple
Autor: Ferrard, Jean-Michel, 19..-
Vydáno: (1998)

Mathématiques avec Maple
Autor: Rotaru, Paul, 19..-
Vydáno: (1997)

A short course in mathematical methods with Maple
Autor: Aratyn, Henrik, 1952-, a další
Vydáno: (2006)

Maple : Introduction raisonnée à l'usage de l'étudiant, de l'ingénieur et du chercheur
Autor: Cornil, Jack-Michel, 19..-, a další
Vydáno: (1995)

Experiments in mathematics using Maple
Autor: Dodson, Christopher Terence John, 1941-, a další

© 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