5 résultat(s) recherche sur le mot-clé 'pascal'

512 problèmes corrigés Pascal, C++, Lisp, Prolog / Gacôgne, Louis

Public ISBD Titre : 512 problèmes corrigés Pascal, C++, Lisp, Prolog Type de document : texte imprimé Auteurs : Gacôgne, Louis Editeur : Paris : Ellipses Année de publication : 1996 Importance : 304 p. ISBN/ISSN/EAN : 978-2-7298-5550-5 Langues : Français Catégories : 68-XX Computer science Mots-clés : prolog  lisp  c++  pascal  langage  programmation  exercices  manuel Index. décimale : 68C Monographie 512 problèmes corrigés Pascal, C++, Lisp, Prolog [texte imprimé] / Gacôgne, Louis . - Paris : Ellipses, 1996 . - 304 p. ISBN : 978-2-7298-5550-5 Langues : Français Catégories : 68-XX Computer science Mots-clés : prolog  lisp  c++  pascal  langage  programmation  exercices  manuel Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4154	68C77	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Introduction à l'algorithmique numérique et à la programmation en pascal / Cousot, P.

Public ISBD Titre : Introduction à l'algorithmique numérique et à la programmation en pascal : cours et exercices corrigés à l'usage des classes préparatoires aux grandes écoles scientifiques (M, M1, P, P1, T, T1) Type de document : texte imprimé Auteurs : Cousot, P. Editeur : Paris : McGray-Hill Année de publication : 1988 Collection : Informatique Classes Préparatoires Importance : xiI - 621 p. ISBN/ISSN/EAN : 978-2-7042-1173-9 Langues : Français Mots-clés : pascal  programmation Index. décimale : 68C Monographie Introduction à l'algorithmique numérique et à la programmation en pascal : cours et exercices corrigés à l'usage des classes préparatoires aux grandes écoles scientifiques (M, M1, P, P1, T, T1) [texte imprimé] / Cousot, P. . - Paris : McGray-Hill, 1988 . - xiI - 621 p.. - (Informatique Classes Préparatoires) . ISBN : 978-2-7042-1173-9 Langues : Français Mots-clés : pascal  programmation Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3863	68C236	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Modula-2 for pascal programmers (copie) / Gleaves, Richard

Public ISBD Titre : Modula-2 for pascal programmers (copie) Type de document : texte imprimé Auteurs : Gleaves, Richard Editeur : Springer-Verlag Année de publication : 1984 Importance : viii - 145 p. ISBN/ISSN/EAN : 978-0-387-96051-7 Note générale : don du professeur ANDRONIKOFF Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N01 General Mots-clés : utility modules  language constructs  pascal  modulo 2  programming language Index. décimale : 68C Monographie Modula-2 for pascal programmers (copie) [texte imprimé] / Gleaves, Richard . - [S.l.] : Springer-Verlag, 1984 . - viii - 145 p. ISBN : 978-0-387-96051-7 don du professeur ANDRONIKOFF Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N01 General Mots-clés : utility modules  language constructs  pascal  modulo 2  programming language Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3997	68C275	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

a First course in formal logic and its applications in computer science / R. D. Dowsing

Public ISBD 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

Prime numbers and computer methods for factorization / Riesel, H.

Public ISBD Titre : Prime numbers and computer methods for factorization Type de document : texte imprimé Auteurs : Riesel, H. ; Oesterlé, J., Editeur scientifique ; Weinstein, A., Editeur scientifique Mention d'édition : 2nd ed. Editeur : Birkhäuser Verlag Année de publication : 1994 Collection : Progress in Mathematics num. 126 Importance : xvi - 464 p. ISBN/ISSN/EAN : 978-0-8176-3743-9 Langues : Anglais Catégories : 11-XX Number theory:11-01 Instructional exposition (textbooks, tutorial papers, etc.) 11-XX Number theory:11-02 Research exposition (monographs, survey articles) 11-XX Number theory:11-04 Explicit machine computation and programs (not the theory of computation or programming) 11-XX Number theory:11YXX Computational number theory 11-XX Number theory:11YXX Computational number theory :11Y05 Factorization 11-XX Number theory:11YXX Computational number theory :11Y11 Primality Mots-clés : computational number theory  factorization methods  primality tests  primes in arithmetic progressions  gaps between primes  riemann zeta-function  prime counting function  algorithms  pascal  cryptography  distribution of prime numbers Index. décimale : 68C Monographie Prime numbers and computer methods for factorization [texte imprimé] / Riesel, H. ; Oesterlé, J., Editeur scientifique ; Weinstein, A., Editeur scientifique  . -  2nd ed. . - [S.l.] : Birkhäuser Verlag, 1994 . - xvi - 464 p.. - (Progress in Mathematics; 126) . ISBN : 978-0-8176-3743-9 Langues : Anglais Catégories : 11-XX Number theory:11-01 Instructional exposition (textbooks, tutorial papers, etc.) 11-XX Number theory:11-02 Research exposition (monographs, survey articles) 11-XX Number theory:11-04 Explicit machine computation and programs (not the theory of computation or programming) 11-XX Number theory:11YXX Computational number theory 11-XX Number theory:11YXX Computational number theory :11Y05 Factorization 11-XX Number theory:11YXX Computational number theory :11Y11 Primality Mots-clés : computational number theory  factorization methods  primality tests  primes in arithmetic progressions  gaps between primes  riemann zeta-function  prime counting function  algorithms  pascal  cryptography  distribution of prime numbers Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3174	68C163	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible