A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'programmation fonctionnelle' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis CURIEN (Cop. 1993)
Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis CURIEN, Auteur Mention d'édition : 2nd ed. Editeur : Boston : Birkhäuser Année de publication : Cop. 1993 Collection : Progress in Theoretical Computer Science Importance : XX-403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis CURIEN, Auteur . - 2nd ed. . - Boston : Birkhäuser, Cop. 1993 . - XX-403 p.. - (Progress in Theoretical Computer Science) .
ISBN : 978-0-8176-3654-8
Langues : Anglais
Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19037 CUR/68/7607 Livre Recherche Salle Disponible Domains and Lambda-calculi / Roberto M. AMADIO (Cop. 1998)
Titre : Domains and Lambda-calculi Type de document : texte imprimé Auteurs : Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1998 Collection : Cambridge tracts in theoretical computer science num. 46 Importance : XVI-484 p. ISBN/ISSN/EAN : 978-0-521-62277-6 Langues : Anglais Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Domains and Lambda-calculi [texte imprimé] / Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur . - Cambridge : Cambridge University Press, Cop. 1998 . - XVI-484 p.. - (Cambridge tracts in theoretical computer science; 46) .
ISBN : 978-0-521-62277-6
Langues : Anglais
Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19034 AMA/68/7604 Livre Recherche Salle Disponible Functional programming in C++ / Ivan ČUKIĆ (Cop. 2019)
Titre : Functional programming in C++ Type de document : texte imprimé Auteurs : Ivan ČUKIĆ, Auteur Editeur : Shelter Island, NY [U.S.A.] : Manning Année de publication : Cop. 2019 Importance : XXI-296 p. Présentation : ill. ISBN/ISSN/EAN : 978-1-61729-381-8 Langues : Anglais Mots-clés : programmation fonctionnelle langage de programmation C ++ Functional programming in C++ [texte imprimé] / Ivan ČUKIĆ, Auteur . - Shelter Island, NY (U.S.A.) : Manning, Cop. 2019 . - XXI-296 p. : ill.
ISBN : 978-1-61729-381-8
Langues : Anglais
Mots-clés : programmation fonctionnelle langage de programmation C ++ Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23072 CUK/68/12016 Livre Recherche Salle Disponible Lambda-calculus, combinators, and functional programming / G. E. REVESZ (Cop. 1988)
Titre : Lambda-calculus, combinators, and functional programming Type de document : texte imprimé Auteurs : G. E. REVESZ, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1988 Collection : Cambridge tracts in theoretical computer science num. 4 Importance : X-181 p. ISBN/ISSN/EAN : 978-0-521-34589-7 Langues : Anglais Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Lambda-calculus, combinators, and functional programming [texte imprimé] / G. E. REVESZ, Auteur . - Cambridge : Cambridge University Press, Cop. 1988 . - X-181 p.. - (Cambridge tracts in theoretical computer science; 4) .
ISBN : 978-0-521-34589-7
Langues : Anglais
Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 812 REV/02/6468 Livre Recherche Salle Disponible