Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Progress in Theoretical Computer Science
-
Isomorphisms of Types
Roberto Dicosmo
- Paperback | Engels | 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... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Polynomial and Matrix Computations
Dario Bini, Victor Y Pan
- Paperback | Engels | 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... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Categorical Combinators, Sequential Algorithms, and Functional Programming
P -L Curien
- Hardcover | Engels | 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-... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Hardcover | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Object-Oriented Programming a Unified Foundation
Giuseppe Castagna
- Hardcover | Engels | 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 ... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing
- Hardcover | Engels | 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 ... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Semantics of Type Theory
T Streicher
- Paperback | Engels | 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... Lees meer
€ 97,95Levering 1 à 2 weken€ 97,95Levering 1 à 2 weken -
Polynomial and Matrix Computations
Dario Bini, Victor Y Pan
- Hardcover | Engels | 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... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
The Combinatory Programme
Erwin Engeler
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing
- Paperback | Engels | 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 ... Lees meer
€ 183,45Levering 2 à 3 weken€ 183,45Levering 2 à 3 weken -
The Graph Isomorphism Problem
J Kobler, U Schöning, J Toran
- Hardcover | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Algol-Like Languages
Peter O'Hearn, Robert Tennent
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Neural Networks and Analog Computation
Hava T Siegelmann
- Paperback | Engels | 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... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Verifying Temporal Properties of Systems
J C Bradfield
- Paperback | Engels | 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... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Canonical Equational Proofs
Bachmair
- Paperback | Engels | Progress in Theoretical Computer Science
- Equations occur in many computer applications, such as symbolic compu- tation, functional programming, abstract data type specifications, program veri... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
The Combinatory Programme
Erwin Engeler
- Hardcover | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Neural Networks and Analog Computation
Hava T Siegelmann
- Hardcover | Engels | 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... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Algorithms for Random Generation and Counting: A Markov Chain Approach
A Sinclair
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Complexity Theory of Real Functions
K Ko
- Paperback | Engels | 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... Lees meer
€ 152,95Levering 2 à 3 weken€ 152,95Levering 2 à 3 weken -
The Graph Isomorphism Problem
J Kobler, U Schöning, J Toran
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Solving Higher-Order Equations
Christian Prehofer
- Hardcover | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken -
Nondeterminism in Algebraic Specifications and Algebraic Programs
Hussmann
- Paperback | Engels | 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... Lees meer
€ 83,95Levering 2 à 3 weken€ 83,95Levering 2 à 3 weken -
Comparative Metric Semantics of Programming Languages
Franck Van Breughel
- Paperback | Engels | 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... Lees meer
€ 167,95Levering 2 à 3 weken€ 167,95Levering 2 à 3 weken