Kordon, Fabrice.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for embedded distributed systems = how to master the complexity /
by:
Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service)
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings /
by:
Kordon, Fabrice.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Moldt, Daniel.
(書目-語言資料,印刷品)
Transactions on Petri Nets and Other Models of Concurrency XV
by:
SpringerLink (Online service); Pomello, Lucia.; Kordon, Fabrice.; Koutny, Maciej.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers /
by:
Zhang, Lin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Ren, Lei.; Kordon, Fabrice.
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
by:
Kordon, Fabrice.; SpringerLink (Online service); Moldt, Daniel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
SpringerLink (Online service); Kordon, Fabrice.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vardanega, Tullio.
(書目-語言資料,印刷品)
Transactions on Petri Nets and Other Models of Concurrency XVI
by:
Koutny, Maciej.; Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
by:
Beyer, Dirk.; Huisman, Marieke.; Kordon, Fabrice.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Ada (Computer program language)
Mathematical logic.
Computer organization.
Computer science—Mathematics.
Computer engineering.
Petri nets
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Computer graphics.
Embedded computer systems.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer networks .
Big data
Information theory.
System Performance and Evaluation.
The Computing Profession.
Data Structures.
Data structures (Computer science).
Computer Science.
Microprogramming .
Computer simulation.
Computer Engineering and Networks.
Management of Computing and Information Systems.
Computer communication systems.
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Electronic data processing
Simulation and Modeling.
Computer science.
Computer Graphics.
Computer system failures.
Discrete Mathematics in Computer Science.
Computer multitasking
Computer software