Monographs in theoretical computer science : an EATCS series

• 資料種別: 図書
• タイトル: Monographs in theoretical computer science : an EATCS series
• 著者標目: Hromkovic̆, Juraj; https://ci.nii.ac.jp/author/DA10803952; Nielsen, M. (Mogens); https://ci.nii.ac.jp/author/DA02382189
• 出版事項: Springer
• 並列タイトル等: EATCS
• 出版地（国名コード）: gw
• 対象利用者: 一般
• 一般注記: Former volumes appeared as "EATCS monographs on theoretical computer science"; Editors: W. Brauer, G. Rozenberg, A. Salomaa; Series editors of "Coping with selfishness in congestion games": Juraj Hromkovic̆, Mogens Nielsen
• 関連情報: Information and randomness : an algorithmic perspective; https://cir.nii.ac.jp/crid/1130000793778331392; Fundamentals of algebraic graph transformation; https://cir.nii.ac.jp/crid/1130000794368069248; Logics of specification languages; https://cir.nii.ac.jp/crid/1130000794393672832; Fault-tolerant search algorithms : reliable computation with unreliable information; https://cir.nii.ac.jp/crid/1130000794450023680; Patterns in permutations and words; https://cir.nii.ac.jp/crid/1130000794571530240; Time-dependent scheduling; https://cir.nii.ac.jp/crid/1130000795817136640; Restricted-orientation convexity; https://cir.nii.ac.jp/crid/1130000795874720640; Theoretical aspects of distributed computing in sensor networks; https://cir.nii.ac.jp/crid/1130000796191253632; Theoretical aspects of local search; https://cir.nii.ac.jp/crid/1130000796511799936; Process algebras for petri nets : the alphabetization of distributed systems; https://cir.nii.ac.jp/crid/1130000796709616000; Theory of semi-feasible algorithms; https://cir.nii.ac.jp/crid/1130000796824857088; Foundations of algebraic specification and formal software development; https://cir.nii.ac.jp/crid/1130000796968094848; Theory of reversible computing; https://cir.nii.ac.jp/crid/1130000797262101632; Deterministic extraction from weak random sources; https://cir.nii.ac.jp/crid/1130000797359831680; Duration calculus : a formal approach to real-time systems; https://cir.nii.ac.jp/crid/1130000797447616000; Incomplete information : structure, inference, complexity; https://cir.nii.ac.jp/crid/1130000797800557696; Finiteness and regularity in semigroups and formal languages; https://cir.nii.ac.jp/crid/1130000798168787712; Coping with selfishness in congestion games : analysis and design via LP duality; https://cir.nii.ac.jp/crid/1130015785980781075; The logic of partial information; https://cir.nii.ac.jp/crid/1130282268881152128; Semantic integration of heterogeneous software specifications; https://cir.nii.ac.jp/crid/1130282269242044288; Coloured Petri nets : basic concepts, analysis methods and practical use; https://cir.nii.ac.jp/crid/1130282269261568000; Graph and model transformation : general framework and applications; https://cir.nii.ac.jp/crid/1130282269374348032; Handbook of weighted automata; https://cir.nii.ac.jp/crid/1130282269616806400; Process algebra with timing; https://cir.nii.ac.jp/crid/1130282269707479808; https://cir.nii.ac.jp/crid/1130282270008198400; Words and graphs; https://cir.nii.ac.jp/crid/1130282270045336960; Modeling time in computing; https://cir.nii.ac.jp/crid/1130282270616829312; Syntax-directed semantics : formal models based on tree transducers; https://cir.nii.ac.jp/crid/1130282271445753472; Unfoldings : a partial-order approach to model checking; https://cir.nii.ac.jp/crid/1130282271598386048; Coloured petri nets : basic concepts, analysis methods and practical use; https://cir.nii.ac.jp/crid/1130282271783665024; Stochastic coalgebraic logic; https://cir.nii.ac.jp/crid/1130282272716915968; Petri net algebra; https://cir.nii.ac.jp/crid/1130282273047525888; Domain science and engineering : a foundation for software development; https://cir.nii.ac.jp/crid/1130572001036334084; Models and algorithms of time-dependent scheduling; https://cir.nii.ac.jp/crid/1130849382352588672
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA25559724#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA25559724 : BA25559724

目次

Information and randomness : an algorithmic perspective

Fundamentals of algebraic graph transformation

Logics of specification languages

Fault-tolerant search algorithms : reliable computation with unreliable information

Patterns in permutations and words