跳至 : 概要 | 書目資訊 | 主題

Kordon, Fabrice.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

Application and theory of petri nets and concurrency = 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings / by: Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service) (書目-電子資源)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: Monterey Workshop (2016 :); Zhang, Lin.; Ren, Lei.; Kordon, Fabrice.; SpringerLink (Online service) (書目-電子資源)

Transactions on petri nets and other models of concurrency XVI by: Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service); International Conference on Application of Concurrency to System Design (2020 :); Koutny, Maciej.; International Conference on Application and Theory of Petri Nets and Concurrency (2020 :) (書目-電子資源)

Transactions on petri nets and other models of concurrency XV by: Kordon, Fabrice.; SpringerLink (Online service); Koutny, Maciej.; Pomello, Lucia. (書目-電子資源)

Formal methods for embedded distributed systems = how to master the complexity / by: Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service) (書目-語言資料,印刷品)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: Kordon, Fabrice.; Vardanega, Tullio.; SpringerLink (Online service); Ada-Europe International Conference on Reliable Software Technologies ((2008 :) (書目-語言資料,印刷品)

Formal methods for embedded distributed systems = how to master the complexity / by: Kordon, Fabrice.; Lemoine, Michel, (1947-); NetLibrary, Inc. (書目-語言資料,印刷品)

主題

Electronic data processing- Distributed processing. Software Engineering. Theory of Computation. Data Structures and Information Theory. Logics and Meanings of Programs. Management of Computing and Information Systems. Programming Techniques. Petri nets Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Data Structures. Control Structures and Microprogramming. Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer multitasking Computer Engineering and Networks. Embedded computer systems. Computer software- Reliability Computer Science. Computer Communication Networks. Big data System Performance and Evaluation. Discrete Mathematics in Computer Science. Computer Systems Organization and Communication Networks. Ada (Computer program language)- Congresses.