CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

ISBN 978-0-89838-173-3

Localisation : Colloque 1er étage (PHIL)

FORTRAN # LISP # MACSYMA # MAPLE # REDUCE # SMP # analyse de données # application d'algèbre informatique # bifurcation de Hopf # calcul symbolique # chimie # mathématique symbolique # modélisation de polymère # moteur de chaleur photochimique # muMATH # mécanique # onde de Stokes # robot # solution exacte pour super treillis # théorie des champs quantiques

Documents

Thesaurus

Revues

Documents 68Pxx | enregistrements trouvés : 79

Applications of computer algebrasAmerican Chemical Society held their 188th national meetingAug. 26-27 Pavelle, Richard | Kluwer Academic Publishers 1985 Nouveau

Compstat 19825th symposium held at toulouse 1982 part 1 Caussinus, H. ; Ettinger, P. ; Tomassone, R. | Physica Verlag 1982 Nouveau

Compstat 19825th symposium held at toulouse 1982,part 2 Caussinus, H. ; Ettinger, P. ; Tomassone, R. | Physica Verlag 1982 Nouveau

Statistical image processing and graphicsthematic workshop of the office of naval research o.n.r. held in luray,virgini a,24-27 may,1983 Depriest, Douglas J. ; Wegman, Edward J. | Inc.;Marcel Dekker 1985 Nouveau

Applications of computer algebrapapers based on the proceedings of a symposium on symbolic algabraic manipulat ion in... held in philadelphia, aug. 26-28,1984 Pavelle, R. | Kluwer Academic Publishers 1985 Nouveau

Mathematical logic and theoretical computer science :papers presented during the XVI special year of the department of mathematics of the university of Maryland Kueker, David W. ; Lopez-Escobar, Edgar G. K. ; Smith, Carl H. | Inc.;Marcel Dekker 1987 Nouveau

Prospects of mathematical scienceproceedings of the symposium on... held at gakusyuin university,tokyo,17-19 nov.,1986 Kano, T. ; Mitsui, T. ; Nagasaka, K. | World Scientific 1988 Nouveau

Graphs and algorithms :conference in the mathematical sciences held at boulder#June 28 - July 4 Richter, R. Bruce | American Mathematical Society 1989 Nouveau

Computers and mathematics :conference in the computers and mathematics' 89,massachusetts institute of technology#June 13-17 Kaltofen, Erich ; Watt, Stephen M. | Springer-Verlag 1989 Nouveau

Graphtheoretic concepts in computer science :proceedings of the international workshop wg 80 was held at bad honnef#June 15-17 Noltemeier, Hartmut | Springer-Verlag 1981 Nouveau

Theoretical computer science :5th gi-conference was held at karlsruhe#March 23-25 Deussen, Peter | Springer-Verlag 1981 Nouveau

Icdt '86 :international conference on database theory held in rome#Sept. 8-10 Atzeni, Paolo ; Ausiello, Giorgio | Springer-Verlag 1986 Nouveau

Theoritical aspects of computer software :international conference tacs'91 held at sendai#Sept. 24-27 Ito, T. ; Meyer, R. R. | Springer-Verlag 1991 Nouveau

Stacs 91 :8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16 Choffrut, C. ; Jantzen, M. | Springer-Verlag 1991 Nouveau

Advances in database technology - edbt'92 :3rd international conference on extending database technology#March 23-27 Delobel, C. ; Gottlob, Georg ; Pirotte, A. | Springer-Verlag 1992 Nouveau

Advanced database systems :10th British national conference on databases, BNCOD 10#July 6-8 Gray, P. M. D. ; Lucas, R. J. | Springer-Verlag 1992 Nouveau

Temporal logicfirst international conference, ICTL '94July 11-14 Gabbay, Dov. M. ; Ohlbach, Hans Jürgen | Springer-Verlag 1994 Nouveau

STACS 98 :15th annual symposium on theoretical aspects of computer science#Feb 25-27 Krob, Daniel ; Meinel, Christoph ; Morvan, Michel | Springer 1998 Nouveau

Logic in databases :international workshop, LID '96#July 1-2 Pedreschi, Dino ; Zaniolo, Carlo | Springer 1996 Nouveau

