語系: 繁體中文
說明(常見問題)
圖資館首頁
登入

Monographs in theoretical computer science,

Titles

Fundamentals of computer security /
~
Pieprzyk, Josef, (1949-)
Fundamentals of computer security /
by: Pieprzyk, Josef, (1949-)
Patterns in permutations and words /
~
Kitaev, Sergey.
Patterns in permutations and words /
by: Kitaev, Sergey.
Models and algorithms of time-depend...
~
Gawiejnowicz, Stanislaw.
Models and algorithms of time-dependent scheduling
by: Gawiejnowicz, Stanislaw.
Graph and model transformationgenera...
~
Ehrig, Hartmut.
Graph and model transformationgeneral framework and applications /
by: Ehrig, Hartmut.
Patterns in permutations and words
~
Kitaev, Sergey.
Patterns in permutations and words
by: Kitaev, Sergey.
Theoretical aspects of distributed c...
~
Nikoletseas, Sotiris.
Theoretical aspects of distributed computing in sensor networks
by: Nikoletseas, Sotiris.
Time-Dependent scheduling
~
Gawiejnowicz, Stanislaw.
Time-Dependent scheduling
by: Gawiejnowicz, Stanislaw.
Theory of reversible computing
~
Morita, Kenichi.
Theory of reversible computing
by: Morita, Kenichi.
Process algebras for Petri netsthe a...
~
Gorrieri, Roberto.
Process algebras for Petri netsthe alphabetization of distributed systems /
by: Gorrieri, Roberto.
Words and graphs
~
Kitaev, Sergey.
Words and graphs
by: Kitaev, Sergey.
Modeling Time in Computing
~
Furia, Carlo A.
Modeling Time in Computing
by: Furia, Carlo A.
Foundations of algebraic specificati...
~
Sannella, Donald.
Foundations of algebraic specification and formal software development
by: Sannella, Donald.
Deterministic extraction from weak r...
~
Gabizon, Ariel.
Deterministic extraction from weak random sources
by: Gabizon, Ariel.
Handbook of weighted automata
~
Droste, Manfred.
Handbook of weighted automata
by: Droste, Manfred.
Logics of Specification Languages /
~
Bjorner, Dines.
Logics of Specification Languages /
by: Bjorner, Dines.
UnfoldingsA Partial-Order Approach t...
~
Esparza, Javier.
UnfoldingsA Partial-Order Approach to Model Checking /
by: Esparza, Javier.
Domain science and engineeringa foun...
~
Bjorner, D.
Domain science and engineeringa foundation for software development /
by: Bjorner, D.
 
 
變更密碼
登入