| 書(shū)目名稱(chēng) | Vorlesungen über Informatik |
| 副標(biāo)題 | Berechenbarkeit, for |
| 編輯 | Gerhard Goos |
| 視頻video | http://file.papertrans.cn/985/984808/984808.mp4 |
| 概述 | Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums".Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom.Beschreibung de |
| 叢書(shū)名稱(chēng) | Springer-Lehrbuch |
| 圖書(shū)封面 |  |
| 描述 | Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden B?nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit?tstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird er?rtert, wie man Systemaufgaben analysiert und spezifiziert. |
| 出版日期 | Textbook 1997 |
| 關(guān)鍵詞 | Algorithmen; Automaten; Datenstruktur; Kommunikation; Komplexit?t; Komplexit?tsklassen; Komplexit?tstheori |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-59140-2 |
| isbn_softcover | 978-3-540-60655-0 |
| isbn_ebook | 978-3-642-59140-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 |
| issn_series | 0937-7433 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 23:49
發(fā)表于 2025-3-21 18:22:57
