الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1
Affiner la recherche Interroger des sources externes
Introduction à l'algorithmique / Cormen, Thomas
Titre : Introduction à l'algorithmique : cours et exercices Type de document : texte imprimé Auteurs : Cormen, Thomas, Auteur ; Leiserson, Charles, Auteur ; Leiserson, Charles, Auteur ; Xavier Cazin, Traducteur ; Georges-Louis Kocher, Traducteur Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2004 Collection : Sciences sup, ISSN 1636-2217 Importance : XXIX-1146 p. Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-003922-7 Note générale : La couv. porte en plus : "2e cycle, écoles d'ingénieurs"
Bibliogr. p. 1087-1108. IndexLangues : Français (fre) Langues originales : Anglais (eng) Mots-clés : algorithmique informatique structures de données Index. décimale : 005.1 Introduction à l'algorithmique : cours et exercices [texte imprimé] / Cormen, Thomas, Auteur ; Leiserson, Charles, Auteur ; Leiserson, Charles, Auteur ; Xavier Cazin, Traducteur ; Georges-Louis Kocher, Traducteur . - 2e éd. . - Paris : Dunod, 2004 . - XXIX-1146 p. : ill., couv. ill. en coul. ; 25 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-003922-7
La couv. porte en plus : "2e cycle, écoles d'ingénieurs"
Bibliogr. p. 1087-1108. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : algorithmique informatique structures de données Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité CF2-000629 005-242.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt F2-001157 005-242.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001158 005-242.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001159 005-242.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001160 005-242.5 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-001161 005-242.6 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Introduction à l'algorithmique objet / Alain Cardon
Titre : Introduction à l'algorithmique objet : modélisation avec UML et exemples de code en Java et C++ Type de document : texte imprimé Auteurs : Alain Cardon (1946-....), Auteur ; Christophe Dabancourt, Auteur Editeur : Paris : Eyrolles Année de publication : 2001 Importance : XIII-379 p. Présentation : ill., couv. ill. Format : 23 cm ISBN/ISSN/EAN : 2-212-09258-X Prix : 185 F Note générale : Index Langues : Français (fre) Index. décimale : 005.1 Introduction à l'algorithmique objet : modélisation avec UML et exemples de code en Java et C++ [texte imprimé] / Alain Cardon (1946-....), Auteur ; Christophe Dabancourt, Auteur . - Paris : Eyrolles, 2001 . - XIII-379 p. : ill., couv. ill. ; 23 cm.
ISBN : 2-212-09258-X : 185 F
Index
Langues : Français (fre)
Index. décimale : 005.1 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Introduction à la calculabilité / Pierre Wolper
Titre : Introduction à la calculabilité : cours et exercices corrigés Type de document : texte imprimé Auteurs : Pierre Wolper, Auteur Mention d'édition : 3e éd. Editeur : Paris : Dunod Année de publication : DL 2006 Collection : Sciences sup, ISSN 1636-2217 Importance : 1 vol. (IX-224 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-049981-6 Prix : 29,90 EUR Note générale : La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 217-218. IndexLangues : Français (fre) Mots-clés : calculabilité, formalisation, la théorie de la calculabilité Index. décimale : 005.1 Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.
Introduction à la calculabilité : cours et exercices corrigés [texte imprimé] / Pierre Wolper, Auteur . - 3e éd. . - Paris : Dunod, DL 2006 . - 1 vol. (IX-224 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-049981-6 : 29,90 EUR
La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 217-218. Index
Langues : Français (fre)
Mots-clés : calculabilité, formalisation, la théorie de la calculabilité Index. décimale : 005.1 Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité CF2-000801 005-399.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001412 005-399.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible f2-001413 005-399.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Introduction aux méthodes formelles / Jean-François Monin
Titre : Introduction aux méthodes formelles Type de document : texte imprimé Auteurs : Jean-François Monin, Auteur Mention d'édition : 2e éd. rev. et augm. Editeur : Paris : Hermès science publications Année de publication : 2000 Collection : Collection technique et scientifique des télécommunications, ISSN 0221-2579 Importance : 351 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-7462-0140-2 Prix : Prix : 327,98 F : 50 EUR Note générale : Bibliogr. p. 331-342. Index Langues : Français (fre) Mots-clés : calcul de programmes, vdm, propriétés de zf, zfc, ccs Index. décimale : 005.1 Introduction aux méthodes formelles [texte imprimé] / Jean-François Monin, Auteur . - 2e éd. rev. et augm. . - Paris : Hermès science publications, 2000 . - 351 p. : ill., couv. ill. en coul. ; 24 cm. - (Collection technique et scientifique des télécommunications, ISSN 0221-2579) .
ISBN : 2-7462-0140-2 : Prix : 327,98 F : 50 EUR
Bibliogr. p. 331-342. Index
Langues : Français (fre)
Mots-clés : calcul de programmes, vdm, propriétés de zf, zfc, ccs Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-000753 005-355.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001338 005-355.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible Java 5 et 6 / Robert Chevallier
Titre : Java 5 et 6 : informatique synthèse de cours & exercices corrigés Type de document : texte imprimé Auteurs : Robert Chevallier (1943-....), Auteur Editeur : Paris : Pearson Education France Année de publication : cop. 2007 Collection : Synthex, ISSN 1768-7616 num. 1768-7616 Importance : 1 vol. (VI-245 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7440-7219-2 Prix : 26 EUR Note générale : Notes bibliogr. Index Langues : Français (fre) Mots-clés : Java 5 et 6, installation de java, la classe saisie Index. décimale : 005.1 Java 5 et 6 : informatique synthèse de cours & exercices corrigés [texte imprimé] / Robert Chevallier (1943-....), Auteur . - Paris : Pearson Education France, cop. 2007 . - 1 vol. (VI-245 p.) : ill., couv. ill. ; 26 cm. - (Synthex, ISSN 1768-7616; 1768-7616) .
ISBN : 978-2-7440-7219-2 : 26 EUR
Notes bibliogr. Index
Langues : Français (fre)
Mots-clés : Java 5 et 6, installation de java, la classe saisie Index. décimale : 005.1 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-000870 005-461.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt Java / Isabelle Valembois
PermalinkJava et le multimédia / Jean-Marc Farinone
PermalinkJavaScript / Danny Goodman
PermalinkLe Langage APL / Bernard Robinet
PermalinkLe langage BASIC et la nouvelle norme / Jean-Pierre Lamoitier
PermalinkLangage C / Claude Delannoy
PermalinkLangage C, manuel de référence / Samuel P. Harbison
PermalinkLe langage Pascal appliqué à l'algorithmique / Claude Bauer
PermalinkLe langage PASCAL / maille, dominique
PermalinkLangage de programmation PASCAL / Baghdali, Latifa
PermalinkLogique(s), langages formels et complexité pour l'informatique / Narendra Jussien
PermalinkDe Merise à UML
PermalinkMéthodologie et algorithmes en Pascal / Rémi Legrand
PermalinkMéthodologie de la programmation en C : Bibliothèque standard-Api Posix / Achille Braquelaire
PermalinkMieux programmer en Java / Peter Haggar
PermalinkOracle 11g / Emmanuel Humblot
PermalinkOracle PL-SQL / Steven Feuerstein
PermalinkParlez-vous Shell ? / Thomas Hugel
PermalinkPenser objet avec UML et Java / Michel Lai
PermalinkPerformance PHP / Julien Pauli
PermalinkPerl / Martin C. Brown
PermalinkPHP / Michel Dreyfus
PermalinkPHP 4 / Blake Schwendiman
PermalinkPHP 4 / Olivier Heurtel
PermalinkPHP 5 / Jean-Marie Culot
PermalinkPHP 5 avancé / Éric Daspet
PermalinkPHP 5 / Stéphane Mariel
PermalinkPHP avancé / Arnaud Gadal
PermalinkPHP et MySQL / Janet Valade
PermalinkPHP-MySQL, 1. les cahiers du programmeur PHP/MySQL (1) / Jean-Philippe Leboeuf
PermalinkPHP-MySQL, 2. les cahiers du programmeur PHP (2) / Philippe Chaléat
PermalinkPHP et MySQL-MySQLi-PDO / Christophe Villeneuve
PermalinkPHP / Rasmus Lerdorf
PermalinkPrécis de génie logiciel
PermalinkDu procédural à l'objet, les langages C et C ++ / Jacques Philipp
Permalinkprogrammation algorithmes fondamentaux et langage C / Jean-Louis Imbert
PermalinkProgrammation avancée en C / Sébastien Varrette
PermalinkProgrammation en C ++ / Jesse Liberty
PermalinkProgrammation concurrente et temps réel avec Java / Luigi Zaffalon
PermalinkProgrammation fonctionnelle appliquée aux calculs scientifiques, 1. Programmation fonctionnelle appliquée aux calculs scientifiques / Alain Couturier
PermalinkProgrammation fonctionnelle en Schème / Jean-Michel Hufflen
PermalinkProgrammation Java / John Rast Hubbard
PermalinkProgrammation Le langage Python / Pierre Puiseux
PermalinkProgrammation en logique avec contraintes / Journées francophones de programmation logique et programmation par contraintes (09; 2000; Marseille)
PermalinkLa programmation objet en Java / Michel Divay
Permalink