University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
LISP / Tony Hasemer
Titre : LISP : Une introduction à la programmation sur micro-ordinateur Type de document : texte imprimé Auteurs : Tony Hasemer Editeur : Paris : Intere éd. Année de publication : 1985 Collection : Informatique intelligence artificielle Importance : 1 vol (263 p .) Format : 24cm ISBN/ISSN/EAN : 978-2-7296-0129-4 Note générale : 978-2-7296-0129-4 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
LISPÂ
Programmation
Microordinateurs
Langages de programmation
Ordinateurs : Programmation
LISP (langage de programmation)Index. décimale : 004 - Informatique Note de contenu : Sommaire
Premiers pas en lisp
Techniques de programmation
Au cœur de lips
Votre boite à outils lips
Projet:Tic-tac-toe
Structures de données
Filtrage
Implantation d'un autre langage
Les moteurs d'inférence
Côte titre : Fs/8530-8533 LISP : Une introduction à la programmation sur micro-ordinateur [texte imprimé] / Tony Hasemer . - Paris : Intere éd., 1985 . - 1 vol (263 p .) ; 24cm. - (Informatique intelligence artificielle) .
ISBN : 978-2-7296-0129-4
978-2-7296-0129-4
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
LISPÂ
Programmation
Microordinateurs
Langages de programmation
Ordinateurs : Programmation
LISP (langage de programmation)Index. décimale : 004 - Informatique Note de contenu : Sommaire
Premiers pas en lisp
Techniques de programmation
Au cœur de lips
Votre boite à outils lips
Projet:Tic-tac-toe
Structures de données
Filtrage
Implantation d'un autre langage
Les moteurs d'inférence
Côte titre : Fs/8530-8533 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/8530 Fs/8530-8533 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8531 Fs/8530-8533 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8532 Fs/8530-8533 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8533 Fs/8530-8533 livre Bibliothéque des sciences Français Disponible
DisponibleLe livre de Java / Anne Tasso
Titre : Le livre de Java : Premier langage ; avec 109 exercices corrigés Type de document : texte imprimé Auteurs : Anne Tasso, Auteur Mention d'édition : 10e édition Editeur : Paris : Eyrolles Année de publication : 2015 Importance : 1 vol. (600 p.) Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-2-212-14154-2 Note générale : 978-2-212-14154-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Java (langage de programmation) : Problèmes et exercices
Programmation orientée objets (informatique)Index. décimale : 005.1 Programmation Résumé :
Apprendre Java en douceur Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en Java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications pour téléphones mobiles Android. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web www.annetasso.fr/Java, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java. À qui s'adresse ce livre ? Aux étudiants de 1er cycle universitaire (IUT, licence...) ou d'écoles d'ingénieurs Aux vrais débutants en programmation : passionnés d'informatique et programmeurs autodidactes, concepteurs de sites web souhaitant aller au-delà de HTML et JavaScript, etc. Aux enseignants et formateurs recherchant une méthode pédagogique et un support de cours pour enseigner Java à des débutants Sur le site www.annetasso.fr/Java Consultez les corrigés du projet et des exercices Téléchargez le code source de tous les exemples du livre Dialoguez avec l'auteuNote de contenu :
Sommaire :
Avant-propos - Organisation de l'ouvrage
Introduction - Naissance d'un programme
Partie I : Outils et techniques de base
1. Stocker une information
2. Communiquer une information
3. Faire des choix
4. Faire des répétitions
Partie II : Initiation à la programmation orientée objet
5. De l'algorithme paramétré à l'écriture de fonctions
6. Fonctions, notions avancées
7. Les classes et les objets
8. Les principes du concept objet
Partie III : Outils et techniques orientés objet
9. Collectionnner un nombre fixe d'objets
10. Collectionner un nombre déterminé d'objets
11. Dessiner des objets
12. Créer une interface graphique
13. Developper une application Android
Annexe - Guide d'installationsCôte titre : Fs/13182-13186 Le livre de Java : Premier langage ; avec 109 exercices corrigés [texte imprimé] / Anne Tasso, Auteur . - 10e édition . - Paris : Eyrolles, 2015 . - 1 vol. (600 p.) : ill. ; 23 cm.
ISBN : 978-2-212-14154-2
978-2-212-14154-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Java (langage de programmation) : Problèmes et exercices
Programmation orientée objets (informatique)Index. décimale : 005.1 Programmation Résumé :
Apprendre Java en douceur Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en Java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications pour téléphones mobiles Android. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web www.annetasso.fr/Java, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java. À qui s'adresse ce livre ? Aux étudiants de 1er cycle universitaire (IUT, licence...) ou d'écoles d'ingénieurs Aux vrais débutants en programmation : passionnés d'informatique et programmeurs autodidactes, concepteurs de sites web souhaitant aller au-delà de HTML et JavaScript, etc. Aux enseignants et formateurs recherchant une méthode pédagogique et un support de cours pour enseigner Java à des débutants Sur le site www.annetasso.fr/Java Consultez les corrigés du projet et des exercices Téléchargez le code source de tous les exemples du livre Dialoguez avec l'auteuNote de contenu :
Sommaire :
Avant-propos - Organisation de l'ouvrage
Introduction - Naissance d'un programme
Partie I : Outils et techniques de base
1. Stocker une information
2. Communiquer une information
3. Faire des choix
4. Faire des répétitions
Partie II : Initiation à la programmation orientée objet
5. De l'algorithme paramétré à l'écriture de fonctions
6. Fonctions, notions avancées
7. Les classes et les objets
8. Les principes du concept objet
Partie III : Outils et techniques orientés objet
9. Collectionnner un nombre fixe d'objets
10. Collectionner un nombre déterminé d'objets
11. Dessiner des objets
12. Créer une interface graphique
13. Developper une application Android
Annexe - Guide d'installationsCôte titre : Fs/13182-13186 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13182 Fs/13182-13186 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13183 Fs/13182-13186 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13184 Fs/13182-13186 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13185 Fs/13182-13186 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13186 Fs/13182-13186 Livre Bibliothéque des sciences Français Disponible
DisponibleLe livre de Java premier langage : avec 109 exercices corrigés / Anne Tasso
Titre : Le livre de Java premier langage : avec 109 exercices corrigés Type de document : texte imprimé Auteurs : Anne Tasso, Auteur Mention d'édition : 12e éd. Editeur : Paris : Eyrolles Année de publication : 2017 Importance : 1 vol. (596 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-212-67486-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Java (langage de programmation) : Manuels d'enseignement supérieur
Java (langage de programmation) : Problèmes et exercices
Programmation orientée objets (informatique)Index. décimale : 004 - Informatique Résumé :
La 4e de couv. indique : "Apprendre Java en douceur. Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en Java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications Java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications avec l'interface Android Studio. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web du livre, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java."
Note de contenu :
Sommaire
P. 1. Avant-propos - Organisation de l'ouvrage
P. 5. Introduction - Naissance d'un programme
P. 5. Construire un algorithme
P. 9. Passer de l'algorithme au programme
P. 22. Exécuter un programme
P. 26. Le projet : Gestion d'un compte bancaire
P. 31. Résumé
P. 32. Exercices
Partie I Outils et techniques de base
P. 37. 1 Stocker une information
P. 38. La notion de variable
P. 47. L'instruction d'affectation
P. 52. Les opérateurs arithmétiques
P. 59. Calculer des statistiques sur des opérations bancaires
P. 63. Résumé
P. 64. Exercices
P. 67. Le projet : Gestion d'un compte bancaire
P. 69. 2 Communiquer une information
P. 69. La bibliothèque System
P. 70. L'affichage de données
P. 76. La saisie de données
P. 81. Résumé
P. 82. Exercices
P. 84. Le projet : Gestion d'un compte bancaire
P. 85. 3 Faire des choix
P. 85. L'algorithme du café chaud, sucré ou non
P. 89. L'instruction if-else
P. 98. L'instruction switch, ou comment faire des choix multiples
P. 103. Résumé
P. 104. Exercices
P. 107. Le projet : Gestion d'un compte bancaire
P. 109. 4 Faire des répétitions
P. 110. Combien de sucres dans votre café ?
P. 111. La boucle do...while
P. 119. La boucle while
P. 127. La boucle for
P. 131. Quelle boucle choisir ?
P. 132. Résumé
P. 134. Exercices
P. 137. Le projet : Gestion d'un compte bancaire
Partie II Initiation à la programmation orientée objet
P. 141. 5 De l'algorithme paramétré à l'écriture de fonctions
P. 142. Algorithme paramétré
P. 144. Des fonctions Java prédéfinies
P. 149. Construire ses propres fonctions
P. 156. Les fonctions au sein d'un programme Java
P. 161. Résumé
P. 162. Exercices
P. 166. Le projet : Gestion d'un compte bancaire
P. 167. 6 Fonctions, notions avancées
P. 167. La structure d'un programme
P. 178. Les fonctions communiquent
P. 185. Résumé
P. 186. Exercices
P. 188. Le projet : Gestion d'un compte bancaire
P. 191. 7 Les classes et les objets
P. 191. La classe String, une approche de la notion d'objet
P. 205. Construire et utiliser ses propres classes
P. 216. Résumé
P. 217. Exercices
P. 221. Le projet : Gestion d'un compte bancaire
P. 225. 8 Les principes du concept objet
P. 226. La communication objet
P. 234. Les objets contrôlent leur fonctionnement
P. 246. L'héritage
P. 252. Les interfaces
P. 258. Résumé
P. 259. Exercices
P. 265. Le projet : Gestion d'un compte bancaire
Partie III Outils et techniques orientés objet
P. 271. 9 Collectionner un nombre fixe d'objets
P. 272. Les tableaux à une dimension
P. 278. Quelques techniques utiles
P. 291. Les tableaux à deux dimensions
P. 299. Résumé
P. 300. Exercices
P. 303. Le projet : Gestion d'un compte bancaire
P. 305. 10 Collectionner un nombre indéterminé d'objets
P. 305. La programmation dynamique
P. 324. L'archivage de données
P. 337. Résumé
P. 339. Exercices
P. 345. Le projet : Gestion d'un compte bancaire
P. 349. 11 Dessiner des objets
P. 349. La bibliothèque AWT
P. 362. Les événements
P. 368. De l'AWT Ã Swing
P. 379. Résumé
P. 380. Exercices
P. 385. Le projet : Gestion d'un compte bancaire
P. 389. 12 Créer une interface graphique
P. 389. Un outil d'aide à la création d'interfaces graphiques
P. 410. Gestion de bulletins de notes
P. 433. Un éditeur pour dessiner
P. 455. Résumé
P. 455. Exercices
P. 463. Le projet : Gestion de comptes bancaires
P. 475. 13 Développer une application Android
P. 475. Comment développer une application mobile ?
P. 508. Publier une application Android
P. 523. Résumé
P. 525. Exercices
P. 531. Annexe - Guide d'installations
P. 531. Extension Web
P. 536. Installation d'un environnement de développement
P. 563. Utilisation des outils de développement
P. 587. Index
Côte titre : Fs/22867-22869 Le livre de Java premier langage : avec 109 exercices corrigés [texte imprimé] / Anne Tasso, Auteur . - 12e éd. . - Paris : Eyrolles, 2017 . - 1 vol. (596 p.) : ill. ; 24 cm.
ISBN : 978-2-212-67486-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Java (langage de programmation) : Manuels d'enseignement supérieur
Java (langage de programmation) : Problèmes et exercices
Programmation orientée objets (informatique)Index. décimale : 004 - Informatique Résumé :
La 4e de couv. indique : "Apprendre Java en douceur. Vous avez décidé de vous initier à la programmation et souhaitez opter pour un langage largement utilisé dans le monde professionnel ? Java se révèle un choix idéal comme vous le constaterez dans ce livre conçu pour les vrais débutants en programmation. Vous apprendrez d'abord, à travers des exemples simples en Java, à maîtriser les notions communes à tous les langages : variables, types de données, boucles et instructions conditionnelles, etc. Vous franchirez un nouveau pas en découvrant par la pratique les concepts de la programmation orientée objet (classes, objets, héritage), puis le fonctionnement des librairies graphiques AWT et Swing (fenêtres, gestion de la souris, tracé de graphiques). Cet ouvrage vous expliquera aussi comment réaliser des applications Java dotées d'interfaces graphiques conviviales grâce au logiciel libre NetBeans. Enfin, vous vous initierez au développement d'applications avec l'interface Android Studio. Chaque chapitre est accompagné de deux types de travaux pratiques : des exercices, dont le corrigé est fourni sur l'extension web du livre, et un projet développé au fil de l'ouvrage, qui vous montrera comment combiner toutes les techniques de programmation étudiées pour construire une véritable application Java."
Note de contenu :
Sommaire
P. 1. Avant-propos - Organisation de l'ouvrage
P. 5. Introduction - Naissance d'un programme
P. 5. Construire un algorithme
P. 9. Passer de l'algorithme au programme
P. 22. Exécuter un programme
P. 26. Le projet : Gestion d'un compte bancaire
P. 31. Résumé
P. 32. Exercices
Partie I Outils et techniques de base
P. 37. 1 Stocker une information
P. 38. La notion de variable
P. 47. L'instruction d'affectation
P. 52. Les opérateurs arithmétiques
P. 59. Calculer des statistiques sur des opérations bancaires
P. 63. Résumé
P. 64. Exercices
P. 67. Le projet : Gestion d'un compte bancaire
P. 69. 2 Communiquer une information
P. 69. La bibliothèque System
P. 70. L'affichage de données
P. 76. La saisie de données
P. 81. Résumé
P. 82. Exercices
P. 84. Le projet : Gestion d'un compte bancaire
P. 85. 3 Faire des choix
P. 85. L'algorithme du café chaud, sucré ou non
P. 89. L'instruction if-else
P. 98. L'instruction switch, ou comment faire des choix multiples
P. 103. Résumé
P. 104. Exercices
P. 107. Le projet : Gestion d'un compte bancaire
P. 109. 4 Faire des répétitions
P. 110. Combien de sucres dans votre café ?
P. 111. La boucle do...while
P. 119. La boucle while
P. 127. La boucle for
P. 131. Quelle boucle choisir ?
P. 132. Résumé
P. 134. Exercices
P. 137. Le projet : Gestion d'un compte bancaire
Partie II Initiation à la programmation orientée objet
P. 141. 5 De l'algorithme paramétré à l'écriture de fonctions
P. 142. Algorithme paramétré
P. 144. Des fonctions Java prédéfinies
P. 149. Construire ses propres fonctions
P. 156. Les fonctions au sein d'un programme Java
P. 161. Résumé
P. 162. Exercices
P. 166. Le projet : Gestion d'un compte bancaire
P. 167. 6 Fonctions, notions avancées
P. 167. La structure d'un programme
P. 178. Les fonctions communiquent
P. 185. Résumé
P. 186. Exercices
P. 188. Le projet : Gestion d'un compte bancaire
P. 191. 7 Les classes et les objets
P. 191. La classe String, une approche de la notion d'objet
P. 205. Construire et utiliser ses propres classes
P. 216. Résumé
P. 217. Exercices
P. 221. Le projet : Gestion d'un compte bancaire
P. 225. 8 Les principes du concept objet
P. 226. La communication objet
P. 234. Les objets contrôlent leur fonctionnement
P. 246. L'héritage
P. 252. Les interfaces
P. 258. Résumé
P. 259. Exercices
P. 265. Le projet : Gestion d'un compte bancaire
Partie III Outils et techniques orientés objet
P. 271. 9 Collectionner un nombre fixe d'objets
P. 272. Les tableaux à une dimension
P. 278. Quelques techniques utiles
P. 291. Les tableaux à deux dimensions
P. 299. Résumé
P. 300. Exercices
P. 303. Le projet : Gestion d'un compte bancaire
P. 305. 10 Collectionner un nombre indéterminé d'objets
P. 305. La programmation dynamique
P. 324. L'archivage de données
P. 337. Résumé
P. 339. Exercices
P. 345. Le projet : Gestion d'un compte bancaire
P. 349. 11 Dessiner des objets
P. 349. La bibliothèque AWT
P. 362. Les événements
P. 368. De l'AWT Ã Swing
P. 379. Résumé
P. 380. Exercices
P. 385. Le projet : Gestion d'un compte bancaire
P. 389. 12 Créer une interface graphique
P. 389. Un outil d'aide à la création d'interfaces graphiques
P. 410. Gestion de bulletins de notes
P. 433. Un éditeur pour dessiner
P. 455. Résumé
P. 455. Exercices
P. 463. Le projet : Gestion de comptes bancaires
P. 475. 13 Développer une application Android
P. 475. Comment développer une application mobile ?
P. 508. Publier une application Android
P. 523. Résumé
P. 525. Exercices
P. 531. Annexe - Guide d'installations
P. 531. Extension Web
P. 536. Installation d'un environnement de développement
P. 563. Utilisation des outils de développement
P. 587. Index
Côte titre : Fs/22867-22869 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/22867 Fs/22867-22869 livre Bibliothéque des sciences Français Disponible
DisponibleFs/22868 Fs/22867-22869 livre Bibliothéque des sciences Français Disponible
DisponibleFs/22869 Fs/22867-22869 livre Bibliothéque des sciences Français Disponible
DisponibleLogic for artificial intelligence & information technology / Dov M. Gabbay
Titre : Logic for artificial intelligence & information technology Autre titre : L Type de document : texte imprimé Auteurs : Dov M. Gabbay Editeur : London : College Publications Année de publication : 2007 Importance : 1 vol (566 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-904987-39-0 Catégories : Informatique Mots-clés : Logique:programmation
intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé :
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelleCôte titre : fs/19791 Logic for artificial intelligence & information technology ; L [texte imprimé] / Dov M. Gabbay . - London : College Publications, 2007 . - 1 vol (566 p.) : ill. ; 24 cm.
ISBN : 978-1-904987-39-0
Catégories : Informatique Mots-clés : Logique:programmation
intelligence artificielleIndex. décimale : 006.3 Intelligence artificielle Résumé :
Logique pour l'intelligence artificielle et la technologie de l'information est basée sur des notes d'étudiants utilisés pour enseigner la logique aux étudiants de deuxième année et l'intelligence artificielle aux étudiants diplômés de l'Université de Londres depuis 1984, d'abord à l'Imperial College puis au King's College. La logique a été appliquée à une grande variété de sujets tels que l'informatique théorique, l'ingénierie logicielle, la conception de matériel, la programmation logique, la linguistique computationnelle et l'intelligence artificielle. De cette façon, il a servi à stimuler la recherche pour des fondements conceptuels clairs. Au cours des 20 dernières années, de nombreuses extensions de la logique classique telles que les logiques temporelles, modales, de pertinence, floues, probabilistes et non monotones ont été largement utilisées en informatique et en intelligence artificielle, nécessitant de nouvelles formulations de la logique classique. donner l'effet des nouvelles logiques appliquées. Le texte introduit la logique classique d'une manière orientée vers un but qui peut facilement dévier vers d'autres logiques appliquées. Il définit les nombreux types de logiques et les différences entre eux. Dov Gabbay, FRSC, FAvH, FRSA, FBCS, est professeur de logique Augustus De Morgan à l'Université de Londres. Il a écrit plus de 300 articles en logique et plus de 20 livres. Il est rédacteur en chef de plusieurs revues de premier plan et a publié plus de 50 manuels de volumes logiques. Il est une autorité mondiale sur la logique appliquée et est l'un des administrateurs et fondateur de la charité britannique, la Fédération internationale de la logique computationnelleCôte titre : fs/19791 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19791 Fs/19791 Livre Bibliothéque des sciences Français Disponible
DisponibleLogiciel de simulation analogique PSPICE 5.30 / Alain Rivat
Titre : Logiciel de simulation analogique PSPICE 5.30 Type de document : texte imprimé Auteurs : Alain Rivat Editeur : Paris : Dunod Année de publication : 1994 Importance : 1 vol (392 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 2-10-00191-3 Note générale : 2-10-00191-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique,
PSPICE(logiciel)Index. décimale : 004 - Informatique Résumé :
Avec l'arrivée de micro-ordinateurs de plus en plus performants, l'IAO, ingénierie assistée par odinateur, s'est largement diffusée dans les entreprises de constructions électroniques et a révolutionné les méthodes de conception. Outil particulièrement puissant, l'IAO impose une rigueur absolue d'analyse et de conception des circuits électroniques, contribuant ainsi à la mise en œuvre d'une démarche qualité. Si l'on considère que 90 % des coûts de fabrication sont figés à la conception, la simulation du fonctionnement d'une carte électronique apporte non seulement un gain de produductivité important, mais devient une nécessité, en particulier, dans les cartes CMS (Composants montés en surface) et du développement de circuits ASIC (circuits intégrés spécifiques à une application). Cet ouvrage, premier du genre, comble le vide concernant l'utilisation et l'exploitation des logiciels de la famille SPICE, standard de fait en matière de simulation analogique. En effet, au travers de nombreuses applications industrielles, l'auteur explore de manière systématique les possibilités de SPICE. Ces exemples permettent non seulement de se familiariser avec l'utilisation du logiciel (syntaxe, commandes,...) mais aussi de mettre en évidence des méthodes d'analyse spécifiques à la simulation analogique. En fournissant des éléments de compréhension, d'évaluation et de mise en œuvre des modèles mathématiques utilisés pour décrire le comportement des composants électroniques, ainsi qu'un guide de référence syntaxique SPICE, cet ouvrage présente l'avantage d'être directement exploitable dans les bureaux d'étude et les laboratoires.Note de contenu :
Sommaire
Fichier circuit
Environnement de simulation intégré pshell
Probe
Analyses de fonctionnement en courant continu
Analyse fréquentielle
Analyse temporelle
Analyse de spectre/ transformée de Fourier
Analyses de performances d'un circuit
Simulation mixte analogique/numérique
Editeur de stimuli STMED
Modélisation de composants - éditeurs de modèles Parts.Exe
exemples d'applicationCôte titre : Fs/8534 Logiciel de simulation analogique PSPICE 5.30 [texte imprimé] / Alain Rivat . - Paris : Dunod, 1994 . - 1 vol (392 p.) : ill. ; 24 cm.
ISSN : 2-10-00191-3
2-10-00191-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique,
PSPICE(logiciel)Index. décimale : 004 - Informatique Résumé :
Avec l'arrivée de micro-ordinateurs de plus en plus performants, l'IAO, ingénierie assistée par odinateur, s'est largement diffusée dans les entreprises de constructions électroniques et a révolutionné les méthodes de conception. Outil particulièrement puissant, l'IAO impose une rigueur absolue d'analyse et de conception des circuits électroniques, contribuant ainsi à la mise en œuvre d'une démarche qualité. Si l'on considère que 90 % des coûts de fabrication sont figés à la conception, la simulation du fonctionnement d'une carte électronique apporte non seulement un gain de produductivité important, mais devient une nécessité, en particulier, dans les cartes CMS (Composants montés en surface) et du développement de circuits ASIC (circuits intégrés spécifiques à une application). Cet ouvrage, premier du genre, comble le vide concernant l'utilisation et l'exploitation des logiciels de la famille SPICE, standard de fait en matière de simulation analogique. En effet, au travers de nombreuses applications industrielles, l'auteur explore de manière systématique les possibilités de SPICE. Ces exemples permettent non seulement de se familiariser avec l'utilisation du logiciel (syntaxe, commandes,...) mais aussi de mettre en évidence des méthodes d'analyse spécifiques à la simulation analogique. En fournissant des éléments de compréhension, d'évaluation et de mise en œuvre des modèles mathématiques utilisés pour décrire le comportement des composants électroniques, ainsi qu'un guide de référence syntaxique SPICE, cet ouvrage présente l'avantage d'être directement exploitable dans les bureaux d'étude et les laboratoires.Note de contenu :
Sommaire
Fichier circuit
Environnement de simulation intégré pshell
Probe
Analyses de fonctionnement en courant continu
Analyse fréquentielle
Analyse temporelle
Analyse de spectre/ transformée de Fourier
Analyses de performances d'un circuit
Simulation mixte analogique/numérique
Editeur de stimuli STMED
Modélisation de composants - éditeurs de modèles Parts.Exe
exemples d'applicationCôte titre : Fs/8534 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8534 Fs/8534 livre Bibliothéque des sciences Français Disponible
DisponibleLogique binaire et ordinateurs 2 / Michel Aumiaux
PermalinkDe la logique câblée aux microprocesseurs T.1 / M.J Bernard
PermalinkLogique combinatoire et composants numériques / Mouloud Sbai
PermalinkLogique pour l'informatique / Mathieu jaume
PermalinkLogique pour l'informatique / Serenella Cerrito
PermalinkLogique pour l'informatique et pour l'intelligence artificielle / Ricardo Caferra
PermalinkLogique de programmation / Jean-Paul Tremblay
PermalinkLogique(s), langages formels et complexité pour l'informatique / Narendra Jussien
PermalinkPermalinkLongévité de l'information numérique:Les Données que nous voulons garder vont-elles s'effacer ? : rapport du groupe PSN (pérennité des supports numériques) commun à l'Académie des sciences et à l'Académie des technologies / Jean-Charles Hourcade
PermalinkLotus Notes et domino 4.5 / Cate Richards
PermalinkLe Mac pépère / John Plvovarnick
PermalinkMachine Learning / R.S. Michalski
PermalinkLe Macintosh / Lisa Lee
PermalinkLe Macmillan le PC / Scott Mueller
PermalinkMacros et langage VBA / Le Guen, Frédéric
PermalinkMaintenance et dépannage d'un PC en réseau / Jean-Nöel Anderruthy
PermalinkMaintenance et dépannage d'un PC en réseau / Sylvain Gaumé
PermalinkPermalinkMaîtrise de l'ingénierie des systèmes complexes et des systèmes de systèmes
PermalinkMaîtriser Joomla ! : guide professionnel du développement d'applications / Vincent Perdereau
PermalinkMaîtrisez java 2 / Ivor Horton
PermalinkMaîtrisez votre ordinateur / Kit Grindley
PermalinkManagement information systems / Kenneth C. Laudon
PermalinkManagement d'un projet système d'information / Chantal Morley
PermalinkPermalinkLe Manuel du Microcontrôleur ST62 / LEMMENS,Luc
PermalinkMaple / Nicolas Puech
PermalinkMastering Excel / Carl Townsend
PermalinkMatériel informatique / Alfred Strohmeier
PermalinkMathcad:User's guide windows version
PermalinkMathématique et informatique MP 2011 / Batog, Guillaume
PermalinkMathématiques &Informatique / Mohamed Gaci
PermalinkMathématiques pour l'informatique / Belhaj, Skander
PermalinkPermalinkMerise / Arnold Rochfeld
PermalinkMerise / Jean Luc Baptiste
PermalinkMerise:Guide pratique : modélisation des données et des traitements, manipulations avec le langage SQL / Baptiste, Jean-Luc
PermalinkMerise et UML pour la modélisation des systèmes d'information / Joseph Gabay
PermalinkMéthode générale d'analyse d'une application informatique T.1 / Xavier Castellani
PermalinkLa Méthode informatique / Robert A Mallet
PermalinkLa méthode PERT / Charles Voraz
PermalinkLes méthodes agiles de développement informatique / Fernandez, Valérie
PermalinkMéthodes explicites de l'optimisation / AUBIN,Jean-Pierre
PermalinkMéthodes mathématiques pour l'informatique / Jacques Vélu
Permalink