A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
68/INFORMATIQUE > Non classé
Proof, language, and interaction
Titre : Proof, language, and interaction : essays in honour of Robin Milner Type de document : texte imprimé Editeur : Cambridge (Mass.) : MIT Press Année de publication : cop. 2000 Collection : Foundations of computing Importance : 1 vol. (XIV-722 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 0-262-16188-5 Index. décimale : 68B Publication collective Proof, language, and interaction : essays in honour of Robin Milner [texte imprimé] . - Cambridge (Mass.) : MIT Press, cop. 2000 . - 1 vol. (XIV-722 p.) : ill. ; 24 cm. - (Foundations of computing) .
ISBN : 0-262-16188-5
Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17993 LINA/68B50 imprimé / autre CRDM 68/INFORMATIQUE Disponible Proofs and algorithms / Gilles Dowek
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21238 LINA/68C413 Ouvrage CRDM 68/INFORMATIQUE Disponible La qualité en C++ / Philippe Prados
Titre : La qualité en C++ Type de document : texte imprimé Auteurs : Philippe Prados, Auteur Editeur : Paris : Edition Eyrolles Année de publication : 1996 Importance : 326 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-212-08917-2 Langues : Français Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : programming languages Index. décimale : 68C Monographie La qualité en C++ [texte imprimé] / Philippe Prados, Auteur . - Paris : Edition Eyrolles, 1996 . - 326 p. ; 24 cm.
ISBN : 978-2-212-08917-2
Langues : Français
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68NXX Software:68N15 Programming languagesMots-clés : programming languages Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21710 LINA/68C433 imprimé / autre CRDM 68/INFORMATIQUE Disponible Recent advances in natural language processing. II / Nicolas Nicolov ; Ruslan Mitkov
Titre : Recent advances in natural language processing. II : selected papers from RANLP'97 Type de document : texte imprimé Auteurs : Nicolas Nicolov, Editeur scientifique ; Ruslan Mitkov, Editeur scientifique Editeur : Amsterdam : J. Benjamins Année de publication : 1997 Collection : Amsterdam studies in the theory and history of linguistic science. Series 4, Current issues in linguistic theory, ISSN 0304-0763 num. 189 Importance : xi - 422 p Format : 23 cm ISBN/ISSN/EAN : 978-90-272-3695-1 Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : Tzigov Chark (Bulgaria) Proceedings Conference RANLP ’97 Natural language processing Index. décimale : 68B Publication collective Recent advances in natural language processing. II : selected papers from RANLP'97 [texte imprimé] / Nicolas Nicolov, Editeur scientifique ; Ruslan Mitkov, Editeur scientifique . - Amsterdam : J. Benjamins, 1997 . - xi - 422 p ; 23 cm. - (Amsterdam studies in the theory and history of linguistic science. Series 4, Current issues in linguistic theory, ISSN 0304-0763; 189) .
ISBN : 978-90-272-3695-1
Langues : Anglais
Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : Tzigov Chark (Bulgaria) Proceedings Conference RANLP ’97 Natural language processing Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21702 LINA/68B78 imprimé / autre CRDM 68/INFORMATIQUE Disponible Recent advances in natural language processing / Nicolas Nicolov ; Ruslan Mitkov
Titre : Recent advances in natural language processing : selected papers from RANLP'95 held at Tsigov Chark, Bulgaria, 14-16 September 1995 Type de document : texte imprimé Auteurs : Nicolas Nicolov, Editeur scientifique ; Ruslan Mitkov, Editeur scientifique Editeur : Amsterdam : J. Benjamins Année de publication : 1995 Collection : Amsterdam studies in the theory and history of linguistic science. Series 4, Current issues in linguistic theory, ISSN 0304-0763 num. 136 Importance : xi - 474 p Format : 23 cm ISBN/ISSN/EAN : 978-90-272-3640-2 Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : Tzigov Chark (Bulgaria) Proceedings Conference RANLP ’95 Natural language processing Index. décimale : 68B Publication collective Recent advances in natural language processing : selected papers from RANLP'95 held at Tsigov Chark, Bulgaria, 14-16 September 1995 [texte imprimé] / Nicolas Nicolov, Editeur scientifique ; Ruslan Mitkov, Editeur scientifique . - Amsterdam : J. Benjamins, 1995 . - xi - 474 p ; 23 cm. - (Amsterdam studies in the theory and history of linguistic science. Series 4, Current issues in linguistic theory, ISSN 0304-0763; 136) .
ISSN : 978-90-272-3640-2
Langues : Anglais
Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : Tzigov Chark (Bulgaria) Proceedings Conference RANLP ’95 Natural language processing Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21701 LINA/68B77 imprimé / autre CRDM 68/INFORMATIQUE Disponible la Recherche d'informations / Lefèvre, Philippe
Titre : la Recherche d'informations : du texte intégral au thésaurus Type de document : texte imprimé Auteurs : Lefèvre, Philippe Editeur : Paris : Hermes Année de publication : 2000 Importance : 253 p. ISBN/ISSN/EAN : 978-2-7462-0173-6 Langues : Français Mots-clés : traitement des donnees technique documentaire gestion electronique Index. décimale : IRIN la Recherche d'informations : du texte intégral au thésaurus [texte imprimé] / Lefèvre, Philippe . - Paris : Hermes, 2000 . - 253 p.
ISBN : 978-2-7462-0173-6
Langues : Français
Mots-clés : traitement des donnees technique documentaire gestion electronique Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12958 IRIN/68C33 imprimé / autre CRDM 68/INFORMATIQUE Disponible la Recherche intelligente sur l'internet et l'intranet / Samier, Henri
Titre : la Recherche intelligente sur l'internet et l'intranet : outils et méthodes Type de document : texte imprimé Auteurs : Samier, Henri ; Sandoval, Victor Mention d'édition : 2e ed. Editeur : Paris : Hermes Année de publication : 1999 ISBN/ISSN/EAN : 978-2-7462-0070-8 Mots-clés : agents intelligents veille technologique ouitls de recherche internet Index. décimale : IRIN la Recherche intelligente sur l'internet et l'intranet : outils et méthodes [texte imprimé] / Samier, Henri ; Sandoval, Victor . - 2e ed. . - Paris : Hermes, 1999.
ISBN : 978-2-7462-0070-8
Mots-clés : agents intelligents veille technologique ouitls de recherche internet Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12957 IRIN/68C32 imprimé / autre CRDM 68/INFORMATIQUE Disponible Reconnaissance automatique de la parole / Jean-Paul Haton
Titre : Reconnaissance automatique de la parole : du signal à son interprétation Type de document : texte imprimé Auteurs : Jean-Paul Haton, Auteur ; Christophe Cerisara, Auteur ; Dominique Fohr, Auteur Editeur : Paris : Dunod Année de publication : 2006 Collection : UniverSciences Importance : xvi - 373 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005842-6 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
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) Reconnaissance automatique de la parole : du signal à son interprétation [texte imprimé] / Jean-Paul Haton, Auteur ; Christophe Cerisara, Auteur ; Dominique Fohr, Auteur . - Paris : Dunod, 2006 . - xvi - 373 p. ; 24 cm. - (UniverSciences) .
ISBN : 978-2-10-005842-6
Langues : Français
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
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é 21703 LINA/68D06 imprimé / autre CRDM 68/INFORMATIQUE Disponible la Représentation des connaissances / Kayser, Daniel
Titre : la Représentation des connaissances Type de document : texte imprimé Auteurs : Kayser, Daniel Editeur : Paris : Hermes Année de publication : 1997 Collection : collection informatique Importance : ix - 308 p ISBN/ISSN/EAN : 978-2-86601-647-0 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T30 Knowledge representationMots-clés : semantic networks non-monotonic logics knowledge representation Index. décimale : IRIN la Représentation des connaissances [texte imprimé] / Kayser, Daniel . - Paris : Hermes, 1997 . - ix - 308 p. - (collection informatique) .
ISBN : 978-2-86601-647-0
Langues : Français
Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T30 Knowledge representationMots-clés : semantic networks non-monotonic logics knowledge representation Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15091 IRIN/68C34 imprimé / autre CRDM 68/INFORMATIQUE Disponible Safety of computer architectures / Jean-Louis Boulanger
Titre : Safety of computer architectures Type de document : texte imprimé Auteurs : Jean-Louis Boulanger, Editeur scientifique Editeur : London : ISTE Année de publication : 2010 Importance : xv - 488 p. Format : 24 cm ISBN/ISSN/EAN : 978-1-84821-197-1 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault toleranceMots-clés : computer science computer systems reliability Index. décimale : 68B Publication collective Safety of computer architectures [texte imprimé] / Jean-Louis Boulanger, Editeur scientifique . - London : ISTE, 2010 . - xv - 488 p. ; 24 cm.
ISBN : 978-1-84821-197-1
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68MXX Computer system organization:68M15 Reliability, testing and fault toleranceMots-clés : computer science computer systems reliability Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21237 LINA/68B68 imprimé / autre CRDM 68/INFORMATIQUE Disponible Security and privacy preserving in social networks / Richard Chbeir ; Bechara Al Bouna
Titre : Security and privacy preserving in social networks Type de document : texte imprimé Auteurs : Richard Chbeir, Editeur scientifique ; Bechara Al Bouna, Editeur scientifique Editeur : Springer Année de publication : 2013 Collection : Lecture Notes in Social Networks Importance : xvi - 367 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-7091-0893-2 Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-99 Computer science (not classified at a more specific level)Index. décimale : 68B Publication collective Security and privacy preserving in social networks [texte imprimé] / Richard Chbeir, Editeur scientifique ; Bechara Al Bouna, Editeur scientifique . - [S.l.] : Springer, 2013 . - xvi - 367 p. ; 24 cm. - (Lecture Notes in Social Networks) .
ISBN : 978-3-7091-0893-2
Langues : Anglais
Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-99 Computer science (not classified at a more specific level)Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21691 LINA/68B74 imprimé / autre CRDM 68/INFORMATIQUE Disponible Software architectures / Barroca, Leonor
Titre : Software architectures : advances and applications Type de document : texte imprimé Auteurs : Barroca, Leonor, Editeur scientifique ; Patrick Hall, Editeur scientifique Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2000 Importance : xiii - 272 p. ISBN/ISSN/EAN : 978-1-85233-636-3 Langues : Anglais Mots-clés : industrial applications reuse software architectures Index. décimale : IRIN Software architectures : advances and applications [texte imprimé] / Barroca, Leonor, Editeur scientifique ; Patrick Hall, Editeur scientifique . - 2nd ed. . - [S.l.] : Springer-Verlag, 2000 . - xiii - 272 p.
ISBN : 978-1-85233-636-3
Langues : Anglais
Mots-clés : industrial applications reuse software architectures Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12991 IRIN/68C36 imprimé / autre CRDM 68/INFORMATIQUE Disponible Software engineering 3 / Dines Bjørner
Titre : Software engineering 3 : domains, requirements, and software design Type de document : texte imprimé Auteurs : Dines Bjørner (1937-....), Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxx - 766 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-05941-4 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 : software Computer science Index. décimale : 68C Monographie Software engineering 3 : domains, requirements, and software design [texte imprimé] / Dines Bjørner (1937-....), Auteur . - [S.l.] : Springer-Verlag, 2006 . - xxx - 766 p. ; 24 cm. - (Texts in Theoretical Computer Science. An EATCS Series) .
ISBN : 978-3-642-05941-4
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 : software Computer science Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21229 LINA/68C407 imprimé / autre CRDM 68/INFORMATIQUE Disponible Spécification formelle avec B / Habrias, Henri
Titre : Spécification formelle avec B Type de document : texte imprimé Auteurs : Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye Editeur : Paris : Hermes Science Année de publication : 2001 Importance : 416 p. ISBN/ISSN/EAN : 978-2-7462-0302-0 Langues : Français Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation retro-ingenierie methode b Index. décimale : IRIN Spécification formelle avec B [texte imprimé] / Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye . - Paris : Hermes Science, 2001 . - 416 p.
ISBN : 978-2-7462-0302-0
Langues : Français
Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation retro-ingenierie methode b Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13710 IRIN/68C67 imprimé / autre CRDM 68/INFORMATIQUE Disponible 13709 IRIN/68C67 imprimé / autre CRDM 68/INFORMATIQUE Disponible Structures de données et méthodes formelles / Marc Guyomard
Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : 2011 Collection : Collection Télécom Importance : xvi - 438 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Langues : Français 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.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : sets theory lists queues heaps trees complexity of algorithms Index. décimale : 68C Monographie Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, 2011 . - xvi - 438 p. ; 24 cm. - (Collection Télécom) .
ISBN : 978-2-8178-0199-5
Langues : Français
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.)
68-XX Computer science :68PXX Theory of data:68P05 Data structuresMots-clés : sets theory lists queues heaps trees complexity of algorithms Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21222 LINA/68C405 imprimé / autre CRDM 68/INFORMATIQUE Disponible