| 書目名稱 | Konstruktion guter Algorithmen | | 副標(biāo)題 | Sichere und korrekte | | 編輯 | Ingo Dittmer | | 視頻video | http://file.papertrans.cn/546/545393/545393.mp4 | | 叢書名稱 | Informatik & Praxis | | 圖書封面 |  | | 描述 | Das Buch stellt Verfahren vor, die es erm?glichen, sprach- und maschinenunabh?ngig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, da? sie korrekt sind, d. h. genau das leisten, was sie leisten sollen.Es wird auf die übertragung in g?ngige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen gro?en Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen deshttp://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektesin die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekthttp://InterDoc.OFFIS.Uni-Oldenburg.de>InterDocweiterhin zur Verfügung. | | 出版日期 | Book 1996 | | 關(guān)鍵詞 | Algorithmen; Informatik; Informatik & Praxis; Konstruktion; Maschine; Praxis; Programmieren; Programmierung | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-663-10517-6 | | isbn_softcover | 978-3-519-02990-8 | | isbn_ebook | 978-3-663-10517-6Series ISSN 1615-8245 Series E-ISSN 2522-0594 | | issn_series | 1615-8245 | | copyright | Springer Fachmedien Wiesbaden 1996 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 13:04
發(fā)表于 2025-3-21 16:54:38
