128 résultat(s) recherche sur le mot-clé 'Computer science'

Algebraic combinatorics and computer science / Crapo, H. Ed.

Public ISBD Titre : Algebraic combinatorics and computer science : a tribute to Gian-Carlo Rota Type de document : texte imprimé Auteurs : Crapo, H. Ed. ; Senato, D. Ed. Editeur : Milano : Springer Année de publication : 2001 Importance : x - 546 p. ISBN/ISSN/EAN : 978-88-470-0078-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. Mots-clés : gian-carlo rota  tribute  computer science  algebraic combinatorics Index. décimale : 05B Publication collective Algebraic combinatorics and computer science : a tribute to Gian-Carlo Rota [texte imprimé] / Crapo, H. Ed. ; Senato, D. Ed. . - Milano : Springer, 2001 . - x - 546 p. ISBN : 978-88-470-0078-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. Mots-clés : gian-carlo rota  tribute  computer science  algebraic combinatorics Index. décimale : 05B Publication collective

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

Public ISBD 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 transforms Mots-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 transforms Mots-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.

Public ISBD 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 General Mots-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 General Mots-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.

Public ISBD 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 structures Mots-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 structures Mots-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

Public ISBD 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

Permalink

Stacs 84 / Fontet, M. Ed.

Permalink

MMIXware / Donald E. Knuth

Permalink

Term rewriting and all that / Baader, Franz

Permalink

Algorithms and their computer solutions / Artiaga, Lucio

Permalink

Cognitive Science / Stillings, N. A.

Permalink

Computer algebra with symbolic C++ / Hardy, Yorick

Permalink

Computer display of curved surfaces / Gouraud, H.

Permalink

Computer-Graphics / Encarnacao, Jose Luis

Permalink

Concepts, techniques, and models of computer programming / van Roy, P.

Permalink

Digital computer user's handbook / Klerer, M.

Permalink

Emerging concepts in computer graphics / Nievergelt, J. Eds. ; Secrest, D.

Permalink

Information science in action : system design. Vol. I / Debons, A. Ed.

Permalink

Information science in action : system design. Vol. II / Debons, A. Ed.

Permalink

Methodology in computer graphics / R. A. Guedj

Permalink