| 1 |
Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994
|
| 2 |
The logic of partial information / Areski Nait Abdallah
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1995
|
| 3 |
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
|
| 4 |
Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen
v. 2 : gw,v. 2 : us,v. 3 : gw. - Berlin ; Tokyo : Springer , c1995-
|
| 5 |
Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny
Berlin ; Tokyo : Springer , c2001
|
| 6 |
Theoretical aspects of local search / Wil Michiels, Emile Aarts, Jan Korst
Berlin : Springer , c2007
|
| 7 |
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
Berlin ; New York : Springer , 1999
|
| 8 |
Graph and model transformation : general framework and applications / Hartmut Ehrig ... [et al.]
Heidelberg : Springer , c2015
|
| 9 |
Words and graphs / Sergey Kitaev, Vadim Lozin
Cham : Springer , c2015
|
| 10 |
Theory of reversible computing / Kenichi Morita
Tokyo : Springer , c2017
|
| 11 |
Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki
: hbk. - Dordrecht : Springer , c2012
|
Mendeley出力
