02530nam0 22005173i 450 VAN022617820230605095434.640N978303042428220211013d2020 |0itac50 baengCH|||| |||||Computational Biomechanics for MedicineSolid and Fluid Mechanics for the Benefit of PatientsKarol Miller …et al.] editorsChamSpringer2020viii, 200 p.ill.24 cmVAN0226179Computational Biomechanics for Medicine : Solid and Fluid Mechanics for the Benefit of Patients297888776-XXFluid mechanics [MSC 2020]VANC019858MF92-XXBiology and other natural sciences [MSC 2020]VANC020839MF74-XXMechanics of deformable solids [MSC 2020]VANC022466MF92C42Systems biology, networks [MSC 2020]VANC029020MF92C10Biomechanics [MSC 2020]VANC030904MFBiomechanicsKW:KComputational biomechanics modelsKW:KComputational methodsKW:KComputer-aided surgeryKW:KComputer-aided surgery and diagnostic systemsKW:KComputer-integrated medicineKW:KPhysics-based medical image analysisKW:KSystems biologyKW:KCHChamVANL001889MillerKarolVANV183906International Conference on Medical Image Computing and Computer Assisted Intervention22.2019Shenzhen, ChinaVANV190035SpringereditoreVANV108073Springer ViewegSpringer <editore>VANV228239Springer TelosSpringer <editore>VANV108074Springer FachmedienSpringer <editore>VANV108075Springer SpektrumSpringer <editore>VANV226738Springer, JuliusSpringer <editore>VANV230226ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-42428-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0226178BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4189 08eMF4189 20211013 Computational Biomechanics for Medicine2978887UNICAMPANIA02570nam0 2200493 i 450 VAN0012345020240806100813.560N978981105098520190920d2017 |0itac50 baengSG|||| |||||ˆA ‰Course on Basic Model TheoryHaimanti Sarbadhikari, Shashi Mohan SrivastavaSingaporeSpringer2017xix, 291 p.ill.24 cmall'inventario corrispondono gli e-books dell'annata 2017 del pacchetto Springer in Mathematics and Statistics (inv. da eMF 513 a eMF 973)IT-IT-CE0120 CONSebooksVAN00235334ˆA ‰Course on Basic Model Theory156051403-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C35Categoricity and completeness of theories [MSC 2020]VANC024492MF03C50Models with special properties (saturated, rigid, etc.) [MSC 2020]VANC024446MF03C60Model-theoretic algebra [MSC 2020]VANC023964MF12L12Model theory of fields [MSC 2020]VANC029286MFAlgebraKW:KForking IndependenceKW:KLöwenheim–Skolem TheoremKW:KMathematical logicKW:KMinimal and O-Minimal TheoriesKW:KModel theoryKW:KMonster ModelKW:KMorley Categoricity TheoremKW:KStable TheoriesKW:KSGSingaporeVANL000061SarbadhikariHaimantiVANV094863766796SrivastavaSashi MohanVANV039869441017Springer <editore>VANV108073650ITSOL20250314RICAhttp://doi.org/10.1007/978-981-10-5098-5http://doi.org/10.1007/978-981-10-5098-5http://doi.org/10.1007/978-981-10-5098-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethNVAN00123450BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS ebooks 08DMF460 20191107 all'inventario corrispondono gli e-books dell'annata 2017 del pacchetto Springer in Mathematics and Statistics (inv. da eMF 513 a eMF 973)BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0513 08eMF513 20190920 Course on Basic Model Theory1560514UNICAMPANIA