TEXTS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES 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 'Texts in Theoretical Computer Science. An EATCS Series' " has produced 89 results.

Total number of pages displayed: 9

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

1 2 3 4 5 6 7 8 9

Modelling Distributed Systems(Hardback)

By: Wan Fokkink

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 26/09/2007

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

45% off

In Stock: 2

List Price:	£49.99
Our Price: £27.49

Simulation Algorithms for Computational Systems Biology(Hardback)

By: Luca Marchetti, Corrado Priami, Vo Hong Thanh

Springer International Publishing AG

Published: 12/01/2018

15% off

In Stock: 2

List Price:	£45.99
Our Price: £39.09

Formal Methods for Software Engineering(Paperback / softback)
Languages, Methods, Application Domains

By: Markus Roggenbach

Published: 23/06/2023

20% off

In Stock: 2

List Price:	£49.99
Our Price: £39.99

Decision Procedures(Hardback)
An Algorithmic Point of View

By: Daniel Kroening, Ofer Strichman

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 27/01/2017

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to mo...

15% off

In Stock: None

List Price:	£64.99
Our Price: £55.24

Formal Methods for Software Engineering(Hardback)
Languages, Methods, Application Domains

By: Markus Roggenbach

Published: 23/06/2022

15% off

In Stock: None

List Price:	£32.99
Our Price: £28.04
Availability: Temporarily Out of Stock

Extremal Combinatorics(Paperback)
With Applications in Computer Science

By: Stasys Jukna

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 24/10/2013

Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists. The text emphasizes theorems with particularly elegant and informative proofs, and pr...

15% off

In Stock: None

List Price:	£54.99
Our Price: £46.74

Grammatical Picture Generation(Paperback)
A Tree-Based Approach

By: Frank Drewes

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 10/12/2014

In Stock: None

List Price:	£72.00

Finite Model Theory and Its Applications(Paperback)

By: Erich Gradel, Phokion G. Kolaitis, Leonid Libkin

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 30/10/2014

In Stock: None

List Price:	£67.99

Computable Analysis(Paperback)
An Introduction

By: Klaus Weihrauch

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 11/06/2013

In Stock: None

List Price:	£67.99

10.

Parsing Schemata(Paperback)
A Framework for Specification and Analysis of Parsing Algorithms

By: Klaas Sikkel

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 30/07/2013

In Stock: None

List Price:	£72.00

1 2 3 4 5 6 7 8 9

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