A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
128 résultat(s) recherche sur le mot-clé 'computer science'
Affiner la recherche Générer le flux rss de la recherche
Algebraic combinatorics and computer science / Crapo, H. Ed.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15593 05B30 imprimé / autre CRDM 05/ANALYSE COMBINATOIRE Disponible Basic methods of tomography and inverse problems / Gabor T. Herman
Titre : Basic methods of tomography and inverse problems : a set of lectures (presented at the summer school on numerical analysis and computer science, held in Bréau-Sans-Nappe, France, July 15-26, 1985) Type de document : texte imprimé Auteurs : Gabor T. Herman ; Sabatier, P. C. Ed. ; Sabatier, P. C ; Langenberg, K. J ; Tuy, H. K. Editeur : Adam Hilger, Ltd. Année de publication : 1987 Collection : Malvern Physics Series num. 04 Importance : xii - 671 p. ISBN/ISSN/EAN : 978-0-85274-285-3 Langues : Anglais Catégories : 65-XX Numerical analysis:65-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65JXX Numerical analysis in abstract spaces:65J10 Equations with linear operators (do not use 65Fxx)
65-XX Numerical analysis:65RXX Integral equations, integral transforms:65R10 Integral transformsMots-clés : gelfand-levitan method sturm-liouville problems singular value decomposition. x-ray computerized tomography backus-gilbert regularization tikhonov-phillips regularization born approximation breau-sans-nappe (france) computer science numerical analysis summer school lectures inverse problems tomography Index. décimale : 65B Publication collective Basic methods of tomography and inverse problems : a set of lectures (presented at the summer school on numerical analysis and computer science, held in Bréau-Sans-Nappe, France, July 15-26, 1985) [texte imprimé] / Gabor T. Herman ; Sabatier, P. C. Ed. ; Sabatier, P. C ; Langenberg, K. J ; Tuy, H. K. . - [S.l.] : Adam Hilger, Ltd., 1987 . - xii - 671 p.. - (Malvern Physics Series; 04) .
ISBN : 978-0-85274-285-3
Langues : Anglais
Catégories : 65-XX Numerical analysis:65-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65JXX Numerical analysis in abstract spaces:65J10 Equations with linear operators (do not use 65Fxx)
65-XX Numerical analysis:65RXX Integral equations, integral transforms:65R10 Integral transformsMots-clés : gelfand-levitan method sturm-liouville problems singular value decomposition. x-ray computerized tomography backus-gilbert regularization tikhonov-phillips regularization born approximation breau-sans-nappe (france) computer science numerical analysis summer school lectures inverse problems tomography Index. décimale : 65B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10948 65B82 imprimé / autre CRDM 65/ANALYSE NUMERIQUE Disponible Debugging techniques in large systems / Rustin, Randall Ed.
Titre : Debugging techniques in large systems Titre original : Courant computer science symposium 1, June 29 - July 1, 1970 Type de document : texte imprimé Auteurs : Rustin, Randall Ed. Editeur : Englewood Cliffs, N.J. : Prentice-Hall, Inc. Année de publication : 1971 Importance : 148 p. ISBN/ISSN/EAN : 978-0-13-197319-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : computer science Index. décimale : 68B Publication collective Debugging techniques in large systems = Courant computer science symposium 1, June 29 - July 1, 1970 [texte imprimé] / Rustin, Randall Ed. . - Englewood Cliffs, N.J. : Prentice-Hall, Inc., 1971 . - 148 p.
ISBN : 978-0-13-197319-0
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : computer science Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14727 68B17 imprimé / autre CRDM 68/INFORMATIQUE Disponible Introduction to computer science and data processing / Schmidt, R.N.
Titre : Introduction to computer science and data processing Type de document : texte imprimé Auteurs : Schmidt, R.N. ; W. E. Meyers Mention d'édition : 2nd ed. Editeur : New York, NY : Holt, Rinehart and Winston, Inc. Année de publication : 1965 Importance : ix - 380 p. Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : numerical analysis computer science programming languages fortran Index. décimale : 68C Monographie Introduction to computer science and data processing [texte imprimé] / Schmidt, R.N. ; W. E. Meyers . - 2nd ed. . - New York, NY : Holt, Rinehart and Winston, Inc., 1965 . - ix - 380 p.
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : numerical analysis computer science programming languages fortran Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14716 68C130 imprimé / autre CRDM 68/INFORMATIQUE Disponible Linear logic in computer science / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott
Titre : Linear logic in computer science Titre original : based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 Type de document : texte imprimé Auteurs : thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2004 Collection : London Mathematical Society Lecture Note Series. num. 316 Importance : x - 381 p. ISBN/ISSN/EAN : 978-0-521-60857-2 Note générale : commande C. Anné Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.Mots-clés : st. miguel, azores (portugal) conferences summer school computer science mathematical logic Index. décimale : 03B Publication collective Linear logic in computer science = based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 [texte imprimé] / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique . - [S.l.] : Cambridge University Press, 2004 . - x - 381 p.. - (London Mathematical Society Lecture Note Series.; 316) .
ISBN : 978-0-521-60857-2
commande C. Anné
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.Mots-clés : st. miguel, azores (portugal) conferences summer school computer science mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17667 03B16 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Mathematics and computer science / Gardy, Daniele ; Abdelkader Mokkadem
PermalinkStacs 84 / Fontet, M. Ed.
PermalinkMMIXware / Donald E. Knuth
PermalinkTerm rewriting and all that / Baader, Franz
PermalinkAlgorithms and their computer solutions / Artiaga, Lucio
PermalinkCognitive Science / Stillings, N. A.
PermalinkComputer algebra with symbolic C++ / Hardy, Yorick
PermalinkComputer display of curved surfaces / Gouraud, H.
PermalinkComputer-Graphics / Encarnacao, Jose Luis
PermalinkConcepts, techniques, and models of computer programming / van Roy, P.
PermalinkDigital computer user's handbook / Klerer, M.
PermalinkEmerging concepts in computer graphics / Nievergelt, J. Eds. ; Secrest, D.
PermalinkInformation science in action : system design. Vol. I / Debons, A. Ed.
PermalinkInformation science in action : system design. Vol. II / Debons, A. Ed.
PermalinkMethodology in computer graphics / R. A. Guedj
Permalink