Discrete-Time and Discrete-Space Dynamical Systems 비슷한 책 더 보기

Application and Theory of Petri Nets and Concurrency

SSA-based Compiler Design

Quantifiers and Cognition: Logical and Computational Perspectives