- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Progress in Theoretical Computer Science"
-
Logic of Domains
G Zhang
- Livre relié | Anglais | Progress in Theoretical Computer Science
- This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are in... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Object-Oriented Programming a Unified Foundation
Giuseppe Castagna
- Livre relié | Anglais | Progress in Theoretical Computer Science
- by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric ... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
The Combinatory Programme
Erwin Engeler
- Livre relié | Anglais | Progress in Theoretical Computer Science
- Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Polynomial and Matrix Computations
Dario Bini, Victor Y Pan
- Livre relié | Anglais | Progress in Theoretical Computer Science
- Our Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials). It greatly... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Logic of Domains
G Zhang
- Livre broché | Anglais | Progress in Theoretical Computer Science
- This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are in... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Isomorphisms of Types
Roberto Dicosmo
- Livre broché | Anglais | Progress in Theoretical Computer Science
- This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical appl... Savoir plus
83,95 €Livraison 1 à 4 semaines83,95 €Livraison 1 à 4 semaines -
Polynomial and Matrix Computations
Dario Bini, Victor Y Pan
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Our Subjects and Objectives. This book is about algebraic and symbolic computation and numerical computing (with matrices and polynomials). It greatly... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Solving Higher-Order Equations
Christian Prehofer
- Livre relié | Anglais | Progress in Theoretical Computer Science
- This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specifica... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Object-Oriented Programming a Unified Foundation
Giuseppe Castagna
- Livre broché | Anglais | Progress in Theoretical Computer Science
- by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric ... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Verifying Temporal Properties of Systems
J C Bradfield
- Livre broché | Anglais | Progress in Theoretical Computer Science
- This monograph aims to provide a powerful general-purpose proof tech- nique for the verification of systems, whether finite or infinite. It extends th... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
The Combinatory Programme
Erwin Engeler
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Algorithms for Random Generation and Counting: A Markov Chain Approach
A Sinclair
- Livre relié | Anglais | Progress in Theoretical Computer Science
- This monograph is a slightly revised version of my PhD thesis [86], com- pleted in the Department of Computer Science at the University of Edin- burgh... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Canonical Equational Proofs
Bachmair
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Equations occur in many computer applications, such as symbolic compu- tation, functional programming, abstract data type specifications, program veri... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Categorical Combinators, Sequential Algorithms, and Functional Programming
P -L Curien
- Livre relié | Anglais | Progress in Theoretical Computer Science
- This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit-... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing
- Livre relié | Anglais | Progress in Theoretical Computer Science
- The study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding paper ... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Subrecursive Programming Systems
James S Royer, John Case
- Livre relié | Anglais | Progress in Theoretical Computer Science
- 1.1. What This Book is About This book is a study of - subrecursive programming systems, - efficiency/program-size trade-offs between such systems, an... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Neural Networks and Analog Computation
Hava T Siegelmann
- Livre broché | Anglais | Progress in Theoretical Computer Science
- The theoretical foundations of Neural Networks and Analog Computation conceptualize neural networks as a particular type of computer consisting of mul... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Comparative Metric Semantics of Programming Languages
Franck Van Breughel
- Livre broché | Anglais | Progress in Theoretical Computer Science
- During the last three decades several different styles of semantics for program- ming languages have been developed. This book compares two of them: t... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Comparative Metric Semantics of Programming Languages
Franck Van Breughel
- Livre relié | Anglais | Progress in Theoretical Computer Science
- During the last three decades several different styles of semantics for program- ming languages have been developed. This book compares two of them: t... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Livre broché | Anglais | Progress in Theoretical Computer Science
- To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Livre relié | Anglais | Progress in Theoretical Computer Science
- In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory o... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
The Graph Isomorphism Problem
J Kobler, U Schöning, J Toran
- Livre relié | Anglais | Progress in Theoretical Computer Science
- Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structura... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
The Graph Isomorphism Problem
J Kobler, U Schöning, J Toran
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structura... Savoir plus
167,95 €Livraison 1 à 4 semaines167,95 €Livraison 1 à 4 semaines -
Categorical Combinators, Sequential Algorithms, and Functional Programming
P -L Curien
- Livre broché | Anglais | Progress in Theoretical Computer Science
- This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit-... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines