1 |
Time-dependent scheduling / Stanislaw Gawiejnowicz
Berlin : Springer , c2008
|
2 |
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
: pbk. - Berlin ; New York : Springer , 1999
|
3 |
Handbook of weighted automata / Manfred Droste, Werner Kuich, Heiko Vogler editors
Berlin : Springer , c2009
|
4 |
Stochastic coalgebraic logic / Ernst-Erich Doberkat
Heidelberg : Springer , c2010
|
5 |
Logics of specification languages / Dines Bjørner, Martin C. Henson editors
Berlin : Springer , c2008
|
6 |
Patterns in permutations and words / Sergey Kitaev
Heidelberg : Springer , c2011
|
7 |
Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki
: hbk. - Dordrecht : Springer , c2012
|
8 |
Modeling time in computing / Carlo A. Furia ... [et al.]
Berlin : Springer , c2012
|
9 |
Fault-tolerant search algorithms : reliable computation with unreliable information / Ferdinando Cicalese
Heidelberg : Springer , c2013
|
10 |
Words and graphs / Sergey Kitaev, Vadim Lozin
Cham : Springer , c2015
|
11 |
Graph and model transformation : general framework and applications / Hartmut Ehrig ... [et al.]
Heidelberg : Springer , c2015
|
12 |
Models and algorithms of time-dependent scheduling / Stanisław Gawiejnowicz
2nd ed. - Berlin : Springer , c2020
|
13 |
Process algebras for petri nets : the alphabetization of distributed systems / Roberto Gorrieri
Cham : Springer , c2017
|
14 |
Theory of reversible computing / Kenichi Morita
Tokyo : Springer , c2017
|
15 |
Domain science and engineering : a foundation for software development / Dines Bjørner
Cham : Springer , c2021
|