Collection Undergraduate topics in computer science
|
|
Documents disponibles dans la collection (2)
Faire une suggestion Affiner la recherche
Titre : Introduction to Deep Learning : From Logical Calculus to Artificial Intelligence Type de document : texte imprimé Auteurs : Sandro Skansi, Auteur Editeur : New York : Springer Verlag Année de publication : 2018 Collection : Undergraduate topics in computer science num. 7592 Importance : XIII-191 P. Présentation : Broché, couvert. en coul., fig. Format : 24 cm ISBN/ISSN/EAN : 978-3-319-73003-5 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Artificial intelligence Computers as educational aids Neural networks Computational techniques Index. décimale : 02.60 Résumé : 1 - From Logic to Cognitive Science. - 2 Mathematical and Computational Prerequisites. - 3 Machine Learning Basics. - 4 Feedforward Neural Networks. - 5 Modifications and Extensions to a Feed-Forward Neural Network. - 6 Convolutional Neural Networks. - 7 Recurrent Neural Networks. - 8 Autoencoders. - 9 Neural Language Models. - 10. - An Overview of Different Neural Network Architectures. - 11 An Overview of Different Neural Network Architectures Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité PQ003912 02.60.262 texte imprimé Bibli FERMI 3R1 RDC Recherche Emprunté par: Pierre CAFARELLI
Sorti jusqu'au 28/03/2025
Titre : Rigorous software development : an introduction to program verification Type de document : texte imprimé Auteurs : José Bacelar Almeida, Auteur ; Maia Joao Frade, Auteur Editeur : New York : Springer Verlag Année de publication : 2011 Collection : Undergraduate topics in computer science Importance : XII-263 P. Présentation : Broche. Couv. en coul., graph. Format : 23 cm ISBN/ISSN/EAN : 978-0-85729-017-5 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Computer interfaces Computational techniques Logic mathematical Index. décimale : 02.60 Résumé : 1 An Overview of Formal Methods Tools and Techniques - 2 Propositional Logic - 3 First-Order Logic - 4 Hoare Logic - 5 Generating Verification Conditions - 6 Safety Properties - 7 Procedures and Contracts - 8 Specifying C Programs - 9 Verifying C Programs - Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité PQ003772 02.60.ALM texte imprimé Bibli FERMI 3R4 Recherche Disponible
