01947nam2 22004213i 450 VAN026435020231215113941.401N978366209058920231003f |0itac50 baengDE|||| |||||ˆ3.: ‰Model TheoryHeinz-Dieter Ebbinghaus (Editor) BerlinSpringer1987XLV, 617 p.ill.24 cm001VAN02643462001 Ω-bibliography of mathematical logicEdited by Gert H. MüllerIn Collaboration with Wolfgang Lenski210 BerlinSpringer215 volumiill.24 cm303-XXMathematical logic and foundations [MSC 2020]VANC019750MF00A15Bibliographies for mathematics in general [MSC 2020]VANC022111MF03CxxModel theory [MSC 2020]VANC024387MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03H15Nonstandard models of arithmetic [MSC 2020]VANC024402MFComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KBerlinVANL000066EbbinghausHeinz-DieterVANV024409Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267ITSOL20240614RICAhttps://doi.org/10.1007/978-3-662-09058-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0264350BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6930 08eMF6930 20231023 Model theory343740UNICAMPANIA02289nam 2200457z- 450 991055739630332120220111(CKB)5400000000041934(oapen)https://directory.doabooks.org/handle/20.500.12854/76869(oapen)doab76869(EXLCZ)99540000000004193420202201d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierQualitative Analysis of Food ProductsBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20211 online resource (76 p.)3-0365-1846-0 3-0365-1845-2 Qualitative control and analysis of food products is a requirement for food industries, both in terms of quality assurance and food safety management systems. Analysis of foods is continuously requiring the development of more robust, efficient, sensitive, and cost-effective analytical methodologies to guarantee the safety, quality, authenticity, and traceability of foods in compliance with legislation and consumers' demands.Different analyses include microbiological and chemical analyses, from simple to complex, from old to modern technologies. Hence, fundamental and/or state-of-the-art methods of the development, optimization, and practical implementation in routine laboratories, and validation of these methods for the monitoring of food safety and quality, are employed. Methodologies for food microbial contaminants, food chemistry and toxicology, food quality, food authenticity, and food traceability have been presented and discussed in this Special Issue.Technology: general issuesbicsscauthenticitychemicalchemometricscontrolfoodFoodomicsmicrobiologicalqualitysafetystatisticalTechnology: general issuesVarzakas Theodorosedt1126746Varzakas TheodorosothBOOK9910557396303321Qualitative Analysis of Food Products3023588UNINA