Texts in theoretical computer science

• 資料種別: 図書
• タイトル: Texts in theoretical computer science
• 出版事項: Springer-Verlag
• 出版地（国名コード）: gw
• 対象利用者: 一般
• 関連情報: Communication complexity and parallel computing; https://cir.nii.ac.jp/crid/1130000793891715328; Specification of systems and languages; https://cir.nii.ac.jp/crid/1130000793931689600; Extremal combinatorics : with applications in computer science; https://cir.nii.ac.jp/crid/1130000794122578688; Complexity theory and cryptology : an introduction to cryptocomplexity; https://cir.nii.ac.jp/crid/1130000794191314176; Parsing schemata : a framework for specification and analysis of parsing algorithms; https://cir.nii.ac.jp/crid/1130000794431425664; The complexity theory companion; https://cir.nii.ac.jp/crid/1130000794721746816; Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks; https://cir.nii.ac.jp/crid/1130000794735185792; Introduction to process algebra; https://cir.nii.ac.jp/crid/1130000794896549504; Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions; https://cir.nii.ac.jp/crid/1130000795049943040; Elements of finite model theory; https://cir.nii.ac.jp/crid/1130000795164192128; Public-key cryptography; https://cir.nii.ac.jp/crid/1130000795349718272; Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics; https://cir.nii.ac.jp/crid/1130000795415059712; Information and randomness : an algorithmic perspective; https://cir.nii.ac.jp/crid/1130000795651241600; Temporal logic and state systems; https://cir.nii.ac.jp/crid/1130000795731387392; https://cir.nii.ac.jp/crid/1130000795753070592; https://cir.nii.ac.jp/crid/1130000795815290496; Universal artificial intelligence : sequential decisions based on algorithmic probability; https://cir.nii.ac.jp/crid/1130000795824456448; Introduction to circuit complexity : a uniform approach; https://cir.nii.ac.jp/crid/1130000795826072192; https://cir.nii.ac.jp/crid/1130000796008186624; The parametric lambda calculus : a metamodel for computation; https://cir.nii.ac.jp/crid/1130000796205523456; Models of computation; https://cir.nii.ac.jp/crid/1130000796214380032; DNA computing : new computing paradigms; https://cir.nii.ac.jp/crid/1130000796223404800; Parameterized complexity theory; https://cir.nii.ac.jp/crid/1130000796354589184; Decision procedures : an algorithmic point of view; https://cir.nii.ac.jp/crid/1130000796787734528; Structural complexity I; https://cir.nii.ac.jp/crid/1130000796790440704; Dissemination of information in optical networks : from technology to algorithms in cooperation with Ralf Klasing; https://cir.nii.ac.jp/crid/1130000797143820416; Verification of reactive systems : formal methods and algorithms; https://cir.nii.ac.jp/crid/1130000797163694720; Finite model theory and its applications; https://cir.nii.ac.jp/crid/1130000797165064960; Introduction to concurrency theory : transition systems and CCS; https://cir.nii.ac.jp/crid/1130000797252943232; Boolean functions and computation models; https://cir.nii.ac.jp/crid/1130000797288994944; https://cir.nii.ac.jp/crid/1130000797393884544; Design and analysis of randomized algorithms : Introduction to Design Paradigms; https://cir.nii.ac.jp/crid/1130000797579367424; Dissemination of information in communication networks : broadcasting, gossiping, leader election, and fault-tolerance; https://cir.nii.ac.jp/crid/1130000797612378880; Abstract computing machines : a lambda calculus perspective; https://cir.nii.ac.jp/crid/1130000797640596608; The resolution calculus; https://cir.nii.ac.jp/crid/1130000797770432128; Exact exponential algorithms; https://cir.nii.ac.jp/crid/1130000797976687744; Petri net synthesis; https://cir.nii.ac.jp/crid/1130000798108182528; https://cir.nii.ac.jp/crid/1130000798152512896; Computable analysis : an introduction; https://cir.nii.ac.jp/crid/1130000798170982912; Parameterized complexity theory : with 51 figures; https://cir.nii.ac.jp/crid/1130010301051379999; https://cir.nii.ac.jp/crid/1130282269429569280; Theoretical computer science : introduction to Automata, computability, complexity, algorithmics, randomization, communication, and cryptography; https://cir.nii.ac.jp/crid/1130282269853534464; https://cir.nii.ac.jp/crid/1130282270947917056; https://cir.nii.ac.jp/crid/1130282271183503104; https://cir.nii.ac.jp/crid/1130282271252282368; https://cir.nii.ac.jp/crid/1130282271600139264; Grammatical picture generation : a tree-based approach; https://cir.nii.ac.jp/crid/1130282271789023872; Abstraction and modelling; https://cir.nii.ac.jp/crid/1130282272023237120; Domains, requirements, and software design; https://cir.nii.ac.jp/crid/1130282272047162752; Models of massive parallelism : analysis of cellular automata and neural networks; https://cir.nii.ac.jp/crid/1130282272106416768; https://cir.nii.ac.jp/crid/1130282272207397504; Design and analysis of randomized algorithms : introduction to design paradigms; https://cir.nii.ac.jp/crid/1130282272687389952; Modelling distributed systems; https://cir.nii.ac.jp/crid/1130282272786027008; https://cir.nii.ac.jp/crid/1130282273178964864; A practical theory of reactive systems : incremental modeling of dynamic behaviors; https://cir.nii.ac.jp/crid/1130282273186445952; https://cir.nii.ac.jp/crid/1130578813449872513
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA24186461#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA24186461 : BA24186461