CIRM - Videos & books LibraryDocuments

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

- 402 p.
ISBN 978-3-540-11993-7

Lecture notes in computer science , 0149

Localisation : Collection 1er étage

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

Localisation : Colloque 1er étage (BLAR)

algèbre de Steenrod # analyse # anneau de vecteur de Wih # approximation de fonction différentiable # choix d'une méthode parmi une infinité # congruence # conjecture de Goldbach # contre-exemple # ensemble fini # fabrication de table # graphe # induction simple # itéraction # mathématique énumérative # méthode de Runge-Kutta # ordinateur en recherche mathématique # théorie des nombres

Documents

Thesaurus

Revues

Documents 68-02 | enregistrements trouvés : 103

Crytography :proceedings of the workshop on crytography heid in burg feuerstein#March 29 - April 2 Beth, Thomas | Springer-Verlag 1983 Nouveau

Computers in mathematical researchsymposium on utilisation of... held at the I.B.M. world trade european education centreNetherlandsAug. 29-31 Churchhouse, R. F. ; Herz, J. C. | North-Holland Publishing Co. 1968 Nouveau

Program construction :international summer school held in marktoberdorf, technical university munik#July 26 - Aug. 6 Bauer, F. L. ; Broy, M. | Springer-Verlag 1979 Nouveau

Applied cryptology,cryptographic protocols,and computer security modelsshort course of the american mathematical society held in san francisco,califo rnia,jan. 5-6,1981 Davida, G. I. ; Demillo, A. ; Dobkin, D. P. | American Mathematical Society 1983 Nouveau

Computers and computing :proceedings of the international conference Future trends of computing dedicated to N. Gastinel Chemin, P. ; Di Crescenzo, C. ; Robert, F. | John Wiley And Sons;Masson 1986 Nouveau

Methods of algorithmic language implementationsymposium on... was held at novosibirsk#Sept. 10-13 Ershov, A. ; Koster, C. H. A. | Springer-Verlag 1977 Nouveau

The fifth generation challengeproceedings of the association for computational machinery 1984,annual conference acm'84,san francisco, california,8-14 oct.,1984 Pottmer, J. J. | North-Holland 1984 Nouveau

Information systems methodology :proceedings,2nd conference of the european cooperation in informatics#Oct. 10-12 Bracchi, G. ; Lockemann, P. C. | Springer-Verlag 1978 Nouveau

Language design and programming methodology :proceedings of a symposium held in sydney#Sept.10-11 Tobias, Jeffrey M. | Springer-Verlag 1980 Nouveau

Abstract software specifications :proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980 Nouveau

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

Formalization of programming concepts :proceedings of the international colloquium on...#April 19-16 Diaz, J. ; Ramos, I. | Springer-Verlag 1981 Nouveau

Combinatorics computing and complexityinternational symposium on combinatorial optimization,held in tianjing and beijing,china,aug. 14-26,1988 Dingzhu, Du ; Guoding, Hu | Kluwer Academic Publishers;Science Press 1989 Nouveau

Applications of categories in computer scienceproceedings of the lms symposium Fourman, M. P. ; Johnstone, P. T. ; Pitts, A. M. | Cambridge University Press 1992 Nouveau

Roboticslecture notes prepared for the A.M.S. short courseJan. 16-17 Baillieul, John ; Brockett, R. W. ; Martin, D. P. | American Mathematical Society 1990 Nouveau

Nla99 computer algebraFourth symposium on nonlinear analysis held at the josai university sept. 16-18 Hilano, Teluhiko ; Nishizawa, Kiyoko ; Saito, Tomokatsu | Graduate School of Science 1999 Nouveau

DNA based computers V :papers from the 5th DIMACS Workshop held at the Massachusetts Institute of Technology#June 14-15 Winfree, Erik ; Gifford, David K. | American Mathematical Society 2000 Nouveau

Model theoretic methods in finite combinatorics.AMS-ASL joint special sessionWashington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

Mathematics for the analysis of algorithms Greene, Daniel H. ; Knuth, Donald E. | Birkhäuser 1982 Nouveau

Conception et protocole des reseaux d'ordinateurscours 355 Thomas, M. ; Vreeland, S. | I.C.S. 1984 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Crytography :
proceedings of the workshop on crytography heid in burg feuerstein#March 29 - April 2 Beth, Thomas | Springer-Verlag 1983 Nouveau

Computers in mathematical research
symposium on utilisation of... held at the I.B.M. world trade european education centre
Netherlands
Aug. 29-31 Churchhouse, R. F. ; Herz, J. C. | North-Holland Publishing Co. 1968 Nouveau

Program construction :
international summer school held in marktoberdorf, technical university munik#July 26 - Aug. 6 Bauer, F. L. ; Broy, M. | Springer-Verlag 1979 Nouveau

Applied cryptology,cryptographic protocols,and computer security models
short course of the american mathematical society held in san francisco,califo rnia,jan. 5-6,1981 Davida, G. I. ; Demillo, A. ; Dobkin, D. P. | American Mathematical Society 1983 Nouveau

Computers and computing :
proceedings of the international conference Future trends of computing dedicated to N. Gastinel Chemin, P. ; Di Crescenzo, C. ; Robert, F. | John Wiley And Sons;Masson 1986 Nouveau

Methods of algorithmic language implementation
symposium on... was held at novosibirsk#Sept. 10-13 Ershov, A. ; Koster, C. H. A. | Springer-Verlag 1977 Nouveau

The fifth generation challenge
proceedings of the association for computational machinery 1984,annual conference acm'84,san francisco, california,8-14 oct.,1984 Pottmer, J. J. | North-Holland 1984 Nouveau

Information systems methodology :
proceedings,2nd conference of the european cooperation in informatics#Oct. 10-12 Bracchi, G. ; Lockemann, P. C. | Springer-Verlag 1978 Nouveau

Language design and programming methodology :
proceedings of a symposium held in sydney#Sept.10-11 Tobias, Jeffrey M. | Springer-Verlag 1980 Nouveau

Abstract software specifications :
proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980 Nouveau

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

Formalization of programming concepts :
proceedings of the international colloquium on...#April 19-16 Diaz, J. ; Ramos, I. | Springer-Verlag 1981 Nouveau

Combinatorics computing and complexity
international symposium on combinatorial optimization,held in tianjing and beijing,china,aug. 14-26,1988 Dingzhu, Du ; Guoding, Hu | Kluwer Academic Publishers;Science Press 1989 Nouveau

Applications of categories in computer science
proceedings of the lms symposium Fourman, M. P. ; Johnstone, P. T. ; Pitts, A. M. | Cambridge University Press 1992 Nouveau

Robotics
lecture notes prepared for the A.M.S. short course
Jan. 16-17 Baillieul, John ; Brockett, R. W. ; Martin, D. P. | American Mathematical Society 1990 Nouveau

Nla99 computer algebra
Fourth symposium on nonlinear analysis held at the josai university
sept. 16-18 Hilano, Teluhiko ; Nishizawa, Kiyoko ; Saito, Tomokatsu | Graduate School of Science 1999 Nouveau

DNA based computers V :
papers from the 5th DIMACS Workshop held at the Massachusetts Institute of Technology#June 14-15 Winfree, Erik ; Gifford, David K. | American Mathematical Society 2000 Nouveau

Model theoretic methods in finite combinatorics.
AMS-ASL joint special session
Washington # january 5-8, 2009 Grohe, Martin ; Makowsky, Johann A. | American Mathematical Society 2011 Nouveau

Conception et protocole des reseaux d'ordinateurs
cours 355 Thomas, M. ; Vreeland, S. | I.C.S. 1984 Nouveau