Weber, Michael.

概要

作品:	0 作品在 2 項出版品 2 種語言

書目資訊

Nominal Rigidities and Finance. by: Weber, Michael.; University of California, Berkeley., Business Administration. (書目-電子資源)

Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / by: Weber, Michael.; SpringerLink (Online service); Pol, Jaco van de. (書目-語言資料,印刷品)

Tomography of the Earth's crust = from geophysical sounding to real-time monitoring : GEOTECHNOLOGIEN Science Report No. 21 / by: Weber, Michael.; SpringerLink (Online service); Earth (Planet); Munch, Ute. (書目-電子資源)

Into great silence by: Groning, Philip, (1959-); Weber, Michael.; Pfaffli, Andres.; Guidinetti, Elda.; Evers, Frank.; Ventura Film S.A.; Cine Plus (Firm); Bavaria Film International (Firm); Zeitgeist Films.; Carthusians.; Grande Chartreuse (France) (書目-投影資料、錄影資料、電影片)

主題

Software engineering Mathematical Logic and Formal Languages. Software Engineering. Earth Sciences. Geology. Grande Chartreuse (France) Logics and Meanings of Programs. Foreign films. Films for the hearing impaired. SPIN (Computer file) Geophysics/Geodesy. Geotechnical Engineering & Applied Earth Sciences. Documentary films. Programming Languages, Compilers, Interpreters. Imaging systems in geophysics. Earth (Planet)- Crust. Carthusians. Geological cross sections. Monks. Finance. Rites and ceremonies. Computer software- Verification Computer Science. Tomography.