Résultats de rechercheBases de données
14 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
000000000000DEFAULT
Imprimer
1. 
Image de couverture de Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Auteur 
Kurshan, Robert. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9781461535560
Full Text Available From Springer Nature Engineering Archive Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de ICANN '93 Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13-16 September 1993
ICANN '93 Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13-16 September 1993
ICANN '93 Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13-16 September 1993
Auteur 
Gielen, Stan. editor. Kappen, Bert. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q337.5
ISBN (Numéro international normalisé des livres) 
9781447120636
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de Evolutionary Integral Equations and Applications
Evolutionary Integral Equations and Applications
Evolutionary Integral Equations and Applications
Auteur 
Prüss, J. author. SpringerLink (Online service)
Numéro de cote topographique requis 
H1 -99
ISBN (Numéro international normalisé des livres) 
9783034885706
Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Extended Irreversible Thermodynamics
Extended Irreversible Thermodynamics
Extended Irreversible Thermodynamics
Auteur 
Jou, David. author. Casas-Vazquez, Jose. author. Lebon, Georgy. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QC310.15 -319
ISBN (Numéro international normalisé des livres) 
9783642974304
Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Auteur 
Milne, George J. editor. Pierre, Laurence. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783540706557
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Case-Based Learning
Case-Based Learning
Case-Based Learning
Auteur 
Kolodner, Janet L. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.76 .C65
ISBN (Numéro international normalisé des livres) 
9781461532286
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Sensorimotor Impairment in the Elderly
Sensorimotor Impairment in the Elderly
Sensorimotor Impairment in the Elderly
Auteur 
Stelmach, George E. editor. Hömberg, Volker. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QC173.45 -173.458
ISBN (Numéro international normalisé des livres) 
9789401119764
Full Text Available From Springer Nature Behavioral Science Archive Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Parallel Computing on Distributed Memory Multiprocessors
Parallel Computing on Distributed Memory Multiprocessors
Parallel Computing on Distributed Memory Multiprocessors
Auteur 
Özgüner, Füsun. editor. Ercal, Fikret. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .S88
ISBN (Numéro international normalisé des livres) 
9783642580666
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de Advanced Topics in Materials Science and Engineering
Advanced Topics in Materials Science and Engineering
Advanced Topics in Materials Science and Engineering
Auteur 
Morán-López, J.L. editor. Sánchez, José M. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QC173.45 -173.458
ISBN (Numéro international normalisé des livres) 
9781461528425
Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Motion Analysis and Image Sequence Processing
Motion Analysis and Image Sequence Processing
Motion Analysis and Image Sequence Processing
Auteur 
Sezan, M. Ibrahim. editor. Lagendijk, Reginald L. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
TK7867 -7867.5
ISBN (Numéro international normalisé des livres) 
9781461532361
Full Text Available From Springer Nature Engineering Archive Packages
Format : 
Ressources électroniques
Disponible:
11. 
Image de couverture de Contributions to Quantitative Linguistics Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991
Contributions to Quantitative Linguistics Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991
Contributions to Quantitative Linguistics Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991
Auteur 
Köhler, Reinhard. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
P98 -98.5
ISBN (Numéro international normalisé des livres) 
9789401117692
Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages
Format : 
Ressources électroniques
Disponible:
12. 
Image de couverture de Iterative Learning Control for Deterministic Systems
Iterative Learning Control for Deterministic Systems
Iterative Learning Control for Deterministic Systems
Auteur 
Moore, Kevin L. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TS1 -2301
ISBN (Numéro international normalisé des livres) 
9781447119128
Full Text Available From Springer Nature Engineering Archive Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
14 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
Langue
Sujet
Computer science.
(4)
Artificial intelligence.
(3)
Computer programming.
(3)
Electrical and Electronic Engineering.
(3)
Electrical engineering.
(3)
Type de document
Emplacement
Bibliothèque