|
|
Fulltext
|
| Sequences and Their Applications -- SETA 2012 |
- isbn : 978-3-642-30615-0
- pisbn : 978-3-642-30614-3
|
Fulltext
|
| Integrated Formal Methods |
- pisbn : 978-3-642-30728-7
- isbn : 978-3-642-30729-4
|
Fulltext
|
| Experimental Algorithms |
- pisbn : 978-3-642-30849-9
- isbn : 978-3-642-30850-5
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Analytical and Stochastic Modeling Techniques and Applications |
- pisbn : 978-3-642-30781-2
- isbn : 978-3-642-30782-9
|
Fulltext
|
| Formal Techniques for Distributed Systems |
- pisbn : 978-3-642-30792-8
- isbn : 978-3-642-30793-5
|
Fulltext
|
| The Multivariate Algorithmic Revolution and Beyond |
- pisbn : 978-3-642-30890-1
- isbn : 978-3-642-30891-8
|
Fulltext
|
| Abstract State Machines, Alloy, B, VDM, and Z |
- pisbn : 978-3-642-30884-0
- isbn : 978-3-642-30885-7
|
Fulltext
|