A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur Springer
localisé Ã
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externesModels in Hardware Testing / H.J. WUNDERLICH
Titre : Models in Hardware Testing Type de document : texte imprimé Auteurs : H.J. WUNDERLICH, Auteur Editeur : Springer Année de publication : 2010 Importance : 255 p. ISBN/ISSN/EAN : 978-90-481-3281-2 Langues : Inconnue (und) Tags : MICROELECTRONIQUE TEST STRUCTUREL MODELES DE FAUTES DEFAUTS PHYSIQUES Index. décimale : E3 E3 - Test Models in Hardware Testing [texte imprimé] / H.J. WUNDERLICH, Auteur . - [S.l.] : Springer, 2010 . - 255 p.
ISBN : 978-90-481-3281-2
Langues : Inconnue (und)
Tags : MICROELECTRONIQUE TEST STRUCTUREL MODELES DE FAUTES DEFAUTS PHYSIQUES Index. décimale : E3 E3 - Test Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E3 / 13862 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Mariane Comte
Sorti jusqu'au 06/09/2011
Titre : Semantics-Oriented Natural Language Processing Type de document : texte imprimé Auteurs : V.A. FOMICHOV, Auteur Editeur : Springer Année de publication : 2010 Importance : 326 p. ISBN/ISSN/EAN : 978-0-387-72924-4 Langues : Inconnue (und) Tags : TRAITEMENT DU TEXTE ET DU DOCUMENT LANGAGE NATUREL SEMANTIQUE LOGIQUE Index. décimale : I7 I7 - Linguistique Informatique Semantics-Oriented Natural Language Processing [texte imprimé] / V.A. FOMICHOV, Auteur . - [S.l.] : Springer, 2010 . - 326 p.
ISBN : 978-0-387-72924-4
Langues : Inconnue (und)
Tags : TRAITEMENT DU TEXTE ET DU DOCUMENT LANGAGE NATUREL SEMANTIQUE LOGIQUE Index. décimale : I7 I7 - Linguistique Informatique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I7 / 13850 Papier OUVRAGES INFORMATIQUE Emprunté par: Violaine Prince
Sorti jusqu'au 11/07/2011
Titre : From Motor Learning to Interaction Learning in Robots Type de document : texte imprimé Auteurs : O. SIGAUD, Auteur ; J. PETERS, Auteur Editeur : Springer Année de publication : 2010 Importance : 538 p. ISBN/ISSN/EAN : 978-3-642-05180-7 Langues : Inconnue (und) Tags : ROBOTIQUE APPRENTISSAGE INTERACTION HOMME-ROBOT Index. décimale : A4 A4 - Robotique From Motor Learning to Interaction Learning in Robots [texte imprimé] / O. SIGAUD, Auteur ; J. PETERS, Auteur . - [S.l.] : Springer, 2010 . - 538 p.
ISBN : 978-3-642-05180-7
Langues : Inconnue (und)
Tags : ROBOTIQUE APPRENTISSAGE INTERACTION HOMME-ROBOT Index. décimale : A4 A4 - Robotique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité A4 / 13842 Papier OUVRAGES ROBOTIQUE Emprunté par: Etienne Dombre
Sorti jusqu'au 14/06/2011
Titre : Introduction à la Commande des Robots Humanoides Type de document : texte imprimé Auteurs : Shuuji KAJITA, Auteur ; Hirohisa HIRUKAWA, Auteur ; Kensuke HARADA, Auteur ; Kazuhito YOKOI, Auteur Editeur : Springer Année de publication : 2009 Importance : 215 p. ISBN/ISSN/EAN : 978-2-287-87715-5 Langues : Inconnue (und) Tags : ROBOTS HUMANOIDES COMMANDE MARCHE Index. décimale : A4 A4 - Robotique Introduction à la Commande des Robots Humanoides [texte imprimé] / Shuuji KAJITA, Auteur ; Hirohisa HIRUKAWA, Auteur ; Kensuke HARADA, Auteur ; Kazuhito YOKOI, Auteur . - [S.l.] : Springer, 2009 . - 215 p.
ISBN : 978-2-287-87715-5
Langues : Inconnue (und)
Tags : ROBOTS HUMANOIDES COMMANDE MARCHE Index. décimale : A4 A4 - Robotique Exemplaires
Cote Support Localisation Section Notes Disponibilité A4 / 13680 Papier OUVRAGES ROBOTIQUE Exclu du prêt
Titre : Digraphs: Theory, Algorithms and Applications (Second Edition) Type de document : texte imprimé Auteurs : J. BANG-JENSEN, Auteur ; G. GUTIN, Auteur Editeur : Springer Année de publication : 2009 Importance : 795 p. ISBN/ISSN/EAN : 978-1-84800-997-4 Langues : Inconnue (und) Tags : DIGRAPHE Index. décimale : I1 I1 - Informatique Théorique Digraphs: Theory, Algorithms and Applications (Second Edition) [texte imprimé] / J. BANG-JENSEN, Auteur ; G. GUTIN, Auteur . - [S.l.] : Springer, 2009 . - 795 p.
ISBN : 978-1-84800-997-4
Langues : Inconnue (und)
Tags : DIGRAPHE Index. décimale : I1 I1 - Informatique Théorique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I1 / 13793 Papier OUVRAGES INFORMATIQUE Emprunté par: Stephane Bessy
Sorti jusqu'au 26/02/2011
Titre : Advanced Test Methods for SRAMs Type de document : texte imprimé Auteurs : A. BOSIO, Auteur ; L. DILILLO, Auteur ; P. GIRARD, Auteur ; S. PRAVOSSOUDOVITCH, Auteur ; A. VIRAZEL, Auteur Editeur : Springer Année de publication : 2009 Importance : 171 p. ISBN/ISSN/EAN : 978-1-441-90937-4 Langues : Inconnue (und) Tags : mémoire test,SRAMs Index. décimale : E5 E5 - Micro-Electronique Advanced Test Methods for SRAMs [texte imprimé] / A. BOSIO, Auteur ; L. DILILLO, Auteur ; P. GIRARD, Auteur ; S. PRAVOSSOUDOVITCH, Auteur ; A. VIRAZEL, Auteur . - [S.l.] : Springer, 2009 . - 171 p.
ISBN : 978-1-441-90937-4
Langues : Inconnue (und)
Tags : mémoire test,SRAMs Index. décimale : E5 E5 - Micro-Electronique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E5 / 13784 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Emeric Gioan
Sorti jusqu'au 26/02/2011E5 / 15097 Papier OUVRAGES MICRO-ELECTRONIQUE Disponible E5 / 15099 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Raphael Brum
Sorti jusqu'au 31/10/2011E5 / 15100 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Georgios Tsiligiannis
Sorti jusqu'au 06/11/2012E5 / 15101 Papier OUVRAGES MICRO-ELECTRONIQUE Disponible
Titre : Post-Quantum Cryptography Type de document : texte imprimé Auteurs : D.J. BERNSTEIN, Auteur ; J. BUCHMANN, Auteur ; E. DAHMEN, Auteur Editeur : Springer Année de publication : 2009 Importance : 245 p. ISBN/ISSN/EAN : 978-3-540-88701-0 Langues : Inconnue (und) Tags : CRYPTOGRAPHIE Index. décimale : I1 I1 - Informatique Théorique Post-Quantum Cryptography [texte imprimé] / D.J. BERNSTEIN, Auteur ; J. BUCHMANN, Auteur ; E. DAHMEN, Auteur . - [S.l.] : Springer, 2009 . - 245 p.
ISBN : 978-3-540-88701-0
Langues : Inconnue (und)
Tags : CRYPTOGRAPHIE Index. décimale : I1 I1 - Informatique Théorique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I1 / 13757 Papier OUVRAGES INFORMATIQUE Disponible
Titre : Static Timing Analysis for Nanometer Designs Type de document : texte imprimé Auteurs : J. BHASKER, Auteur ; R. CHADHA, Auteur Editeur : Springer Année de publication : 2009 Importance : 572 p. ISBN/ISSN/EAN : 978-0-387-93819-6 Langues : Inconnue (und) Index. décimale : E5 E5 - Micro-Electronique Static Timing Analysis for Nanometer Designs [texte imprimé] / J. BHASKER, Auteur ; R. CHADHA, Auteur . - [S.l.] : Springer, 2009 . - 572 p.
ISBN : 978-0-387-93819-6
Langues : Inconnue (und)
Index. décimale : E5 E5 - Micro-Electronique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E5 / 13709 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Zeqin Wu
Sorti jusqu'au 18/06/2009
Titre : Graph-Based Knowledge Representation Type de document : texte imprimé Auteurs : Michel CHEIN, Auteur ; Marie-Laure MUGNIER, Auteur Editeur : Springer Année de publication : 2009 Importance : 427 p. ISBN/ISSN/EAN : 978-1-84800-285-2 Langues : Inconnue (und) Tags : conceptual graphs knowledge representation reasoning artificial intelligence database management information retrieval Index. décimale : I1 I1 - Informatique Théorique Graph-Based Knowledge Representation [texte imprimé] / Michel CHEIN, Auteur ; Marie-Laure MUGNIER, Auteur . - [S.l.] : Springer, 2009 . - 427 p.
ISBN : 978-1-84800-285-2
Langues : Inconnue (und)
Tags : conceptual graphs knowledge representation reasoning artificial intelligence database management information retrieval Index. décimale : I1 I1 - Informatique Théorique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I1 / 13895 Papier OUVRAGES INFORMATIQUE Emprunté par: Alain Gutierrez
Sorti jusqu'au 18/11/2010I1 / 15020 Papier OUVRAGES INFORMATIQUE Emprunté par: Marie-Laure Mugnier
Sorti jusqu'au 18/11/2011
Titre : Coloured Petri Nets - Modelling and Validation of Concurrent Systems Type de document : texte imprimé Auteurs : K. JENSEN, Auteur ; L.M. KRISTENSEN, Auteur Editeur : Springer Année de publication : 2009 Importance : 384 p. ISBN/ISSN/EAN : 978-3-642-00283-0 Langues : Inconnue (und) Tags : MODELISATION RESEAU DE PETRI LOTS COLORE MACHINE A ETATS FINIS Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle Coloured Petri Nets - Modelling and Validation of Concurrent Systems [texte imprimé] / K. JENSEN, Auteur ; L.M. KRISTENSEN, Auteur . - [S.l.] : Springer, 2009 . - 384 p.
ISBN : 978-3-642-00283-0
Langues : Inconnue (und)
Tags : MODELISATION RESEAU DE PETRI LOTS COLORE MACHINE A ETATS FINIS Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité A2 / 13855 Papier OUVRAGES ROBOTIQUE Emprunté par: Karen Godary
Sorti jusqu'au 22/05/2011
Titre : Rédigé pour Etre Publié Type de document : texte imprimé Auteurs : E. LICHTFOUSE, Auteur Editeur : Springer Année de publication : 2009 Importance : 105 p. ISBN/ISSN/EAN : 978-2-287-99395-4 Langues : Français (fre) Tags : AIDE A LA REDACTION REDIGER ARTICLE SCIENTIFIQUE Index. décimale : G5 G5 - Divers Rédigé pour Etre Publié [texte imprimé] / E. LICHTFOUSE, Auteur . - [S.l.] : Springer, 2009 . - 105 p.
ISBN : 978-2-287-99395-4
Langues : Français (fre)
Tags : AIDE A LA REDACTION REDIGER ARTICLE SCIENTIFIQUE Index. décimale : G5 G5 - Divers Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité G5 / 13848 Papier OUVRAGES GENERALITES Emprunté par: Rémi Coletta
Sorti jusqu'au 31/07/2011
Titre : CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies Type de document : texte imprimé Auteurs : A. PAVLOV, Auteur ; Manoj SACHDEV, Auteur Editeur : Springer Année de publication : 2008 Importance : 189 p. ISBN/ISSN/EAN : 978-1-4020-8362-4 Langues : Inconnue (und) Tags : SRAM TEST MEMORY DESIGN V.L.S.I. Index. décimale : E5 E5 - Micro-Electronique CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies [texte imprimé] / A. PAVLOV, Auteur ; Manoj SACHDEV, Auteur . - [S.l.] : Springer, 2008 . - 189 p.
ISBN : 978-1-4020-8362-4
Langues : Inconnue (und)
Tags : SRAM TEST MEMORY DESIGN V.L.S.I. Index. décimale : E5 E5 - Micro-Electronique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E5 / 13644 Papier OUVRAGES MICRO-ELECTRONIQUE Disponible
Titre : Handbook Robotics Type de document : texte imprimé Auteurs : B. SICILIANO, Auteur ; O. KHATIB, Auteur Editeur : Springer Année de publication : 2008 Importance : 1611 p. ISBN/ISSN/EAN : 978-3-540-23957-4 Langues : Inconnue (und) Tags : MOBILE ROBOTICS MANIPULATION PERCEPTION SERVICE ROBOTICS HUMANOIDES Index. décimale : A4 A4 - Robotique Handbook Robotics [texte imprimé] / B. SICILIANO, Auteur ; O. KHATIB, Auteur . - [S.l.] : Springer, 2008 . - 1611 p.
ISBN : 978-3-540-23957-4
Langues : Inconnue (und)
Tags : MOBILE ROBOTICS MANIPULATION PERCEPTION SERVICE ROBOTICS HUMANOIDES Index. décimale : A4 A4 - Robotique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité A4 / 13642 Papier OUVRAGES ROBOTIQUE Disponible
Titre : Using the Borsuk-Ulam Theorem - Lectures on Topological Methods in Combinatorics and Geometry Type de document : texte imprimé Auteurs : J. MATOUSEK, Auteur Editeur : Springer Année de publication : 2008 Importance : 210 p. ISBN/ISSN/EAN : 978-3-540-00362-5 Langues : Inconnue (und) Tags : COMBINATOIRE TOPOLOGIE ALGEBRIQUE DISCRETE GEOMETRY BORSUK-ULAM COMPLEXE SIMPLICIAL Index. décimale : G1 G1 - Mathématiques Using the Borsuk-Ulam Theorem - Lectures on Topological Methods in Combinatorics and Geometry [texte imprimé] / J. MATOUSEK, Auteur . - [S.l.] : Springer, 2008 . - 210 p.
ISBN : 978-3-540-00362-5
Langues : Inconnue (und)
Tags : COMBINATOIRE TOPOLOGIE ALGEBRIQUE DISCRETE GEOMETRY BORSUK-ULAM COMPLEXE SIMPLICIAL Index. décimale : G1 G1 - Mathématiques Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité G1 / 13617 Papier OUVRAGES GENERALITES Emprunté par: Emeric Gioan
Sorti jusqu'au 26/02/2011
Titre : Mobility, Data Mining and Privacy Type de document : texte imprimé Auteurs : F. GIANNOTTI, Auteur ; D. PEDRESCHI, Auteur Editeur : Springer Année de publication : 2008 Importance : 410 p. ISBN/ISSN/EAN : 978-3-540-75176-2 Langues : Inconnue (und) Tags : BASE DE DONNEES INFORMATION SPATIALE FOUILLE DE DONNEES VIE PRIVEE Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Mobility, Data Mining and Privacy [texte imprimé] / F. GIANNOTTI, Auteur ; D. PEDRESCHI, Auteur . - [S.l.] : Springer, 2008 . - 410 p.
ISBN : 978-3-540-75176-2
Langues : Inconnue (und)
Tags : BASE DE DONNEES INFORMATION SPATIALE FOUILLE DE DONNEES VIE PRIVEE Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I6 / 13738 Papier OUVRAGES INFORMATIQUE Disponible
