Weber, Michael.
Overview
| Works: | 0 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Nominal Rigidities and Finance.
by:
Weber, Michael.; University of California, Berkeley., Business Administration.
(Electronic resources)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
Pol, Jaco van de.; Weber, Michael.; SpringerLink (Online service)
(Language materials, printed)
Tomography of the Earth's crust = from geophysical sounding to real-time monitoring : GEOTECHNOLOGIEN Science Report No. 21 /
by:
Weber, Michael.; Munch, Ute.; SpringerLink (Online service); Earth (Planet)
(Electronic resources)
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)
(Projected and video material)
Subjects
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.