- 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"
-
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 -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Livre broché | 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 -
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 -
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 -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Livre relié | 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 -
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 -
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 -
Semantics of Type Theory
T Streicher
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Typing plays an important role in software development. Types can be consid- ered as weak specifications of programs and checking that a program is of... Savoir plus
97,95 €Livraison 1 à 2 semaines97,95 €Livraison 1 à 2 semaines -
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing
- Livre broché | 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
183,45 €Livraison 2 à 3 semaines183,45 €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 -
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 -
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 -
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 -
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 1 à 4 semaines83,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 -
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 -
Neural Networks and Analog Computation
Hava T Siegelmann
- Livre relié | 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 -
Algorithms for Random Generation and Counting: A Markov Chain Approach
A Sinclair
- Livre broché | 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 -
Complexity Theory of Real Functions
K Ko
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Starting with Cook's pioneering work on NP-completeness in 1970, polynomial complexity theory, the study of polynomial-time com- putability, has quick... Savoir plus
152,95 €Livraison 2 à 3 semaines152,95 €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 -
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 -
Nondeterminism in Algebraic Specifications and Algebraic Programs
Hussmann
- Livre broché | Anglais | Progress in Theoretical Computer Science
- Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €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