Informatique théorique

Public ISBD Titre : Informatique théorique : problèmes et exercices corrigés Type de document : texte imprimé Editeur : Année de publication : 2003 Collection : Sciences sup Importance : 246 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-007281-1 Note générale : La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs" Glossaire. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Problèmes et exercices Index. décimale : 004.0 Résumé : L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution. Informatique théorique : problèmes et exercices corrigés [texte imprimé] . - , 2003 . - 246 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) . ISBN : 978-2-10-007281-1 La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs" Glossaire. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Problèmes et exercices Index. décimale : 004.0 Résumé : L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 6728	21-09-E-66/1	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt
FIN 6729	21-09-E-66/2	Livre	Bibliothèque Universitaire Centrale	MI	Disponible

Logique élémentaire

Public ISBD Titre : Logique élémentaire : cours de base pour informaticien Type de document : texte imprimé Editeur : Année de publication : cop. 1998 Autre Editeur : Collection : Collection Informatique Importance : VII-430 p. Présentation : ill. Format : 24 cm Accompagnement : formulaire de logique ISBN/ISSN/EAN : 978-2-88074-360-4 Note générale : Bibliogr. p. 423-425. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Logique symbolique et mathématique Index. décimale : 004.0 Logique élémentaire : cours de base pour informaticien [texte imprimé] . -  : , cop. 1998 . - VII-430 p. : ill. ; 24 cm + formulaire de logique. - (Collection Informatique) . ISBN : 978-2-88074-360-4 Bibliogr. p. 423-425. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Logique symbolique et mathématique Index. décimale : 004.0

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 5847	21-12-E-03/01	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt

Mathématiques concrètes

Public ISBD Titre : Mathématiques concrètes : fondations pour l'informatique Type de document : texte imprimé Mention d'édition : 2e éd. Editeur : Année de publication : 2003 Importance : XIV-687 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-4824-2 Note générale : Bibliogr. p. 639-667. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Mathématiques Index. décimale : 004.0 Mathématiques concrètes : fondations pour l'informatique [texte imprimé]  . -  2e éd. . - , 2003 . - XIV-687 p. : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-7117-4824-2 Bibliogr. p. 639-667. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Mathématiques Index. décimale : 004.0

Réservation

Réserver ce document

Exemplaires(3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 5565	21-09-E16/1	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt
FIN 5566	21-09-E16/2	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 5567	21-09-E16/3	Livre	Bibliothèque Universitaire Centrale	MI	Disponible

Mathématiques discrètes et informatique

Public ISBD Titre : Mathématiques discrètes et informatique Type de document : texte imprimé Editeur : Année de publication : 1992 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 7 Importance : XIII-412 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-82621-4 Note générale : Bibliogr. p. 405-406. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Mathématiques  Algorithmes  Complexité de calcul ( informatique)  Graphes , Théorie des Index. décimale : 004.0 Mathématiques discrètes et informatique [texte imprimé] . - , 1992 . - XIII-412 p. : ill. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 7) . ISBN : 978-2-225-82621-4 Bibliogr. p. 405-406. Index Catégories : Sciences Exactes 2026:Informatique Mots-clés : Informatique  Mathématiques  Algorithmes  Complexité de calcul ( informatique)  Graphes , Théorie des Index. décimale : 004.0

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 5568	21-09-E-17/1	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt
FIN 5569	21-09-E-17/2	Livre	Bibliothèque Universitaire Centrale	MI	Disponible

MFI'03

Public ISBD Titre : MFI'03 : modèles formels de l'interaction ; actes des secondes Journées francophones [sur les modèles formels de l'interaction], [20-22] mai 2003, Lille Type de document : texte imprimé Editeur : Année de publication : 2003 Importance : 316 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-85428-622-9 Note générale : Textes des communications en anglais et en français Notes bibliogr. Index. Résumés en français et anglais Catégories : Sciences Exactes 2026:Informatique Mots-clés : Interaction homme-ordinateur  Congrès Index. décimale : 004.0 MFI'03 : modèles formels de l'interaction ; actes des secondes Journées francophones [sur les modèles formels de l'interaction], [20-22] mai 2003, Lille [texte imprimé] . - , 2003 . - 316 p. : ill., couv. ill. ; 24 cm. ISBN : 978-2-85428-622-9 Textes des communications en anglais et en français Notes bibliogr. Index. Résumés en français et anglais Catégories : Sciences Exactes 2026:Informatique Mots-clés : Interaction homme-ordinateur  Congrès Index. décimale : 004.0

Réservation

Réserver ce document

Exemplaires(5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 6302	21-09-E-62/1	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt
FIN 6303	21-09-E-62/2	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 6304	21-09-E-62/3	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 6305	21-09-E-62/4	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 6306	21-09-E-62/5	Livre	Bibliothèque Universitaire Centrale	MI	Disponible

---

1 (1 - 5 / 5) Par page : 25 50 100 200