01436nam a2200361 i 450099100075938970753620020507173224.0950215s1958 ||| ||| | eng 0720422086 (v. 2)b10753369-39ule_instLE01301901ExLDip.to Matematicaeng511.3AMS 03B40QA9.5Curry, Haskell B.557Combinatory logic /Haskell B. Curry, Robert Feys, J. Roger Hindley, Jonathan P. Seldin ; with two sections by William CraigAmsterdam :North-Holland,1958-19722 v. ;24 cm.Studies in logic and the foundations of mathematics, ISSN 0049237XIncludes bibliographiesCombinatory logicFeys, Robertauthorhttp://id.loc.gov/vocabulary/relators/aut559Hindley, J. RogerSeldin, Jonathan P.Craig, William.b1075336923-02-1728-06-02991000759389707536LE013 03B CUR11 V.I (1958)V. 112013000021089le013-E0.00-l- 00000.i1084701728-06-02LE013 03B CUR11 V.II (1972)V. 212013000021096le013-E0.00-l- 00000.i1084702928-06-02Combinatory logic353311UNISALENTOle01301-01-95ma -engxx 0201873nam0 2200421 i 450 VAN012496820230630111257.701N978331975319520191029d2018 |0itac50 baengCH|||| |||||Reduced-Order Modeling (ROM) for Simulation and OptimizationPowerful Algorithms as Key Enablers for Scientific ComputingWinfried Keiper, Anja Milde, Stefan Volkwein editorsChamSpringer2018ix, 179 p.ill.24 cmVAN0236472Reduced-Order Modeling (ROM) for Simulation and Optimization156374165-XXNumerical analysis [MSC 2020]VANC019772MFAlgorithms for scientific computingKW:KApplications in IndustryKW:KMOR for optimizationKW:KModel ReductionKW:KModel order reductionKW:KModel order reduction for electrochemistryKW:KOptimization and ControlKW:KScientific ComputingKW:KCHChamVANL001889KeiperWinfriedVANV096396MildeAnjaVANV096397VolkweinStefanVANV096398Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-319-75319-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0124968BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1348 08eMF1348 20191029 Reduced-Order Modeling (ROM) for Simulation and Optimization1563741UNICAMPANIA02524nam0 2200565 i 450 VAN0012541720251015091302.508N978303026699820191111d2019 |0itac50 baengCH|||| |||||i e bcrStationary Diffraction by WedgesMethod of Automorphic Functions on Complex CharacteristicsAlexander Komech, Anatoli MerzonChamSpringer2019xi, 165 p.ill.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer2249VAN00234190Stationary Diffraction by Wedges : Method of Automorphic Functions on Complex Characteristics190756035J25Boundary value problems for second-order elliptic equations [MSC 2020]VANC019840MF35Q60PDEs in connection with optics and electromagnetic theory [MSC 2020]VANC029093MF78A45Diffraction, scattering [MSC 2020]VANC022471MFAutomorphic FunctionsKW:KBoundary Value ProblemsKW:KComplex Fourier TransformKW:KDiffractionKW:KDistributionsKW:KElliptic equationsKW:KFactorizationKW:KFredholm OperatorsKW:KHelmholtz EquationKW:KHolomorphic FunctionsKW:KPaley-Wiener theoremKW:KPseudo-differential OperatorsKW:KRiemann surfacesKW:KRiemann-Hilbert problemKW:KWedgepartial differential equationsKW:KCHChamVANL001889KomechAlexanderVANV096853472362MerzonAnatoliVANV096854769124Springer <editore>VANV108073650ITSOL20251017RICAhttp://doi.org/10.1007/978-3-030-26699-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00125417BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 08LNM2249 20191111 Stationary Diffraction by Wedges : Method of Automorphic Functions on Complex Characteristics1907560UNICAMPANIA