| 書目名稱 | Functional Programming, Concurrency, Simulation and Automated Reasoning | | 副標(biāo)題 | International Lectur | | 編輯 | Peter E. Lauer | | 視頻video | http://file.papertrans.cn/350/349792/349792.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | This collection of papers arose from a series of lecturesfor workers incomputer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation,andlogical analysis of applications in these disciplines.Thecollection presents some strong motivational points forthe use of theory based systems in the areas of functionalprogramming, concurrency,simulation, and automatedreasoning, highlighting some of their advantagesanddisadvantages relative to conventional systems. The papersaremostly the work of individuals who were among theoriginators of the systemspresented.The volume is intended as a contribution to narrowingthelearning gap facing conventional computer users when theywish to use advanced theory based systems. The papers aremeant for a wide audience and should not require greatmathematical sophistication for theircomprehension. Thepapers contain numerous references for those wishing topursue a topic in greater depth. | | 出版日期 | Book 1993 | | 關(guān)鍵詞 | Automat; automated reasoning; concurrency; functional programming; learning; programming; simulation | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56883-2 | | isbn_softcover | 978-3-540-56883-4 | | isbn_ebook | 978-3-540-47776-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning影響因子(影響力)
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning影響因子(影響力)學(xué)科排名
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning網(wǎng)絡(luò)公開度
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning被引頻次
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning被引頻次學(xué)科排名
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning年度引用
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning年度引用學(xué)科排名
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning讀者反饋
書目名稱Functional Programming, Concurrency, Simulation and Automated Reasoning讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 08:50
發(fā)表于 2025-3-21 19:18:51
