<図書>

Monographs in theoretical computer science : an EATCS series

子書誌情報を非表示

1 Coloured Petri nets : basic concepts, analysis methods and practical use / Kurt Jensen v. 1 : gw,v. 2 : gw,v. 2 : us. - 2nd ed. - Berlin ; New York : Springer , c1996
2 Syntax-directed semantics : formal models based on tree transducers / Zoltán Fülöp, Heiko Vogler Berlin : Springer , c1998
3 Patterns in permutations and words / Sergey Kitaev Heidelberg : Springer , c2011
4 Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa : gw,: us. - Berlin ; New York : Springer-Verlag , c1994
5 The logic of partial information / Areski Nait Abdallah : Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1995
6 Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio Berlin ; New York : Springer , 1999
7 Fundamentals of algebraic graph transformation / H. Ehrig ... [et al.] Berlin : Springer , 2006
8 Logics of specification languages / Dines Bjørner, Martin C. Henson editors Berlin : Springer , c2008
9 Stochastic coalgebraic logic / Ernst-Erich Doberkat Heidelberg : Springer , c2010

書誌詳細を非表示

出版者 Berlin : Springer
一般注記 Former volumes appeared as "EATCS monographs on theoretical computer science"
editors: W. Brauer, G. Rozenberg, A. Salomaa
本文言語 言語名不明
書誌ID 2000396639
NCID BA25559724 WCLINK

検索結果一覧に戻る ページトップ