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

30% off

In Stock: 2

List Price:	£45.99
Our Price: £32.19

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

By: Markus Roggenbach

Published: 23/06/2023

12.5% off

In Stock: 1

List Price:	£49.99
Our Price: £43.74

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

By: Markus Roggenbach

Published: 23/06/2022

12.5% off

In Stock: None

List Price:	£64.99
Our Price: £56.87
Availability: Temporarily Out of Stock

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...

12.5% off

In Stock: None

List Price:	£64.99
Our Price: £56.87

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...

12.5% off

In Stock: None

List Price:	£54.99
Our Price: £48.12

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

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

The Resolution Calculus(Paperback)

By: Alexander Leitsch

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 28/09/2011

In Stock: None

List Price:	£64.99

10.

Models of Massive Parallelism(Paperback)
Analysis of Cellular Automata and Neural Networks

By: Max H. Garzon

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 12/02/2012

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

Illustrated Encyclopedia of Science

By: CLAUDIA MARTIN

Fiction

Impossible Creatures

By: KATHERINE RUNDELL

Fiction

Not for the Faint of Heart

By: LEX CROUCHER

Fiction

Secret of Golden Island

By: NATASHA FARRANT

Early Learning

Dictionary Story

By: SAM WINSTON

Early Learning

Little Worried Caterpillar (PB)

By: CHRISTINE PYM

Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.

Early Learning

Nutty Numbers

By: DR. SEUSS

Picture Book

All the Things We Carry PB

By: HELEN DOCHERTY

What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.

Picture Book

Animal Swim School

By: KATE PERIDOT