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

Jensen, Kurt.

概要

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

書目資訊

Transactions on petri nets and other models of concurrency VI by: Jensen, Kurt.; SpringerLink (Online service) (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency V by: Donatelli, Susanna.; SpringerLink (Online service); Jensen, Kurt.; Kleijn, Jetty. (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency III by: SpringerLink (Online service); Billington, Jonathan.; Koutny, Maciej.; Jensen, Kurt. (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency I by: Jensen, Kurt.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Billington, Jonathan.; Aalst, Wil M. P. (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency VII by: Jensen, Kurt.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (書目-語言資料,印刷品)

主題

Software Engineering. Petri nets Algorithm Analysis and Problem Complexity. Computer Communication Networks. Simulation and Modeling. System Performance and Evaluation. Multitasking (Computer science) Theory of Computation. Computer Science. Computer Science, general. Programming Techniques. Computer multitasking Parallel processing (Electronic computers) Programming Languages, Compilers, Interpreters. Models and Principles. Mathematical Logic and Formal Languages. Computer science Logics and Meanings of Programs. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics)