{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":45,"n_cols":5,"rows_kept":45,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[12,2,12,3],[13,2,13,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[38,2,38,3],[39,2,39,3],[42,2,42,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996418257403316"]
[null,null,"Titolo",null,"Handbook of Mathematical Analysis in Mechanics of Viscous Fluids [[electronic resource] /] / edited by Yoshikazu Giga, Antonin Novotny"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020"]
[null,null,"ISBN",null,"3-319-10151-X"]
[null,null,"Disciplina",null,"515"]
[null,null,"Soggetti",null,"Mathematical analysis"]
[{"$nulls":4},"Analysis (Mathematics)"]
[{"$nulls":4},"Mathematical physics"]
[{"$nulls":4},"Fluids"]
[{"$nulls":4},"Analysis"]
[{"$nulls":4},"Mathematical Physics"]
[{"$nulls":4},"Fluid- and Aerodynamics"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Part 0 Derivation of Equations for incompressible and compressible fluids -- Modeling -- Part I Incompressible fluids -- Stokes approximation -- Steady viscous Newtonian fluids -- Unsteady viscous Newtonian fluids -- Regularity of nonstationary Navier-Stokes flow -- Mathematical theory for turbulence -- Incompressible fluids with various effects -- Free boundary problems -- Part II Compressible Fluids -- Equations and various concepts of solutions in the thermodynamics of compressible fluids -- Solutions for the one dimensional flows in the non steady case -- Global existence of weak solutions in several dimensions and their qualitative properties -- Regularity theory in the multidimensional non steady case -- Existence theory for the compressible steady flows -- Scale analysis and hydrodynamic limits within the equations of compressible fluids -- Examples of coupled systems including compressible fluids.-."]
[null,null,null,"Sommario/riassunto","Mathematics has always played a key role for researches in fluid mechanics. The purpose of this handbook is to give an overview of items that are key to handling problems in fluid mechanics. Since the field of fluid mechanics is huge, it is almost impossible to cover many topics. In this handbook, we focus on mathematical analysis on viscous "]
[{"$nulls":4},"Newtonian fluid. The first part is devoted to mathematical analysis on incompressible fluids while part 2 is devoted to compressible fluids."]
[null,"2.","Record Nr.",null,"UNINA9910483716303321"]
[null,null,"Titolo",null,"Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / / edited by Manuel Serrano, Jurriaan Hage"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"3-319-39110-0"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VII, 157 p. 22 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 9547"]
[null,null,"Disciplina",null,"005.114"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to "]
[{"$nulls":4},"the symposium."]