EATCS monographs on theoretical computer science

• 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; 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

Table of Contents

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