Détail de l'éditeur
Documents disponibles chez cet éditeur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité S8/7860 كتاب Bibliothèque centrale Disponible S8/7861 كتاب Bibliothèque centrale Disponible S8/7862 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité S8/17544 كتاب Bibliothèque centrale Disponible S8/17545 كتاب Institut d''informatique Transféré
Exclu du prêt![]()
texte imprimé
SystemVerilog est l'un des langages de description des circuits numériques les plus récents (2005). Il Est le premier langage qualifié de HDVL, pour Hardware Description and Verification Language. Il Hérite à la fois des capacités de descripti[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/78904 Livre Bibliothèque centrale Disponible S8/78905 Livre Bibliothèque centrale Disponible S8/78906 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Jacques Weber, Auteur ; Maurice Meaudre, Auteur | Malakoff : Dunod | Sciences sup. Sciences de l'ingénieur | 2001La Seconde édition de ce manuel sur l'utilisation du langage VHDL s'adresse aux électroniciens et aux informaticiens, ainsi qu'aux étudiants de ces disciplines qui souhaitent maîtriser la modélisation et la réalisation des circuits numériques.[...]Exemplaires (10)
Cote Support Localisation Disponibilité S8/58035 Livre Bibliothèque centrale Disponible S8/58036 Livre Bibliothèque centrale Disponible S8/58037 Livre Bibliothèque centrale Sorti jusqu'au 25/07/2021 S8/58038 Livre Bibliothèque centrale Disponible S8/59971 Livre Bibliothèque centrale Disponible S8/59972 Livre Bibliothèque centrale Disponible S8/59973 Livre Bibliothèque centrale Disponible S8/62605 Livre Bibliothèque centrale Disponible S8/62606 Livre Bibliothèque centrale Disponible S8/62607 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Jacques Weber, Auteur ; Sébastien Moutault, Auteur ; Maurice Meaudre, Auteur | Malakoff : Dunod | Sciences sup | 2016Cet Ouvrage s'adresse aux étudiants des licences et des masters EEA ainsi qu'aux élèves des écoles d'ingénieurs. L'Utilisation d'un langage de description évolué comme VHDL ou Verilog dans la modélisation et la conception des circuits intégré[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/84966 Livre Bibliothèque centrale Disponible S8/84967 Livre Bibliothèque centrale Disponible S8/84968 Livre Bibliothèque centrale Disponible S8/84969 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Jacques Weber ; Sébastien Moutault ; Maurice Meaudre | Malakoff : Dunod | Sciences sup. Sciences de l'ingénieur | 2007L'Utilisation d'un langage évolué (Hardware Description Langage, comme VHDL ou Verilog) dans la modélisation et la conception des circuits intégrés numériques est aujourd'hui indispensable. Tous les fabricants de circuits logiques programmable[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/71184 Livre Bibliothèque centrale Disponible S8/71185 Livre Bibliothèque centrale Disponible S8/71186 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (10)
Cote Support Localisation Disponibilité S8/5976 كتاب Bibliothèque centrale Disponible S8/5977 كتاب Bibliothèque centrale Disponible S8/5979 كتاب Bibliothèque centrale Disponible S8/5980 كتاب Bibliothèque centrale Disponible S8/5981 كتاب Bibliothèque centrale Disponible S8/5982 كتاب Bibliothèque centrale Disponible S8/5983 كتاب Bibliothèque centrale Disponible S8/5984 كتاب Bibliothèque centrale Disponible S8/5978 كتاب Institut de biologie Transféré
Exclu du prêtS8/5985 كتاب Institut de biologie Transféré
Exclu du prêt![]()
texte imprimé
Didier Dangoisse ; Daniel Hennequin ; Véronique Zehnlé-Dhaoui | Malakoff : Dunod | Sciences sup. Physique | 1998Cet ouvrage présente de manière aussi simple et pédagogique que possible les fondements de la physique des lasers. Les premiers chapitres abordent la théorie des lasers, de façon progressive, depuis les concepts de base (amplification lumineus[...]Exemplaires (7)
Cote Support Localisation Disponibilité S8/51197 Livre Bibliothèque centrale Disponible S8/51198 Livre Bibliothèque centrale Disponible S8/55288 Livre Bibliothèque centrale Disponible S8/55289 Livre Bibliothèque centrale Disponible S8/55290 Livre Bibliothèque centrale Disponible S8/55291 Livre Bibliothèque centrale Disponible S8/55292 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Didier Dangoisse ; Daniel Hennequin ; Véronique Zehnlé-Dhaoui | Malakoff : Dunod | Sciences sup. Physique | 2004Cet Ouvrage présente de manière simple et pédagogique les fondements de la physique des lasers. Les premiers chapitres abordent de façon progressive la théorie des lasers, depuis les concepts de base (amplification lumineuse et modélisation, t[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/66341 Livre Bibliothèque centrale Disponible S8/66706 Livre Bibliothèque centrale Disponible S8/66707 Livre Bibliothèque centrale Disponible S8/66708 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Daniel Hennequin ; Véronique Zehnlé ; Didier Dangoisse | Malakoff : Dunod | Sciences sup. Physique | 2013Les Premiers chapitres abordent de façon progressive les fondements de la physique des lasers depuis les concepts de base (amplification lumineuse, cavités lasers) jusqu'à la théorie semi-classique. Ils sont suivis d'une description des principa[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/81456 Livre Bibliothèque centrale Disponible S8/81457 Livre Bibliothèque centrale Disponible S8/81458 Livre Bibliothèque centrale Disponible S8/81459 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Afin d'optimiser ou de restaurer sa compétitivité économique et d'assurer ses responsabilités sociétales, caque acteur de la filière du bâtiment peut désormais compter sur les apports du Lean. Pourtant issus de l'industrie automobile, les pri[...]Exemplaires (2)
Cote Support Localisation Disponibilité S8/89471 Livre Bibliothèque centrale Disponible S8/89472 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité d8/2411 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité D8/3593 كتاب Faculté des sciences économiques Transféré
Exclu du prêtD8/3594 كتاب Faculté des sciences économiques Transféré
Exclu du prêt![]()
texte imprimé
Cet Ouvrage original, vivant et brillant a pour objectif de préparer les candidats à l'épreuve orale de l'Agrégation de mathématiques. Original, l'ouvrage se démarque des ouvrages existants en ne proposant pas au lecteur des leçons " toutes fa[...]Exemplaires (12)
Cote Support Localisation Disponibilité S8/58824 Livre Bibliothèque centrale Disponible S8/58825 Livre Bibliothèque centrale Disponible S8/58826 Livre Bibliothèque centrale Disponible S8/58827 Livre Bibliothèque centrale Disponible S8/62661 Livre Bibliothèque centrale Disponible S8/62662 Livre Bibliothèque centrale Disponible S8/62663 Livre Bibliothèque centrale Disponible S8/64103 Livre Bibliothèque centrale Disponible S8/64104 Livre Bibliothèque centrale Disponible S8/64105 Livre Bibliothèque centrale Disponible S8/64106 Livre Bibliothèque centrale Disponible S8/64107 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (2)
Cote Support Localisation Disponibilité D8/19723 Livre Bibliothèque centrale Disponible D8/19724 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité S8/63524 كتاب Bibliothèque centrale Disponible S8/63525 كتاب Bibliothèque centrale Disponible S8/63526 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Une présentation des principes de fonctionnement des lecteurs optiques laser: CD-audio, CD-Rom, photo-CD, vidéo-CD, CD intéractif, MD magnéto-optique. Chaque analyse des fonctions du lecteur optique s'accompagne d'études de schémas proposés pa[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/50753 Livre Bibliothèque centrale Disponible S8/50754 Livre Bibliothèque centrale Disponible S8/50755 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
La Révolution de l'éclairage est en route et elle passe par les LED. Cet ouvrage vous expliquera tout ce qu'il faut savoir sur ce sujet, depuis les principes électroniques élémentaires jusqu'aux performances des composants les plus récents. [...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/83567 Livre Bibliothèque centrale Disponible S8/83568 Livre Bibliothèque centrale Disponible S8/83569 Livre Bibliothèque centrale Disponible S8/83570 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Cette nouvelle édition, enrichie du récit des dernières avancées en biologie moléculaire et des anecdotes qui les ont accompagnées, retrace l'histoire de la génétique et de ses découvreurs. L'auteur rappelle, en les remettant parfois en cause,[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/69815 Livre Bibliothèque centrale Disponible S8/69816 Livre Bibliothèque centrale Disponible S8/69817 Livre Bibliothèque centrale Disponible S8/69818 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité L12/428 كتاب Institut d''informatique Transféré
Exclu du prêt![]()
texte imprimé
Cette nouvelle édition du Lexique d'économie est conçue comme un outil de formation, d'apprentissage et de révision des notions fondamentales en sciences économiques et de gestion, tout en s'ouvrant aux autres sciences sociales connexes, confo[...]Exemplaires (3)
Cote Support Localisation Disponibilité D8/18806 Livre Bibliothèque centrale Disponible D8/18807 Livre Bibliothèque centrale Disponible D8/18808 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Le Lexique de gestion et de management a déjà formé plusieurs générations d'étudiants et de praticiens. Les définitions couvrent les fonctions classiques de l'entreprise (marketing, finance, production, RH...) ainsi que les domaines faisant pa[...]Exemplaires (4)
Cote Support Localisation Disponibilité D8/20415 Livre Bibliothèque centrale Disponible D8/20416 Livre Bibliothèque centrale Disponible D8/20417 Livre Bibliothèque centrale Disponible D8/20418 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (1)
Cote Support Localisation Disponibilité S8/66414 كتاب Bibliothèque centrale Disponible ![]()
texte imprimé
Alain Sevin ; Christine Dezarnaud-Dandine ; Roald Hoffmann | Malakoff : Dunod | Sciences sup. Chimie | 2006Ce livre présente de façon simple la théorie des Orbitales Moléculaires (OM) constituées à partir des Orbitales Atomiques (OA). Il aborde aisément les notions fondamentales permettant la description de la liaison chimique sans avoir recours à [...]Exemplaires (6)
Cote Support Localisation Disponibilité S8/70092 Livre Bibliothèque centrale Disponible S8/70093 Livre Bibliothèque centrale Disponible S8/70094 Livre Bibliothèque centrale Disponible S8/73129 Livre Bibliothèque centrale Disponible S8/73130 Livre Bibliothèque centrale Disponible S8/73131 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Jean-Paul Armspach ; Pierre Colin ; Frédérique Ostré-Waerzeggers | Malakoff : Dunod | Sciences sup. Informatique | 2004Cet ouvrage s'adresse aux étudiants, universitaires et ingénieurs et plus généralement à toute personne désireuse d'acquérir une bonne maîtrise de Linux. La présentation s'applique à toutes les distributions. Elle est illustrée de nombreux exe[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/63933 Livre Bibliothèque centrale Disponible S8/63934 Livre Bibliothèque centrale Disponible S8/63935 Livre Bibliothèque centrale Disponible S8/66505 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Cet Ouvrage présente les principes de la programmation système sous les systèmes d'exploitation Linux. Il traite des notions de processus, de threads ainsi que des outils de communication interprocessus centralisé et décentralisé, que l’on ret[...]Exemplaires (1)
Cote Support Localisation Disponibilité S8/66502 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité L8/14854 Livre Centre d’Enseignement Intensif des Langues Transféré
Exclu du prêtL8/14855 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14856 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14862 Livre Bibliothèque centrale Disponible L8/14863 Livre Bibliothèque centrale Disponible L8/14865 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14864 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14866 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
La littérature médiévale recouvre une période historique très étendue (du XIe au XVe siècle) qui rompt avec les canons de l'Antiquité et préfigure ceux des Temps modernes. Elle offre une très grande diversité de genres, de formes et de thèmes [...]Exemplaires (5)
Cote Support Localisation Disponibilité L8/14870 Livre Bibliothèque centrale Disponible L8/14871 Livre Bibliothèque centrale Disponible L8/14867 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14868 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14869 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
La représentation de la réalité est une tradition de la littérature occidentale depuis ses origines, bien avant que se développent, après 1848 et en réaction contre le Romantisme, le Réalisme puis le Naturalisme. Le texte réaliste se donne po[...]Exemplaires (5)
Cote Support Localisation Disponibilité L8/14878 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14875 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14876 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14877 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14879 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Le XXe siècle a largement favorisé la création dramatique. Analysé, disséqué, critiqué ou encensé, le théâtre a été l'objet de maintes théories et recherches. Soumis à l'évolution des idées, aux transformations de la société, aux modification[...]Exemplaires (5)
Cote Support Localisation Disponibilité L8/14885 Livre Bibliothèque centrale Disponible L8/14886 Livre Centre d’Enseignement Intensif des Langues Transféré
Exclu du prêtL8/14887 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14888 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14889 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité L8/14890 Livre Bibliothèque centrale Disponible L8/14892 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14891 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité L8/14872 Livre Bibliothèque centrale Disponible L8/14873 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14874 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Cet ouvrage interroge d'abord la notion de modernité en proposant cinq lectures de poèmes empruntés à Apollinaire, Claudel, Breton, Ponge et Jaccottet. Il retrace ensuite les grandes étapes de l'histoire de la poésie moderne, du symbolisme au [...]Exemplaires (5)
Cote Support Localisation Disponibilité L8/14859 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14857 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14858 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14860 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14861 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14880 Livre Bibliothèque centrale Disponible L8/14881 Livre Bibliothèque centrale Disponible L8/14884 Livre Bibliothèque centrale Disponible L8/14882 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14883 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité L8/15555 Livre Bibliothèque centrale Disponible L8/15553 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15554 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14906 Livre Bibliothèque centrale Disponible L8/14907 Livre Centre d’Enseignement Intensif des Langues Transféré
Exclu du prêtL8/14904 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14903 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14905 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Le Concepteur se trouve souvent confronté à deux types de problèmes, outre la conception de sa pièce. Il doit tout d'abord adapter son modèle CAO en un modèle de calcul, puis préparer ses données éléments finis. Il doit ensuite interpréter le[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/81513 Livre Bibliothèque centrale Disponible S8/81514 Livre Bibliothèque centrale Disponible S8/81515 Livre Bibliothèque centrale Disponible S8/81516 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Destiné aux étudiants en lettres, aux élèves des classes préparatoires et à tous ceux pour qui la scène est objet d'intérêt professionnel ou de plaisir, ce livre présente les grandes théories - du texte, de l'écriture dramatique, de la représe[...]Exemplaires (6)
Cote Support Localisation Disponibilité L8/15497 Livre Bibliothèque centrale Disponible L8/14805 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14803 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14804 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15495 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15496 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (3)
Cote Support Localisation Disponibilité L8/14777 Livre Bibliothèque centrale Disponible L8/14779 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14778 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14783 Livre Bibliothèque centrale Disponible L8/14784 Livre Bibliothèque centrale Disponible L8/14781 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14780 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14782 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14788 Livre Bibliothèque centrale Disponible L8/14789 Livre Centre d’Enseignement Intensif des Langues Transféré
Exclu du prêtL8/14785 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14786 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14787 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
La poésie moderne effraie et séduit à la fois. Depuis que les thèmes romantiques se sont estompés pour faire place à une véritable " révolution du langage poétique " - dont Baudelaire a été l'annonciateur et Mallarmé l'exécuteur -, la poésie [...]Exemplaires (8)
Cote Support Localisation Disponibilité L8/14754 Livre Bibliothèque centrale Disponible L8/14755 Livre Bibliothèque centrale Disponible L8/14751 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14752 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14753 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15489 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15490 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15491 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Le XIXe siècle littéraire est une période de foisonnement qui s'accommode mal d'une présentation chronologique. Jean-Yves Tadié, en s'intéressant d'avantage à ce qui unit les générations qu'à ce qui les sépare, met à jour les grands thèmes com[...]Exemplaires (10)
Cote Support Localisation Disponibilité L8/14768 Livre Bibliothèque centrale Disponible L8/15501 Livre Bibliothèque centrale Disponible L8/15502 Livre Bibliothèque centrale Disponible L8/14767 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14769 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14770 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14771 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15503 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15504 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/15505 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité L8/14759 Livre Bibliothèque centrale Disponible L8/14760 Livre Bibliothèque centrale Disponible L8/14756 Livre Faculté des Sces-hum Transféré
Exclu du prêtL8/14757 Livre Univ. Sétif 2 Transféré
Exclu du prêtL8/14758 Livre Univ. Sétif 2 Transféré
Exclu du prêt![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/50762 Livre Bibliothèque centrale Disponible S8/50763 Livre Bibliothèque centrale Disponible S8/50764 Livre Bibliothèque centrale Disponible S8/50765 Livre Bibliothèque centrale Disponible S8/50766 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Ce Livre aborde tous les aspects de l'utilisation du PC pour la conception, la mise au point et la réalisation de montages électroniques : saisie de schémas, création de circuits imprimés, simulation analogique et digitale, développement de co[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/59493 Livre Bibliothèque centrale Disponible S8/59494 Livre Bibliothèque centrale Disponible S8/59495 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Exemplaires (5)
Cote Support Localisation Disponibilité S8/55293 Livre Bibliothèque centrale Disponible S8/55294 Livre Bibliothèque centrale Disponible S8/55295 Livre Bibliothèque centrale Disponible S8/55296 Livre Bibliothèque centrale Disponible S8/55297 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; Schwarzentruber, Auteur | Malakoff : Dunod | 2022Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux [...]Nouveauté
Exemplaires (2)
Cote Support Localisation Disponibilité S8/90154 Livre Bibliothèque centrale Disponible S8/90155 Livre Bibliothèque centrale Disponible ![]()
texte imprimé
René Cori ; Daniel Lascar ; Jean-Louis Krivine | Malakoff : Dunod | Sciences sup. Mathématiques | 2003Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours[...]Exemplaires (3)
Cote Support Localisation Disponibilité S8/63936 Livre Bibliothèque centrale Disponible S8/63937 Livre Bibliothèque centrale Disponible S8/63938 Livre Bibliothèque centrale Disponible
![](./images/home.jpg)