Informatik (14.427 Artikel)

The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Ita...

The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Ita...

4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

A Parallel Hybrid Highly Accurate Elliptic Solver for Viscous Flow Problems.- Adaptively Defined Cartesian Grid Generation and Euler Flow Solutions for Arbitrary Geometries.- Combined Finite Volume...

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August ...

Invited Papers.- Forgivable Variational Crimes.- An Introduction to the Theory of Plausible and Paradoxical Reasoning.- Comparison of Ten Methods for the Solution of Large and Sparse Linear Algebra...

9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International W...

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the...

Since the dawn of computing, the quest for a better understanding of Nature has been a driving force for technological development. Groundbreaking achievements by great scientists have paved the wa...

To our sons, Mike, Andrew, Alex, who did not inherit their fathers' level of interest in applied mechanics, but who became sophisticated in software development and in this regard surpassed their p...

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2...