Database issues for data visualization :IEEE visualisation '95 workshop#Oct. 28 Grinstein, Georges G. ; Lang, Ulrich ; Wierse, Andreas | Springer 1996 Nouveau

Filtrer

Type

Domaine

Codes MSC

Documents

Références

Auteurs

Thesaurus

Applications of computer algebras
American Chemical Society held their 188th national meeting
Aug. 26-27 Pavelle, Richard | Kluwer Academic Publishers 1985 Nouveau

Compstat 1982
5th symposium held at toulouse 1982 part 1 Caussinus, H. ; Ettinger, P. ; Tomassone, R. | Physica Verlag 1982 Nouveau

Compstat 1982
5th symposium held at toulouse 1982,part 2 Caussinus, H. ; Ettinger, P. ; Tomassone, R. | Physica Verlag 1982 Nouveau

Statistical image processing and graphics
thematic workshop of the office of naval research o.n.r. held in luray,virgini a,24-27 may,1983 Depriest, Douglas J. ; Wegman, Edward J. | Inc.;Marcel Dekker 1985 Nouveau

Applications of computer algebra
papers based on the proceedings of a symposium on symbolic algabraic manipulat ion in... held in philadelphia, aug. 26-28,1984 Pavelle, R. | Kluwer Academic Publishers 1985 Nouveau

Mathematical logic and theoretical computer science :
papers presented during the XVI special year of the department of mathematics of the university of Maryland Kueker, David W. ; Lopez-Escobar, Edgar G. K. ; Smith, Carl H. | Inc.;Marcel Dekker 1987 Nouveau

Prospects of mathematical science
proceedings of the symposium on... held at gakusyuin university,tokyo,17-19 nov.,1986 Kano, T. ; Mitsui, T. ; Nagasaka, K. | World Scientific 1988 Nouveau

Graphs and algorithms :
conference in the mathematical sciences held at boulder#June 28 - July 4 Richter, R. Bruce | American Mathematical Society 1989 Nouveau

Computers and mathematics :
conference in the computers and mathematics' 89,massachusetts institute of technology#June 13-17 Kaltofen, Erich ; Watt, Stephen M. | Springer-Verlag 1989 Nouveau

Graphtheoretic concepts in computer science :
proceedings of the international workshop wg 80 was held at bad honnef#June 15-17 Noltemeier, Hartmut | Springer-Verlag 1981 Nouveau

Theoretical computer science :
5th gi-conference was held at karlsruhe#March 23-25 Deussen, Peter | Springer-Verlag 1981 Nouveau

Icdt '86 :
international conference on database theory held in rome#Sept. 8-10 Atzeni, Paolo ; Ausiello, Giorgio | Springer-Verlag 1986 Nouveau

Theoritical aspects of computer software :
international conference tacs'91 held at sendai#Sept. 24-27 Ito, T. ; Meyer, R. R. | Springer-Verlag 1991 Nouveau

Stacs 91 :
8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16 Choffrut, C. ; Jantzen, M. | Springer-Verlag 1991 Nouveau

Advances in database technology - edbt'92 :
3rd international conference on extending database technology#March 23-27 Delobel, C. ; Gottlob, Georg ; Pirotte, A. | Springer-Verlag 1992 Nouveau

Advanced database systems :
10th British national conference on databases, BNCOD 10#July 6-8 Gray, P. M. D. ; Lucas, R. J. | Springer-Verlag 1992 Nouveau

Temporal logic
first international conference, ICTL '94
July 11-14 Gabbay, Dov. M. ; Ohlbach, Hans Jürgen | Springer-Verlag 1994 Nouveau

STACS 98 :
15th annual symposium on theoretical aspects of computer science#Feb 25-27 Krob, Daniel ; Meinel, Christoph ; Morvan, Michel | Springer 1998 Nouveau

Logic in databases :
international workshop, LID '96#July 1-2 Pedreschi, Dino ; Zaniolo, Carlo | Springer 1996 Nouveau

Database issues for data visualization :
IEEE visualisation '95 workshop#Oct. 28 Grinstein, Georges G. ; Lang, Ulrich ; Wierse, Andreas | Springer 1996 Nouveau