A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Cambridge tracts in theoretical computer science
- Editeur : Cambridge University Press
- ISSN : pas d'ISSN
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesTerm rewriting systems (Cop. 2003) / TERESE
Titre : Term rewriting systems Type de document : texte imprimé Auteurs : TERESE, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 2003 Collection : Cambridge tracts in theoretical computer science num. 55 Importance : XVII-884 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-521-39115-3 Langues : Anglais (eng) Mots-clés : informatique système de réécriture Note de contenu : index, références Term rewriting systems [texte imprimé] / TERESE, Auteur . - Cambridge University Press, Cop. 2003 . - XVII-884 p. : ill.. - (Cambridge tracts in theoretical computer science; 55) .
ISBN : 978-0-521-39115-3
Langues : Anglais (eng)
Mots-clés : informatique système de réécriture Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19348 TER/68/7792 Livre Recherche Salle Disponible Domains and Lambda-calculi (Cop. 1998) / Roberto M. AMADIO
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 (eng) 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 University Press, Cop. 1998 . - XVI-484 p.. - (Cambridge tracts in theoretical computer science; 46) .
ISBN : 978-0-521-62277-6
Langues : Anglais (eng)
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 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19034 AMA/68/7604 Livre Recherche Salle Disponible Lambda-calculus, combinators, and functional programming (Cop. 1988) / G. E. REVESZ
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 (eng) 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 University Press, Cop. 1988 . - X-181 p.. - (Cambridge tracts in theoretical computer science; 4) .
ISBN : 978-0-521-34589-7
Langues : Anglais (eng)
Catégories : 03B40 Mots-clés : lambda-calcul combinatoire programmation fonctionnelle Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 812 REV/02/6468 Livre Recherche Salle Disponible