Αποτελέσματα για "validated numerics" Εμφανίζονται 1 - 10 Αποτελέσματα από 10 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22validated+numerics%22&type=AllFields&lng=el 10 0 50 Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / Fri, 01 Jan 2016 16:17:48 +0200 https://find.library.upatras.gr/Record/978-3-662-53413-7 https://find.library.upatras.gr/Record/978-3-662-53413-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 External Thermal Insulation Composite Systems (ETICS) An Evaluation of Hygrothermal Behaviour / Fri, 01 Jan 2016 16:17:48 +0200 https://find.library.upatras.gr/Record/978-3-319-20382-9 https://find.library.upatras.gr/Record/978-3-319-20382-9 Barreira, Eva Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Barreira, Eva 0 Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers / Fri, 01 Jan 2016 16:17:48 +0200 https://find.library.upatras.gr/Record/978-3-319-31769-4 https://find.library.upatras.gr/Record/978-3-319-31769-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 The Parameterization Method for Invariant Manifolds From Rigorous Results to Effective Computations / Fri, 01 Jan 2016 16:17:48 +0200 https://find.library.upatras.gr/Record/978-3-319-29662-3 https://find.library.upatras.gr/Record/978-3-319-29662-3 Haro, Àlex Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Haro, Àlex 0 Design, construction and performance evaluation of a new laboratory convective dryer Tue, 01 Jan 2013 16:17:48 +0200 https://find.library.upatras.gr/Record/nemertes-10889-6257 https://find.library.upatras.gr/Record/nemertes-10889-6257 Tzempelikos, Dimitrios Conference (paper) 2013 Tzempelikos, Dimitrios 0 Macroeconomic Analysis and Economic Policy Based on Parametric Control Sun, 01 Jan 2012 16:17:48 +0200 https://find.library.upatras.gr/Record/978-1-4614-1153-6 https://find.library.upatras.gr/Record/978-1-4614-1153-6 Ashimov, Abdykappar A. Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 Ashimov, Abdykappar A. 0 Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Context / Fri, 01 Jan 2010 16:17:48 +0200 https://find.library.upatras.gr/Record/978-90-481-3239-3 https://find.library.upatras.gr/Record/978-90-481-3239-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Tree Rings and Natural Hazards A State-of-Art / Fri, 01 Jan 2010 16:17:48 +0200 https://find.library.upatras.gr/Record/978-90-481-8736-2 https://find.library.upatras.gr/Record/978-90-481-8736-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Symbolic, algebraic and Validated numerical computation Dagstuhl-Seminar-Report; 43 03.08.-07.08.92(9232) https://find.library.upatras.gr/Record/86358 https://find.library.upatras.gr/Record/86358 Βιβλίο 0 Scientific computing, validated numerics, interval methods Mon, 01 Jan 2001 16:17:48 +0200 https://find.library.upatras.gr/Record/33270 https://find.library.upatras.gr/Record/33270 Βιβλίο 2001 0