Formal verification of a processor with virtual memory support devices
Dallinger, Jakob, 2006, Candidate of Sciences dissertation
- 05.00.00 Engineering
Saarland University, Saarbrücken
152 pp.
More works in this specialty
- Feasibility of the use of carriers for improving activated sludge treatment at low temperatures: with reference to wastewater in areas with a cold climate
Mityushkina, Ekaterina · 2003 · École Centrale Paris
- 05.00.00 Engineering
- Development and study of a pneumohydraulic amplifier for clutch control drive of a heavy-duty truck
Logvinov, Valeriy Pavlovich · 2001 · Candidate of Sciences · Kharkiv State Automobile and Highway Technical University
- 05.00.00 Engineering
- A method for identification of a complex control object using a model of the variance of an aggregated variable
Filatova, Darya Vyacheslavovna · 2000 · Candidate of Sciences
- 05.00.00 Engineering
- Lava-like fuel-containing masses of Unit 4 of the Chernobyl Nuclear Power Plant: Physicochemical properties, formation scenario, environmental impact
Pazukhin, Eduard Mikhailovich · 1999 · Doctor of Sciences
- 05.00.00 Engineering
- Instability of sterically stabilized suspensions
Ur'eva, Galina · 1999 · Candidate of Sciences · Katholieke Universiteit Leuven
- 05.00.00 Engineering