01105nam a2200313 i 450099100126914970753620020507190336.0930929s1977 de ||| | eng 3540079114b10824054-39ule_instLE01309643ExLDip.to Matematicaeng511.3AMS 03FSchutte, Kurt346092Proof theory /Kurt Schutte ; transl. by J. N. Crossley1st ed. 1960Berlin :Springer-Verlag,1977xii, 302 p. ;24 cm.Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics,0072-7830 ;225Transl. from germanProof theoryCrossley, John N..b1082405423-02-1728-06-02991001269149707536LE013 03F SCH11 (1977)12013000075006le013-E0.00-l- 00000.i1093171528-06-02Beweistheorie34430UNISALENTOle01301-01-93ma -engde 0101808cam a2200289Ia 4500991001512159707536070802s2007 ne a sb 001 0 eng d9780123705969b14026235-39ule_instDip.to Ingegneria dell'Innovazioneeng610.28 Preim, Bernhard476243Visualization in medicine :theory, algorithms, and applications /Bernhard Preim, Dirk BartzAmsterdam :Morgan Kaufmann,2007xxiii, 652 p. :ill. (some col.) ;25 cmIncludes bibliographical references and indexIntroduction; Chapter 2: Acquisition and Interpretation of Medical Volume Data; Chapter 3: Medical Volume Data in Clinical Practice; Chapter 4: Image Analysis for Medical Visualization; Chapter 5: Exploration of Time Varying Data; Chapter 6: Transfer Function Specification; Chapter 7: Clipping, Cutting and Virtual Resection; Chapter 8: Measurements in Medical Visualization; Chapter 9: Visualization of Anatomic Tree Structures; Chapter 10: Emphasis Techniques in Medical Visualization; Chapter 11: Exploration of MR Diffusion Tensor Images; Chapter 12: Image Analysis and Visualization for Liver Surgery Planning.Diagnostic imagingMedicineData processingRadiology, MedicalData processingBartz, Dirkauthorhttp://id.loc.gov/vocabulary/relators/aut731864.b1402623528-01-1429-11-11991001512159707536LE026 610.28 PRE 01.01 200712026000059990le026Prof. De Paolis / BibliotecapE64.58-l- 43030.i1535338229-11-11Visualization in medicine1441944UNISALENTOle02624-03-10ma -engne 00