Foundations of Software Science and Computation Structures 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
簡體網頁||繁體網頁
Foundations of Software Science and Computation Structures 在線電子書 圖書標籤:
喜歡 Foundations of Software Science and Computation Structures 在線電子書 的讀者還喜歡
下載連結1
下載連結2
下載連結3
發表於2025-02-06
Foundations of Software Science and Computation Structures 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2025
Foundations of Software Science and Computation Structures 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2025
Foundations of Software Science and Computation Structures 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
Foundations of Software Science and Computation Structures 在線電子書 用戶評價
Foundations of Software Science and Computation Structures 在線電子書 著者簡介
Foundations of Software Science and Computation Structures 在線電子書 著者簡介
Foundations of Software Science and Computation Structures 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載
Foundations of Software Science and Computation Structures 在線電子書 圖書描述
This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002.
The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical, and geometric theories, models and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.
length: (cm)23.9 width:(cm)15.5
Foundations of Software Science and Computation Structures 在線電子書 讀後感
評分
評分
評分
評分
Foundations of Software Science and Computation Structures 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
分享鏈接
Foundations of Software Science and Computation Structures pdf 電子書 下载链接
Foundations of Software Science and Computation Structures 在線電子書 相關圖書
-
Coordination Models and Languages 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載 -
Methods and Applications of Artificial Intelligence: Second Hellenic Conference on Ai, Setn 2002, Th 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Cognitive Technology 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Distributed Computing 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Worldview 101 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Inductive Logic Programming 歸納邏輯編程 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Worldviews 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Smart Card Programming and Security 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Theorem Proving in Higher Order Logics 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Would You Convict? 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Automatic Generation of Computer Animation 計算機動畫自動生成法 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader: Four Workshops held at PRICAI 2000 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Persistent Object Systems 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Yearbook of European Law 1993 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Information Security and Privacy 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Static Analysis 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Parallel Computing Technologies 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
