| 書(shū)目名稱(chēng) | Relations and Graphs | | 副標(biāo)題 | Discrete Mathematics | | 編輯 | Gunther Schmidt,Thomas Str?hlein | | 視頻video | http://file.papertrans.cn/827/826151/826151.mp4 | | 叢書(shū)名稱(chēng) | Monographs in Theoretical Computer Science. An EATCS Series | | 圖書(shū)封面 |  | | 描述 | Relational methods can be found at various places incomputer science,notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programminglanguagedesign. In addition, they appear in algorithms analysis andin the bulk of discrete mathematics taught to computerscientists.Thisbook is devoted to the background of these methods. Itexplains how to userelational and graph-theoretic methodssystematically in computer science.A powerful formal framework of relational algebra isdeveloped with respect to applications to a diverse range ofproblem areas. Results are first motivated by practicalexamples, often visualized by both Boolean 0-1-matrices andgraphs, and then derived algebraically. | | 出版日期 | Book 1993 | | 關(guān)鍵詞 | Programmiersprache; algorithms; computer; computer science; concurrency; design; discrete mathematics; grap | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-77968-8 | | isbn_softcover | 978-3-642-77970-1 | | isbn_ebook | 978-3-642-77968-8Series ISSN 1431-2654 Series E-ISSN 2193-2069 | | issn_series | 1431-2654 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-4 23:56
發(fā)表于 2025-3-21 17:54:41
