A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'quicksort'
Affiner la recherche Générer le flux rss de la rechercheQuicksort / Robert Sedgewick
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11497 68C251 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Algorithms and complexity Type de document : texte imprimé Auteurs : Wilf, Herbert S. Mention d'édition : 2nd ed. Editeur : A. K. Peters, Ltd Année de publication : 2002 Importance : ix - 219 p. ISBN/ISSN/EAN : 978-1-56881-178-9 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity
68-XX Computer science :68WXX Algorithms :68W99 None of the above, but in this sectionMots-clés : fast fourier transform fast matrix multiplication four-color problem maximum independent set quicksort complexity recursive algorithms Index. décimale : 68C Monographie Algorithms and complexity [texte imprimé] / Wilf, Herbert S. . - 2nd ed. . - [S.l.] : A. K. Peters, Ltd, 2002 . - ix - 219 p.
ISBN : 978-1-56881-178-9
Langues : Anglais
Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles)
68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity
68-XX Computer science :68WXX Algorithms :68W99 None of the above, but in this sectionMots-clés : fast fourier transform fast matrix multiplication four-color problem maximum independent set quicksort complexity recursive algorithms Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16385 68C290 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith Editeur : Oxford : Blackwell Scientific Publications Année de publication : 1986 Collection : Computer Science Texts Importance : vi - 265 p. ISBN/ISSN/EAN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : prolog quicksort pascal logic programming resolution program correctness switching networks deductions boolean algebra Index. décimale : 68C Monographie a First course in formal logic and its applications in computer science [texte imprimé] / R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith . - Oxford : Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) .
ISBN : 978-0-632-01308-1
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : prolog quicksort pascal logic programming resolution program correctness switching networks deductions boolean algebra Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16035 68C194 imprimé / autre CRDM 68/INFORMATIQUE Disponible
