New Releases

Language

Ebook Format

DRM

1 - 10 of 58 results

Data Structures and Algorithms 1: Sorting and Searching
Springer Berlin Heidelberg (2013)
US$77.41

The design and analysis of data structures and efficient algorithms has gained considerable...

Petri Nets: An Introduction

Petri Nets

An Introduction

Springer Berlin Heidelberg (2012)
US$96.21

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the...

Semirings, Automata, Languages
Springer Berlin Heidelberg (2012)
US$121.65

Automata theory is the oldest among the disciplines constituting the subject matter of this...

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Springer Berlin Heidelberg (2012)
US$121.65

The aim of this book is to present fundamentals of algebraicspecifications with respect to the...

Products of Automata
Springer Berlin Heidelberg (2012)
US$85.15

Both theoretical and practical considerations motivate the repre­ sentation of objects as certain...

Temporal Logic of Programs
Springer Berlin Heidelberg (2012)
US$77.41

Introduction to the temporal logic of - in particular paral-lel - programs.Divided into three main...

Computability
Springer Berlin Heidelberg (2012)
US$77.41

Intends to lay a common basis for the different branches ofrecursion theory. Leads from the...

Algorithms in Combinatorial Geometry
Springer Berlin Heidelberg (2012)
US$88.47

Computational geometry as an area of research in its own right emerged in the early seventies of...