A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
68/INFORMATIQUE > Non classé
System software reliability / Hoang Pham
Titre : System software reliability Type de document : texte imprimé Auteurs : Hoang Pham, Auteur Editeur : Springer Année de publication : 2006 Collection : Springer Series in Reliability Engineering Importance : xiv - 440 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-85233-950-0 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68NXX SoftwareMots-clés : Software Computer science reliability Index. décimale : 68C Monographie Résumé : System software reliability [texte imprimé] / Hoang Pham, Auteur . - [S.l.] : Springer, 2006 . - xiv - 440 p. ; 25 cm. - (Springer Series in Reliability Engineering) .
ISBN : 978-1-85233-950-0
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68NXX SoftwareMots-clés : Software Computer science reliability Index. décimale : 68C Monographie Résumé : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21231 LINA/68C408 imprimé / autre CRDM 68/INFORMATIQUE Disponible Techniques industrielles de modélisation formelle pour le transport / Jean-Louis Boulanger
Titre : Techniques industrielles de modélisation formelle pour le transport Type de document : texte imprimé Auteurs : Jean-Louis Boulanger, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Publications Année de publication : 2011 Collection : Informatique et Systèmes d'Information Importance : 351 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3230-3 Langues : Français Index. décimale : 68B Publication collective Techniques industrielles de modélisation formelle pour le transport [texte imprimé] / Jean-Louis Boulanger, Directeur de publication, rédacteur en chef . - Paris : Hermès Science Publications, 2011 . - 351 p. ; 24 cm. - (Informatique et Systèmes d'Information) .
ISBN : 978-2-7462-3230-3
Langues : Français
Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21224 LINA/68B65 imprimé / autre CRDM 68/INFORMATIQUE Disponible Text and corpus analysis / Michael Stubbs
Titre : Text and corpus analysis : computer-assisted studies of language and culture Type de document : texte imprimé Auteurs : Michael Stubbs, Auteur Editeur : Oxford : Blackwell Publishing Limited Année de publication : 1996 Importance : xix - 267 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-631-19511-5 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Résumé : Text and corpus analysis : computer-assisted studies of language and culture [texte imprimé] / Michael Stubbs, Auteur . - Oxford : Blackwell Publishing Limited, 1996 . - xix - 267 p. ; 23 cm.
ISBN : 978-0-631-19511-5
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Résumé : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21706 LINA/68D09 imprimé / autre CRDM 68/INFORMATIQUE Disponible the B-book / J.-R. Abrial
Titre : the B-book : assigning programs to meanings Type de document : texte imprimé Auteurs : J.-R. Abrial, Auteur ; Pierre Chapron, Préfacier, etc. ; C. A. R. Hoare, Préfacier, etc. Editeur : Cambridge : Cambridge University Press Année de publication : 1996 Importance : 779 p. ISBN/ISSN/EAN : 978-0-521-49619-3 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : b method Index. décimale : LIN the B-book : assigning programs to meanings [texte imprimé] / J.-R. Abrial, Auteur ; Pierre Chapron, Préfacier, etc. ; C. A. R. Hoare, Préfacier, etc. . - Cambridge : Cambridge University Press, 1996 . - 779 p.
ISBN : 978-0-521-49619-3
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68NXX Software:68N01 GeneralMots-clés : b method Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17562 LINA/68C331 imprimé / autre CRDM 68/INFORMATIQUE Disponible the Visualization toolkit (with CD-ROM) / Schroeder, W.
Titre : the Visualization toolkit (with CD-ROM) : an object-oriented approach to 3D graphics Type de document : texte imprimé Auteurs : Schroeder, W. ; Lorensen, B. ; Martin, K. Mention d'édition : 3rd ed. Editeur : Kitware, Inc. Année de publication : 2004 Importance : xvi - 474 p. ISBN/ISSN/EAN : 978-1-930934-12-2 Langues : Anglais Mots-clés : visualization toolkit (vtk) Index. décimale : LIN the Visualization toolkit (with CD-ROM) : an object-oriented approach to 3D graphics [texte imprimé] / Schroeder, W. ; Lorensen, B. ; Martin, K. . - 3rd ed. . - [S.l.] : Kitware, Inc., 2004 . - xvi - 474 p.
ISBN : 978-1-930934-12-2
Langues : Anglais
Mots-clés : visualization toolkit (vtk) Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16656 LINA/68C303 imprimé / autre CRDM 68/INFORMATIQUE Disponible Theoretical Aspects of Local Search / Michiels, Wil
Titre : Theoretical Aspects of Local Search Type de document : texte imprimé Auteurs : Michiels, Wil ; Aarts, Emile, Korst, Jan Editeur : Berlin : Springer- Verlag Année de publication : 2007 Collection : Monographs in Theoretical Computer Science. An EATCS Series Importance : VIII, 235 p. ISBN/ISSN/EAN : 978-3-540-35853-4 Langues : Anglais Mots-clés : polynomial-time local search (pls) performance guarantees pls-completeness local search combinatorial optimization symptotic convergence Index. décimale : LIN Theoretical Aspects of Local Search [texte imprimé] / Michiels, Wil ; Aarts, Emile, Korst, Jan . - Berlin : Springer- Verlag, 2007 . - VIII, 235 p.. - (Monographs in Theoretical Computer Science. An EATCS Series) .
ISBN : 978-3-540-35853-4
Langues : Anglais
Mots-clés : polynomial-time local search (pls) performance guarantees pls-completeness local search combinatorial optimization symptotic convergence Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17560 LINA/68C329 imprimé / autre CRDM 68/INFORMATIQUE Disponible Towards new ways of terminology description / Rita Temmerman
Titre : Towards new ways of terminology description : the sociocognitive-approach Type de document : texte imprimé Auteurs : Rita Temmerman, Auteur Editeur : Amsterdam : J. Benjamins publ. Année de publication : 2000 Collection : Terminology and lexicography research and practice num. 03 Importance : xv - 258 p. Format : 23 cm ISBN/ISSN/EAN : 978-1-55619-772-7 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Towards new ways of terminology description : the sociocognitive-approach [texte imprimé] / Rita Temmerman, Auteur . - Amsterdam : J. Benjamins publ., 2000 . - xv - 258 p. ; 23 cm. - (Terminology and lexicography research and practice; 03) .
ISBN : 978-1-55619-772-7
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : TALN Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21704 LINA/68D07 imprimé / autre CRDM 68/INFORMATIQUE Disponible Towards the semantic web / Fensel, D. ; Davies, J. ; F. van Harmelenv
Titre : Towards the semantic web : ontology-driven knowledge management Type de document : texte imprimé Auteurs : Fensel, D. ; Davies, J. ; F. van Harmelenv, Editeur scientifique Editeur : Chichester : John Wiley & Sons Ltd Année de publication : 2003 Importance : xx - 288 p. ISBN/ISSN/EAN : 978-0-470-84867-8 Langues : Anglais Mots-clés : knowledge acquisition ontology semantic web Index. décimale : IRIN Towards the semantic web : ontology-driven knowledge management [texte imprimé] / Fensel, D. ; Davies, J. ; F. van Harmelenv, Editeur scientifique . - Chichester : John Wiley & Sons Ltd, 2003 . - xx - 288 p.
ISBN : 978-0-470-84867-8
Langues : Anglais
Mots-clés : knowledge acquisition ontology semantic web Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14333 IRIN/68C101 imprimé / autre CRDM 68/INFORMATIQUE Disponible Travail et tic - Les libertés à l'épreuve de l'informatique
Titre : Travail et tic - Les libertés à l'épreuve de l'informatique Type de document : texte imprimé Editeur : Paris : l'Harmattan Année de publication : 2012 Collection : Terminal num. 110 Importance : 154 p. ISBN/ISSN/EAN : 978-2-296-96521-8 Langues : Français Index. décimale : 68B Publication collective Travail et tic - Les libertés à l'épreuve de l'informatique [texte imprimé] . - Paris : l'Harmattan, 2012 . - 154 p.. - (Terminal; 110) .
ISBN : 978-2-296-96521-8
Langues : Français
Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21403 LINA/68B72 imprimé / autre CRDM 68/INFORMATIQUE Disponible Troisièmes rencontres nationales des jeunes chercheurs en intelligence artificielle / IRIN
Titre : Troisièmes rencontres nationales des jeunes chercheurs en intelligence artificielle Type de document : texte imprimé Auteurs : IRIN ; Lamarre, P. Eds. ; Siklossy, L. ; T. Schaub Année de publication : 1996 Langues : Français Mots-clés : intelligence artificielle rencontres irin Index. décimale : IRIN Troisièmes rencontres nationales des jeunes chercheurs en intelligence artificielle [texte imprimé] / IRIN ; Lamarre, P. Eds. ; Siklossy, L. ; T. Schaub . - 1996.
Langues : Français
Mots-clés : intelligence artificielle rencontres irin Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13006 IRIN/68B04 imprimé / autre CRDM 68/INFORMATIQUE Disponible Understanding concurrent systems / A.W. Roscoe
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21236 LINA/68C412 imprimé / autre CRDM 68/INFORMATIQUE Disponible Web design in a nutshell / Jennifer Niederst Robbins
Titre : Web design in a nutshell Type de document : texte imprimé Auteurs : Jennifer Niederst Robbins, Auteur Editeur : Sebastopol, CA : O'Reilly Année de publication : 1999 Importance : xviii - 560 p. Format : 23 cm ISBN/ISSN/EAN : 978-1-56592-515-1 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68MXX Computer system organization:68M10 Network design and communicationMots-clés : web-design Index. décimale : 68C Monographie Web design in a nutshell [texte imprimé] / Jennifer Niederst Robbins, Auteur . - Sebastopol, CA : O'Reilly, 1999 . - xviii - 560 p. ; 23 cm.
ISBN : 978-1-56592-515-1
Langues : Anglais
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68MXX Computer system organization:68M10 Network design and communicationMots-clés : web-design Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21711 LINA/68C434 imprimé / autre CRDM 68/INFORMATIQUE Disponible Basic aspects of terminology management. Handbook of terminology management. Vol. I / Sue Ellen Wright
Titre de série : Basic aspects of terminology management Titre : Handbook of terminology management. Vol. I Type de document : texte imprimé Auteurs : Sue Ellen Wright, Compilateur ; Gerhard Budin, Compilateur Editeur : Amsterdam : J. Benjamins Année de publication : 1997 Importance : xiv - 370 p. Format : 25 cm ISBN/ISSN/EAN : 978-90-272-2154-4 Langues : Anglais Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Basic aspects of terminology management. Handbook of terminology management. Vol. I [texte imprimé] / Sue Ellen Wright, Compilateur ; Gerhard Budin, Compilateur . - Amsterdam : J. Benjamins, 1997 . - xiv - 370 p. ; 25 cm.
ISBN : 978-90-272-2154-4
Langues : Anglais
Index. décimale : 68D Traitement automatique de la langue naturelle (TALN) Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21682 LINA/68D01 imprimé / autre CRDM 68/INFORMATIQUE Disponible