PROGRESS IN THEORETICAL COMPUTER SCIENCE search results in Books, Audio Books & Ebooks at Pickabook.co.uk

pickabook books with huge discounts for everyone

Visit our new collection website www.collectionsforschool.co.uk

Email: Subscribe to news & offers:

Need assistance?

ABOUT US

About Us
Contact Us
Terms & Conditions

Your search for " SERIES like 'Progress in Theoretical Computer Science' " has produced 70 results.

Total number of pages displayed: 7

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

1 2 3 4 5 6 7

Mathematics for the Analysis of Algorithms(Hardback)

By: Daniel H. Greene

Published: 01/09/1990

This monograph collects fundamental mathematical techniques required for the analysis of algorithms. It builds on the fundamentals of combinatorial analysis and complex variable theory to present ma...

In Stock: None

List Price:	£72.00

Canonical Equational Proofs(Paperback)

By: Leo Bachmair

Birkhauser Boston Inc

Published: 01/06/1991

In Stock: None

List Price:	£72.00

Linear Programming(Hardback)

By: Howard Karloff

Published: 01/08/1991

Intended for advanced undergraduate or graduate students, this title surveys linear programming.

In Stock: None

List Price:	£72.00

Logic of Domains(Hardback)

By: Guo-Qiang Zhang

Birkhauser Boston

Published: 01/01/1991

In Stock: None

List Price:	£113.00

Complexity Theory of Real Functions(Hardback)

By: Ker-l Ko

Birkhauser Boston Inc

Published: 01/10/1991

In Stock: None

List Price:	£72.00

Semantics of Type Theory(Hardback)
Correctness, Completeness and Independence Results

By: T. Streicher

Birkhauser Boston Inc

Published: 01/12/1991

An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive mathema...

In Stock: None

List Price:	£106.00

Categorical Combinators, Sequential Algorithms, and Function...(Hardback)

By: P-.L. Curien

Birkhauser Boston Inc

Published: 01/01/1993

This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples o...

In Stock: None

List Price:	£133.00

Algorithms for Random Generation and Counting(Hardback)
A Markov Chain Approach

By: A. Sinclair

Birkhauser Boston

Published: 01/02/1993

In Stock: None

List Price:	£112.50

Feasible Mathematics(Hardback)
Volume II

By: Peter Clote (Editor), Jeffrey B. Remmel (Editor)

Birkhauser Boston Inc

Published: 15/12/1994

The purpose of the workshop on which this volume is based was to carry on the work of the 1st Feasible Mathematics Workshop, held in 1989. This volume contains contributions to feasible mathematics ...

In Stock: None

List Price:	£72.00

10.

The Graph Isomorphism Problem(Hardback)
Its Structural Complexity

By: J. Kobler, Uwe Schoning, Jacobo Toran

Birkhauser Boston

Published: 01/07/1993

A monograph-graduate text on a topic in mathematics that is of concern to computer scientists working in the analysis of algorithms. It includes chapters on probabilistic classes, the reconstruction...

In Stock: None

List Price:	£113.00

1 2 3 4 5 6 7

Select All | Add selected items to basket

SHOPPING BASKET

	Your basket is empty

	Total Items:	0

NEW

Ramadan and Eid al-Fitr

By: SARA KHAN

A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.

Learning

That''s My Story!: Drama for Confidence, Communication and C...

By: ADAM POWER-ANNAND

The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.

Learning

Power of 2

By: DAVID JOSEPH SHARP

Learning

Reading Lessons

By: CAROL ATHERTON

Easter

Greg the Sausage Roll: Egg-cellent Easter Adventure

By: MARK HOYLE

Easter

Dear Easter Bunny

By: MAXINE LEE-MACKIE