Monographs in theoretical computer science, an EATCS series,

書目資訊

Time-Dependent scheduling
Gawiejnowicz, Stanislaw.
by: Gawiejnowicz, Stanislaw.
Theory of reversible computing
Morita, Kenichi.
Process algebras for Petri netsthe a...
Gorrieri, Roberto.
Words and graphs
Kitaev, Sergey.
by: Kitaev, Sergey.
Modeling Time in Computing
Furia, Carlo A.
by: Furia, Carlo A.
Foundations of algebraic specificati...
Sannella, Donald.
Deterministic extraction from weak r...
Gabizon, Ariel.
Handbook of weighted automata
Droste, Manfred.
by: Droste, Manfred.
Logics of Specification Languages /
Bjorner, Dines.
UnfoldingsA Partial-Order Approach t...
Esparza, Javier.
Domain science and engineeringa foun...
Bjorner, D.
 
 
變更密碼
登入