|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus for Generic, QoS-Aware Component Composition |
Barbosa, L. S. |
2012 |
6 | 4 |
p. 475-497 |
artikel |
|
| 2 | Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems |
Liu, Jiang |
2012 |
6 | 4 |
p. 395-408 |
artikel |
|
| 3 | Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots |
Jaulin, Luc |
2012 |
6 | 4 |
p. 347-359 |
artikel |
|
| 4 | Foreword |
Ratschan, Stefan |
2012 |
6 | 4 |
p. 345 |
artikel |
|
| 5 | On Solving Parametric Polynomial Systems |
Moreno Maza, Marc |
2012 |
6 | 4 |
p. 457-473 |
artikel |
|
| 6 | Rational General Solutions of Trivariate Rational Differential Systems |
Huang, Yanli |
2012 |
6 | 4 |
p. 361-374 |
artikel |
|
| 7 | Superposition as a Decision Procedure for Timed Automata |
Fietzke, Arnaud |
2013 |
6 | 4 |
p. 409-425 |
artikel |
|
| 8 | Superposition Decides the First-Order Logic Fragment Over Ground Theories |
Kruglov, Evgeny |
2012 |
6 | 4 |
p. 427-456 |
artikel |
|
| 9 | The Non-Archimedean Theory of Discrete Systems |
Anashin, Vladimir |
2012 |
6 | 4 |
p. 375-393 |
artikel |
9 gevonden resultaten