A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur Prentice-Hall, Inc.
localisé à Englewood Cliffs, NJ
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la rechercheMathematical models in linguistics / Gross, Maurice
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15824 68C182 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : System design from provably correct constructs Type de document : texte imprimé Auteurs : Martin, James Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc. Année de publication : 1985 Importance : xviii - 392 p. ISBN/ISSN/EAN : 978-0-13-881483-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : computer science programming system design Index. décimale : 68C Monographie System design from provably correct constructs [texte imprimé] / Martin, James . - Englewood Cliffs, NJ : Prentice-Hall, Inc., 1985 . - xviii - 392 p.
ISBN : 978-0-13-881483-0
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)Mots-clés : computer science programming system design Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15818 68C181 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Matrix iterative analysis Type de document : texte imprimé Auteurs : Varga, Richard S. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc. Année de publication : 1962 Importance : xiii - 322 p. Langues : Anglais Catégories : 15-XX Linear and multilinear algebra; matrix theory:15A60 Norms of matrices, numerical range, applications of functional analysis to matrix theory
65-XX Numerical analysis:65-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65FXX Numerical linear algebra:65F10 Iterative methods for linear systemsMots-clés : numerical analysis Index. décimale : 65C Monographie Matrix iterative analysis [texte imprimé] / Varga, Richard S. . - Englewood Cliffs, NJ : Prentice-Hall, Inc., 1962 . - xiii - 322 p.
Langues : Anglais
Catégories : 15-XX Linear and multilinear algebra; matrix theory:15A60 Norms of matrices, numerical range, applications of functional analysis to matrix theory
65-XX Numerical analysis:65-02 Research exposition (monographs, survey articles)
65-XX Numerical analysis:65FXX Numerical linear algebra:65F10 Iterative methods for linear systemsMots-clés : numerical analysis Index. décimale : 65C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2532 65C22 imprimé / autre CRDM 65/ANALYSE NUMERIQUE Disponible 2533 65C22 imprimé / autre CRDM 65/ANALYSE NUMERIQUE Exclu du prêt
Titre : Microprocessor systems design. Vol. 2 : microcoding, array logic, and architectural design Type de document : texte imprimé Auteurs : Klingman, Edwin E. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc. Année de publication : 1982 Importance : xiv - 349 p. ISBN/ISSN/EAN : 978-0-13-581231-0 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N99 None of the above, but in this section
94-XX Information and communication, circuits:94CXX Circuits, networks:94C30 Applications of design theoryMots-clés : fast fourier transforms catch memory interleaved memory pipelining Index. décimale : 68C Monographie Microprocessor systems design. Vol. 2 : microcoding, array logic, and architectural design [texte imprimé] / Klingman, Edwin E. . - Englewood Cliffs, NJ : Prentice-Hall, Inc., 1982 . - xiv - 349 p.
ISBN : 978-0-13-581231-0
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N99 None of the above, but in this section
94-XX Information and communication, circuits:94CXX Circuits, networks:94C30 Applications of design theoryMots-clés : fast fourier transforms catch memory interleaved memory pipelining Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14746 68C146 imprimé / autre CRDM 68/INFORMATIQUE Disponible
