|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithmic Approach for Formal Fourier Series |
Koepf, Wolfram |
2014 |
9 | 3 |
p. 365-389 |
artikel |
|
| 2 | Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems |
Hagemann, Willem |
2015 |
9 | 3 |
p. 283-325 |
artikel |
|
| 3 | Foreword to the Special Focus on Constraints and Combinations |
Fontaine, Pascal |
2015 |
9 | 3 |
p. 265 |
artikel |
|
| 4 | On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems |
Fukasaku, Ryoya |
2015 |
9 | 3 |
p. 267-281 |
artikel |
|
| 5 | On the Optimal Triangulation of Convex Hypersurfaces, Whose Vertices Lie in Ambient Space |
Wintraecken, M. H. M. J. |
2014 |
9 | 3 |
p. 345-353 |
artikel |
|
| 6 | Partitioning the Meandering Curves |
Panayotopoulos, A. |
2015 |
9 | 3 |
p. 355-364 |
artikel |
|
| 7 | Variable and Clause Elimination for LTL Satisfiability Checking |
Suda, Martin |
2015 |
9 | 3 |
p. 327-344 |
artikel |
7 gevonden resultaten