REDUCE : :: SCD d'Orléans

REDUCE : software for algebraic computation

REDUCE : software for algebraic computation

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Rayna, Gerhard
Další autoři:	Hearn, Anthony C. (Autor úvodu atd.)
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	New York ; Berlin ; Paris [etc] : Springer-Verlag C 1987.
Edice:	Symbolic computation. Artificial intelligence
Témata:	REDUCE > logiciel Mathématiques > Logiciels
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Reduce : Software for Algebraic Computation
Autor: Rayna, Gerhard

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

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

Applied Statistics : using SPSS, STATISTICA, MATLAB and R
Autor: Sá, J. P. Marques de, 1946-
Vydáno: (2007)

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : 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

MATLAB : the language of technical computing : release 11 new features.
Vydáno: (1999)

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

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Méthodes mathématiques et programmation
Autor: Nizard, Alain F.
Vydáno: (1988)

Mathématiques pour les sciences de l'ingénieur avec Mathematica®.
Autor: Carmasol, Alain
Vydáno: (2021)

Introduction à MATLAB
Autor: Lapresté, Jean-Thierry
Vydáno: (1999)

Building tightly integrated software development environments : the IPSEN approach
Autor: Nagl, Manfred, 1944-

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

Introduction à SCILAB
Autor: Chancelier, Jean-Philippe, a další
Vydáno: (2001)

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

Introduction à MATLAB
Autor: Lapresté, Jean-Thierry
Vydáno: (2015)

Programmation linéaire avec Excel
Autor: Prins, Christian, 1956-, a další
Vydáno: (2011)

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 : 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

Software engineering : an advanced course
Autor: Bauer, Friedrich Ludwig, 1924-2015, a další
Vydáno: (2005)

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

Mathematica for the sciences
Autor: Crandall, Richard, 1947-2012
Vydáno: (1991)

Le Turbo Pascal en classes préparatoires, Applications mathématiques en Turbo-Pascal : programmes commentés
Autor: Levine, Albert, 19..-
Vydáno: (1988)

Introduction à Mathematica
Autor: Culioli, Jean-Christophe, 1959-
Vydáno: (1991)

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

Modélisation aléatoire en fiabilité des logiciels
Autor: Gaudoin, Olivier, a další
Vydáno: (2007)

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

Software for Algebraic Geometry

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Autor: Müller-Olm, Markus, 19..-

Foundations of software science and computation structures : First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Foundations of software science and computation structures : Second International Conference, FOSSACS 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

Apprendre et maîtriser MATLAB
Autor: Mokhtari, Mohand, 19..-, a další
Vydáno: (1997)

Essential MATLAB for engineers and scientists
Autor: Hahn, Brian D., 1946-2005, a další
Vydáno: (2022)

Dynamique économique : solutions de problèmes avec Maple et Matlab
Autor: Goergen, Alain, 19..-
Vydáno: (2006)

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings

Programmer avec Maple V
Autor: Monagan, Michael B., 19..-
Vydáno: (1997)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

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

Software reliability : modelling and identification
Autor: Bittanti, Sergio, 1947-

© 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