1.  Monographie Calcul et arithmétique des ordinateurs / Jean-Claude Bajard, Jean-Michel MullerType de document: Monographie. Collection: Informatique et systèmes d'information Éditeur: Paris : Lavoisier, 2004 Disponibilité: Pour le prêt: CMI[68 BAJ] (2). Actions: Add to Cart
2. Thèse Calcul symbolique avec des diagrammes de Penrose / Anne MassolType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1997 Disponibilité: Pour le prêt: CMI[Thèses MAS] (1). Actions: Add to Cart No cover image available
3.  Monographie Elements of functional languages / Martin C. HensonType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1987 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
4. Thèse Evaluation paresseuse des filtrages avec priorité application au langage ML / Alain LavilleType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses LAV] (1). Actions: Add to Cart
5. Thèse Extraction de programmes dans le calcul des constructions / Christine Paulin-MohringType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 En-ligne: Tel Disponibilité: Pour le prêt: CMI[Thèses PAU] (1). Actions: Add to Cart
6.  Monographie Ingénierie du controle de la précision des calculs sur ordinateur / Michèle Pichat, Jean VignesType de document: Monographie. Collection: Collection informatique Éditeur: Paris : Ed. Technip, 1993 Disponibilité: Pour le prêt: CMI[68 PIC] (1). Actions: Add to Cart
7. Thèse Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé : MLOG une extension de ML / Vincent PoirriezType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1991 Disponibilité: Pour le prêt: CMI[Thèses POI] (1). Actions: Add to Cart
8.  Monographie Interactive models of computation and program behavior / Pierre-Louis Curien, Hugo Herbelin, Jean-Louis Krivine... [et al.]Type de document: Monographie.Collection: Panoramas et synthèses ; 27Éditeur: Paris : Société Mathématique de France, 2009 En-ligne: Sommaire Disponibilité: Pour le prêt: CMI[Séries Panor 27] (1). Actions: Add to Cart
9.  Monographie Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot, Pierre CastéranType de document: Monographie.Collection: Texts in theoretical computer science, An EATCS seriesÉditeur: Berlin : Springer-Verlag, 2004 Disponibilité: Pour le prêt: CMI[68 BER] (1). Actions: Add to Cart
10. Thèse Optimisation d'un langage fonctionnel de requêtes pour une base de données orienté-objet / Issam AbbasType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses ABB] (1). Actions: Add to Cart No cover image available
11.  Monographie Principes de programmation fonctionnelle / H. Glaser, C. Hankin, D. TillType de document: Monographie.Collection: Manuels informatiques Masson ; 47Éditeur: Paris : Masson, 1987 Disponibilité: Pour le prêt: CMI[68 GLA] (2). Actions: Add to Cart
12.  Monographie Principles of systems programming / Robert M. GrahamType de document: Monographie.Éditeur: New York : John Wiley & Sons, 1975 Disponibilité: Pour le prêt: CMI[68 GRA] (1). Actions: Add to Cart
13.  Congrès Proceedings of the 1999 ACM SIGPLAN international conference on functional programming (ICFP '99) : Paris, France, September 27-29, 1999 / ACMType de document: Congrès.Collection: SIGPLAN notices ; 34Éditeur: New York : ACM Press, 1999 En-ligne: Accès au texte intégral via BiblioStic Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
14.  Congrès Proceedings of the ACM SIGPLAN and SIGOPS workshop on parallel and distributed debugging : May 5-6, 1988, University of Wisconsin, Madison / ACMType de document: Congrès.Collection: SIGPLAN notices ; 24Éditeur: New York : ACM Press, 1989 Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
15.  Congrès Proceedings of the fifth ACM SIGPLAN international conference on functional programming (ICFP '00) : Montreal, Canada, September 18-21, 2000 / ACMType de document: Congrès.Collection: SIGPLAN notices ; 35Éditeur: New York : ACM Press, 2000 En-ligne: Accès au texte intégral via BiblioStic Disponibilité: Pour le prêt: CMI[68-06 ACM] (1). Actions: Add to Cart
16.  Monographie Programming language theory and its implementation : applicative and imperative paradigms / Michael J. C. GordonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[68 GOR] (1). Actions: Add to Cart
17. Thèse Réceptivité, mobilité et pi-calcul / Cédric LhoussaineType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2002 En-ligne: site de l'auteur Disponibilité: Pour le prêt: CMI[Thèses LHO] (1). Actions: Add to Cart No cover image available
18.  Monographie The [pi]-calculus : a theory of mobile processes / Davide Sangiorgi, David WalkerType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 2001 Disponibilité: Pour le prêt: CMI[68 SAN] (1). Actions: Add to Cart
19.  Monographie The practice of programming / Brian W. Kernighan, Rob PikeType de document: Monographie. Collection: Addison-Wesley professional computing series Éditeur: Indianapolis : Addison-Wesley, 1999 Disponibilité: Pour le prêt: CMI[Info KER] (1). Actions: Add to Cart
20.  Congrès Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 / Martin HofmannType de document: Congrès.Collection: Lecture notes in computer science ; 2701Éditeur: Berlin : Springer, 2003 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 HOF] (1). Actions: Add to Cart
Languages: English | Français | |