EATCS monographs on theoretical computer science

Material type: 図書

Author: -

Publisher: Springer-Verlag

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Nonsequential processes : a Petri net view Equations and initial semantics Multi-dimensional searching and computational geometry Graph algorithms and NP-completeness Coloured petri nets : basic concepts, analysis methods and practical use Temporal logic of programs Rational series and their languages Products of automata The Structure of the relational database model Iteration theories : the equational logic of iterative processes Compiler generators : what they can do, what they might do, and what they will probably never do First-order programming theories Computability Languages and parsing Module specifications and constraints Semirings, automata, languages Public-key cryptography Algorithms in combinatorial geometry Structural complexity LR(k) and LL(k) parsing Specification and analysis of concurrent systems : the COSY approach Universal algebra for computer scientists Confluent string rewriting Sorting and searching Relations and graphs : discrete mathematics for computer scientists Computing in Horn clause theories Petri nets : an introduction Kolmogorov complexity and computational complexity Regulated rewriting in formal language theory Algorithms in combinatorial geometry

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: EATCS monographs on theoretical computer science
Publication, Distribution, etc.: Springer-Verlag
Place of Publication (Country Code): gw
Text Language Code: en
Target Audience: 一般
Related Material: Nonsequential processes : a Petri net view
https://cir.nii.ac.jp/crid/1130000794016348800
Equations and initial semantics
https://cir.nii.ac.jp/crid/1130000794184724864
Multi-dimensional searching and computational geometry
https://cir.nii.ac.jp/crid/1130000794248097152
Graph algorithms and NP-completeness
https://cir.nii.ac.jp/crid/1130000794628207232
Coloured petri nets : basic concepts, analysis methods and practical use
https://cir.nii.ac.jp/crid/1130000794794636928
Temporal logic of programs
https://cir.nii.ac.jp/crid/1130000794803229568
Rational series and their languages
https://cir.nii.ac.jp/crid/1130000795127864832
Products of automata
https://cir.nii.ac.jp/crid/1130000795904327168
The Structure of the relational database model
https://cir.nii.ac.jp/crid/1130000795966314240
Iteration theories : the equational logic of iterative processes
https://cir.nii.ac.jp/crid/1130000797226930432
Compiler generators : what they can do, what they might do, and what they will probably never do
https://cir.nii.ac.jp/crid/1130000797670848256
First-order programming theories
https://cir.nii.ac.jp/crid/1130000797788680960
Computability
https://cir.nii.ac.jp/crid/1130000797916480512
Languages and parsing
https://cir.nii.ac.jp/crid/1130282268758795904
Module specifications and constraints
https://cir.nii.ac.jp/crid/1130282268782996608
Semirings, automata, languages
https://cir.nii.ac.jp/crid/1130282269061546368
Public-key cryptography
https://cir.nii.ac.jp/crid/1130282269426436352
Algorithms in combinatorial geometry
https://cir.nii.ac.jp/crid/1130282269584769536
Structural complexity
https://cir.nii.ac.jp/crid/1130282270196019200
LR(k) and LL(k) parsing
https://cir.nii.ac.jp/crid/1130282270259944576
Specification and analysis of concurrent systems : the COSY approach
https://cir.nii.ac.jp/crid/1130282270733807872
Universal algebra for computer scientists
https://cir.nii.ac.jp/crid/1130282270866419968
Confluent string rewriting
https://cir.nii.ac.jp/crid/1130282271796181760
Sorting and searching
https://cir.nii.ac.jp/crid/1130282271882472960
Relations and graphs : discrete mathematics for computer scientists
https://cir.nii.ac.jp/crid/1130282271909823744
Computing in Horn clause theories
https://cir.nii.ac.jp/crid/1130282271984431872
Petri nets : an introduction
https://cir.nii.ac.jp/crid/1130282272211011200
Kolmogorov complexity and computational complexity
https://cir.nii.ac.jp/crid/1130282272462015104
Regulated rewriting in formal language theory
https://cir.nii.ac.jp/crid/1130282273272894208
Algorithms in combinatorial geometry
https://cir.nii.ac.jp/crid/1130858596794986250
Related Material (URI): https://ci.nii.ac.jp/ncid/BA00007320#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA00007320 : BA00007320