Kordon, Fabrice.
概要
作品: | 2 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Application and theory of petri nets and concurrency37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016 : proceedings /
by:
(1998 :); Kordon, Fabrice.; Moldt, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Challenges and opportunity with big data19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers /
by:
(1998 :); Kordon, Fabrice.; Ren, Lei.; SpringerLink (Online service); Zhang, Lin.
(書目-電子資源)
Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
by:
(1998 :); Kermarrec, Yvon.; Kordon, Fabrice.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for embedded distributed systemshow to master the complexity /
by:
Kordon, Fabrice.; Lemoine, Michel, (1947-); SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency XVI
by:
(1998 :); Kordon, Fabrice.; Koutny, Maciej.; Moldt, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Transactions on petri nets and other models of concurrency XV
by:
Kordon, Fabrice.; Koutny, Maciej.; Pomello, Lucia.; SpringerLink (Online service)
(書目-電子資源)
Reliable Software Technologies Ada-Europe 200813th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(1998 :); Kordon, Fabrice.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Data Structures and Information Theory.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Computer software
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.
Ada (Computer program language)
Computer multitasking
Computer Engineering and Networks.
Embedded computer systems.
Performance and Reliability.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Big data
Discrete Mathematics in Computer Science.
Computer Systems Organization and Communication Networks.