#
Texts in theoretical computer science
Resource Information
The series ** Texts in theoretical computer science** represents a set of related resources, especially of a specified kind, found in **University of Missouri Libraries**.

The Resource
Texts in theoretical computer science
Resource Information

The series

**Texts in theoretical computer science**represents a set of related resources, especially of a specified kind, found in**University of Missouri Libraries**.- Label
- Texts in theoretical computer science

## Context

Context of Texts in theoretical computer science#### Members

No resources found

No enriched resources found

- Texts in theoretical computer science, An EATCS series
- A practical theory of reactive systems : incremental modeling of dynamic behaviors
- A practical theory of reactive systems : incremental modeling of dynamic behaviors
- Abstract computing machines : a lambda calculus perspective
- Abstract computing machines : a lambda calculus perspective
- Boolean functions and computation models
- Complexity theory and cryptology : an introduction to cryptocomplexity
- Complexity theory and cryptology : an introduction to cryptocomplexity
- Computable analysis : an introduction
- DNA computing : new computing paradigms
- Decision procedures : an algorithmic point of view
- Design and analysis of randomized algorithms : introduction to design paradigms
- Design and analysis of randomized algorithms : introduction to design paradigms
- Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
- Dissemination of information in optical networks : from technology to algorithms
- Dissemination of information in optical networks : from technology to algorithms
- Elements of finite model theory
- Exact exponential algorithms
- Extremal combinatorics : with applications in computer science
- Finite model theory and its applications
- Finite model theory and its applications
- Grammatical picture generation : a tree-based approach
- Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks
- Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
- Modelling distributed systems
- Models of massive parallelism : analysis of cellular automata and neural networks
- Parameterized complexity theory
- Parameterized complexity theory
- Parsing schemata : a framework for specification and analysis of parsing algorithms
- Public-key cryptography
- Software engineering
- Software engineering, 1, Abstraction and modelling
- Software engineering, 2, Specification of systems and languages
- Software engineering, 3, Domains, requirements, and software design
- Temporal logic and state systems
- Temporal logic and state systems
- The complexity theory companion
- The parametric lambda calculus : a meta-model for computation
- The resolution calculus
- Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography
- Universal artificial intelligence : sequential decisions based on algorithmic probability
- Verification of reactive systems : formal methods and algorithms

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/_B_o4lVlyKU/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/_B_o4lVlyKU/">Texts in theoretical computer science</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Series Texts in theoretical computer science

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/_B_o4lVlyKU/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/_B_o4lVlyKU/">Texts in theoretical computer science</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`