Texts in Theoretical Computer Science, An EATCS Series,

書目資訊

Extremal combinatorics :with applica...
Jukna, Stasys, (1953-)
Decision proceduresan algorithmic po...
Kroening, Daniel.
Petri net synthesis
Badouel, Eric.
by: Badouel, Eric.
Exact exponential algorithms
Fomin, Fedor V.
by: Fomin, Fedor V.
Graphs and algorithms in communicati...
Koster, Arie M.C.A.
Software Engineering.2,Specification...
Bjorner, Dines.
Temporal Logic and State Systems
Kroger, Fred.
Decision ProceduresAn Algorithmic Po...
Kroening, Daniel.
Software Engineering.Abstraction and...
Bjorner, Dines.
Dissemination of Information in Opti...
Bandyopadhyay, Subir.
 
 
變更密碼
登入