|  | | | | | | | Bild | | | | | Bestellen | | | |
Computer Aided Verification (1 Angebot) 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II |
1 |
Springer Verlag 9783031131875 |
€ 39,99*
pro Stück |
| |
|
1 |
Springer Verlag 9783031377020 |
€ 39,99*
pro Stück |
| |
|
1 |
Springer Verlag 9783031377051 |
€ 39,99*
pro Stück |
| |
Computer Aided Verification (1 Angebot) 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III |
1 |
Springer Verlag 9783031377082 |
€ 39,99*
pro Stück |
| |
Computer Aided Verification (1 Angebot) 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I |
1 |
Springer Verlag 9783031656262 |
€ 39,99*
pro Stück |
| |
Computer Aided Verification (1 Angebot) 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II |
1 |
Springer Verlag 9783031656293 |
€ 39,99*
pro Stück |
| |
Computer Aided Verification (1 Angebot) 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III |
1 |
Springer Verlag 9783031656323 |
€ 39,99*
pro Stück |
| |
|
1 |
Springer Verlag 9783540262961 |
€ 49,99*
pro Stück |
| |
Computer Algebra and Parallelism (1 Angebot) This book contains papers presented at a workshop on the use of parallel techniques in symbolic and algebraic computation held at Cornell University in May 1990. The eight papers in the book fall i... |
1 |
Springer Verlag 9783540553281 |
€ 49,99*
pro Stück |
| |
|
1 |
Springer Verlag 9783319150802 |
€ 48,00*
pro Stück |
| |
Computer Algebra in Scientific Computing (1 Angebot) On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems.- Computing the Betti Numbers of Arrangements in Practice.- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenval... |
1 |
Springer Verlag 9783540289661 |
€ 49,99*
pro Stück |
| |
Computer Algebra in Scientific Computing (1 Angebot) The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebr... |
1 |
Springer Verlag 9783030268305 |
€ 49,99*
pro Stück |
| |
Computer Algebra in Scientific Computing (1 Angebot) This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presen... |
1 |
Springer Verlag 9783319105147 |
€ 49,99*
pro Stück |
| |
|
1 |
Springer Verlag 9783319240206 |
€ 49,99*
pro Stück |
| |
Computer Algebra in Scientific Computing (1 Angebot) Chapter "Positive Solutions of Systems of Signed Parametric Polynomial Inequalities" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
1 |
Springer Verlag 9783319996387 |
€ 64,99*
pro Stück |
| |
|
