MECHANISTISCHE UNTERSUCHUNGEN ZUR OLEFINISOMERISIERUNG AN P-ALUMINIUMOXID (DOPPELVERBINDUNGS- UND CIS-TRANS-ISOMERISIERUNG VON 2,3-DIMETHYL-1-BUTEN UND 4,4-DIMETHYL-PENTENEN)
DAUTZENBERG, DIRK
1979. 187 S..

Mechanistische Untersuchungen zur Olefinisomerisierung an yyy -Aluminiumoxid: (Doppelverbindungs- u. Cis-trans-Isomerisierung von 2,3-Dimethyl-i-buten u. 4,4-Dimethyl-pentenen)
Dautzenberg, Dirk
München. 1979. 187 S. : zahlr. graph. Darst..

Mechanistische Untersuchungen zur Photochemie von Divinylethern in Lösung
Berkessel, Albrecht
1985. 2 Mikrofiches : 1:24.

Mechanistische Untersuchungen zur photochemischen und elektronentransfer-induzierten Stickstoffabspaltung aus cyclischen Azoalkanen
Sendelbach, Jürgen
Würzburg. 1993. 3 Mikrofiches.

Mechanistische Untersuchungen zur Polymerisation von Methylmethacrylat mit zirkoniumbasierten Übergangsmetallkatalysatoren
Schulte, Michael
2004. VI, 118 Bl. : graph. Darst..

Mechanistische Untersuchungen zur Reaktion ligandenfreier und Liganden enthaltender Übergangs-Ionen in der Gasphase
Karraß, Sigurd.
145 S..

Mechanistische Untersuchungen zur Reaktion ligandenfreier und Liganden enthaltender Übergangsmetall-Ionen in der Gasphase
Karraß, Sigurd
1994. 145 Bl. : graph. Darst..

Mechanistische Untersuchungen zur Reaktion von Arylboronsaeureestern mit Diolen
Salehnia, Mohammad
1986. 118 S..

Mechanistische Untersuchungen zur Reaktivität von metallorganischen Verbindungen
Dücker-Benfer, Carlos Heinrich
1996. 135 S. : graph. Darst..

Mechanistische Untersuchungen zur Rolle von at-Komplexen in Lithium-Halogen-Austauschreaktionen
Sommer, Knut.
IX, 96 S..

Mechanistische Untersuchungen zur selektiven Oxidation von Alkylaromaten an V2O5/TiO2-Katalysatoren
Freitag, Corinna
Als Ms. gedr. Berlin. dissertation.de - Verl. im Internet GmbH. 2004. XI, 158 S.. Dissertation.de ; 781.
ISBN 3-89825-681-2 Pb. : EUR 43.00

Mechanistische Untersuchungen zur Sonolyse organischer Verbindungen in wäßriger Lösung
Tauber, Armin,
Mülheim an der Ruhr. Max-Planck-Inst. für Strahlenchemie,. 1998.. IV, 161 S..

Mechanistische Untersuchungen zur Spaltung von Oligodesoxynukleotiden durch die Restriktionsendonuklease EcoR 1
Alves, Jürgen
1984. 175 S. : graph. Darst..

Mechanistische Untersuchungen zur Spaltung von Oligodesoxynukleotiden durch die Restriktionsendonuklease EcoRI
Alves, Jürgen
1984. 175 S. : graph. Darst..

Mechanistische Untersuchungen zur Stabilität unsymmetrischer Disulfide des Cysteins unter sauren Bedingungen: ein Beitrag zur Eignung von Alkylthio-Gruppen für den selektiven Schutz der Cystein-Thiolfunktion
Haupt, Renate
1983. 70, 4 Bl..

Mechanistische Untersuchungen zur Stabilität unsymmetrischer Disulfide des Cysteins unter sauren Bedingungen - Ein Beitrag zur Eignung von Alkylthio-Gruppen für den selektiven Schutz der Cystein-Thiolfunktion
Haupt, Renate
70 S..

Mechanistische Untersuchungen zur Stereochemie bei der Oxidation von Vinyl-Metall-Verbindungen
Husemann, Marc.
115 S..

Mechanistische Untersuchungen zur Therapie von Multipler Sklerose am Beispiel der experimentellen autoimmunen Encephalomyelitis
Tischner, Denise
2007. 143 Bl..

Mechanistische Untersuchungen zu selektiven Oxidationsreaktionen an Silbervollkatalysatoren im Temporal-Analysis-of-Products-Reaktor
Veen, Andre Cornelis van
Als Ms. gedr.. Berlin. dissertation.de. 2001. XII, 158 S.. dissertation.de ; 313.
ISBN 3-89825-213-2 Pb. : DM 69.00

Mechanistische Untersuchung und Modellierung der Kathodenreaktion in Karbonatbrennstoffzellen (MCFC)
Bednarz, Marc
2002. X, 118 BL.

Mechanistische Untersuchung zur Reaktion von Arylboronsäureestern mit Diolen
Salehnia, Mohammad
Düsseldorf. 1986. 1 MFiche..

Mechanizace a chemizace v ochrane rostlin
DvoÏrák, ...
Praha. Státni ZemÏed. Naklad. 1961. 272 S..

Mechanizace a stavby u drubeÏze
MatuÏsoviÏc, FrantiÏsek ; Musil, FrantiÏsek ; TuláÏcek, FrantiÏsek
Praha. Státní zemÏed. nakl.. 1970. 348 S..

Mechanizacija doenija i perviÏcnoj obrabotki moloka
Babkin, V. P.
Moskva. Izd. Kolos. 1970. 181 S..

Mechanizacija gornych rabot: sbornik nauÏcnych trudov
KorÏsunov, A. N.
Kemerovo. 1993. 72 S..
ISBN 5-230-18883-9

Mechanizacija gornych rabot: meÏzvuzovskij sbornik nauÏcnych trudov
Katanov, B. A.
Kemerovo. 1996. 123 S..
ISBN 5-230-18953-3

Mechanizacija i avtomatizacija geodeziÏceskich, topografiÏceskich i kartografiÏceskich rabot: obzornaja informacija
Moskva. CNIIGAiK,. 1983-..

Mechanizacija i avtomatizacija gornych rabot na Ïsachtach: sbornik nauÏcnych trudov
Brenner, V. A.
Tula. 1993. 88 S..
ISBN 5-230-25966-3

Mechanizacija i avtomatizacija processov promyÏslennogo rybolovstva
Karpenko, Vasilij P. ; Torban, Samuil S.
Moskva. "Agropromizdat". 1990. 463 S.. UÏcebniki i uÏcebnye posobija dlja studentov vysÏsich uÏcebnych zavedenij.
ISBN 5-10-001212-9

Mechanizacija i elektrifikacija sel'skogo chozjajstva
Okorokov, N. I. ; Baranov, V. V. ; Semenov, V. M.
Moskva. Sel'chozizdat. 1962. 415 S..

Mechanizacija i kompleksnaja avtomatizacija gornych rabot na Ïsachtach: sbornik nauÏcnych trudov
Brenner, V. A.
Tula. 1995. 106 S..
ISBN 5-230-26060-2

Mechanizacija i kompleksnaja avtomatizacija gornych rabot na Ïsachtach: sbornik nauÏcnych trudov
Vrenner, V. A.
Tula. 1994. 105 S..
ISBN 5-230-25988-4

Mechanizacija ir elektrifikacija: mokslo darbai
Vilnius. Mokslas. 1989.

Mechanizacija i technologija prozvodstva produkcii Ïzivotnovodstva
Koba, Viktor Grigor½eviÏc
Moskva. Kolos. 1999. 525 S.. UÏcebniki i uÏcebnye posobija dlja studentov vysÏsich uÏcebnych zavedenij.
ISBN 5-10-002870-x

Mechanizacija moloÏcno-tovarnich ferm i kompleksiv
ÏCubov, Dmitrij S. ; Avramenko, O. A.
vid. 3., dop. i pererob.. Kiiv. UroÏzaj. 1981. 326 S..

Mechanizacija obrabotki poÏcvy i poseva v NeÏcernozemnoj zone
Vajnrub, Vladimir I. ; Doganovskij, M. G.
Moskva. Rosel'chozizdat. 1977. 189 S..

Mechanizacija polipÏsennja prirodnich kormovich ugid'
Prokopenko, Dmitrij D.
Kiiv. Vid. "UroÏzaj". 1977. 117 S..

Mechanizacija procesiv udobrennja gruntu ta zachistu roslin
Kiiv. Vid. "UroÏzaj". 1970. 146, 6 S. ; 8-o. Mechanizacija i elektrifikacija sil's'kogo gospodarstva ; Vip. 14.

Mechanizacija proizvodstvennych processov na MTF
Kaplan, Rafael M. ; Vavilin, Dmitrij V. ; Gamburg, Efim M.
Alma-Ata. Kazachskoe Gos. Izd.. 1958. 172 S..

Mechanizacija rabot na krupnych pticevod#ceskich fermach v kapitalistiÏceskich stranach
Vortel, JiÏri ; LukeÏsova, Nina ; Gabr, Jaroslav
Praha. 1966. 133 S..

Mechanizacija rabot na transportnom stroitel'stve
Fedoruk, Nikolaj M. ; Sokolov, Vitalij N.
1 Aufl.. Moskva. Transport. 1973. 286 S..

Mechanizacija rabot nulevogo cikla: sbornik nauÏcnych trudov
Kogan, V. L.
Ufa. 1992. 64 S..
ISBN 5-900630-05-6

Mechanizacija reÏcnogo ozernogo i morskogo rybolovstva
Borisov, Nikolaj I.
Moskva. PiÏsÏcepromizdat. 1961. 426 S..

Mechanizacija robit po udobrennju gruntu i zachistu roslin
Kiiv. Vid. "UroÏzaj". 1969. 147,8 S. ; 8-o. Mechanizacija i elektrifikacija sil's'kogo gospodarstva ; Vip. 11.

Mechanizacija sel½skochozjajstvennogo proizvodstva Severo-Zapada RSFSR: meÏzvuzovskij sbornik
DruÏzinin, V. A.
Petrozavodsk, . 1987.. 113 S..

Mechanizacija stroitel½nogo proizvodstva: rel½sovye puti baÏsennych kranov
Moskva. GUP CPP. 1998. 43 S.. Stroitel½nye normy i pravila, SNiP ; 3.08.01-85.
ISBN 5-88111-191-5

Mechanizacija technologiÏceskich processov zaÏsÏcity rastenij: sbornik nauÏcnych trudov
GolyÏsin, N. M.
Moskva. VO Agropromizdat. 1991. 174 S..
ISBN 5-10-001992-1

Mechanizacija vnesenija udobrenij
Doganovskij, Michail G. ; Kozlovskij, Evgenij V.
izd. 2., pererab. i dop.. Leningrad. "Kolos" Leningradskoe otd.. 1976. 319 S..

Mechanizacija vyemki uglja pri razrabotke tonkich krutych plastov
TopÏciev, Aleksej V.
Moskva. Gosgortechizdat. 1960.

Mechanizacija zaÏsÏcity rastenij
Dunaj, Nikolaj F. ; Rjabcev, Grigorij A. ; Slobodjuk, Petr I.
Moskva. Kolos. 1979. 269 S..

Mechanizacja Budownictwa.
Warszawa. Wydawnictwa Czasopism Technicznych NOT.

Mechanizacja ogrodnictwa: Podrecznik dla techników ogrodniczych
Baloniak, M. ; Janiszewski, T. ; Viscardi, K.
Warszawa. Panstw. Wyd. Rolnicze i LeÂsne. 1964. 495 S..

Mechanizacja procesów urabiania i adowania: prace naukowe
B eben, A. ¬[Hrsg.]¬
Wroc aw. 1984. 372 S.. Problemy urabiania i przeróbki ska ; 4.

Mechanizacja rolnictwa: maszyny i urzÑadzenia do produkcji roÂslinnej i zwierzÑecej
Kuczewski, Józef ; Waszkiewicz, Czeslaw
Wyd. 3, zmienione i uzupelnione. Warszawa. Wydawn. SGGW. 1997. 551 S..
ISBN 83-00-03106-5

Mechanizacja rolnictwa jako zagadnienie badaÂn statycznych: - engl. summary: Farm mechanization as a problem of statistical investigation
Borowski, Stanislaw
1956.

Mechanizacja uprawy kukurdzy
Borewicz, W. ; Dluski, S.
Warszawa. Panstw. Wyd. Roln. i LeÂsne. 1961. 85 S..

Mechanizacja uprawy kukurydzy
Borewicz, W. ; Dluski, S.
Warszawa. Panstw. Wyd. Roln. i LeÂsne. 1962. 87 S..

Mechanizacja w kólkach rolniczych: Dobór maszyn koncentracja kalkulacja kadry zaplecze techniczne
Dziedzic, Wojciech ; Markiewicz, Jerzy ; Stapor, Stefan
Warszawa. Panstw. Wyd. Roln. i LeÂsne. 1964. 315 S..

Mechanization and employment in Brazilian agriculture, 1950 - 1971
Sanders, John Houston
Ann Arbor, Mich.. University Microfilms International. 1974. XVII, 262 S..

Mechanization and employment in Brazilian agriculture, 1950 - 1971
Sanders, John Houston
[S.l.]. 1973. [280 S.].

Mechanization and maize: agriculture and the politics of technology transfer in East Africa
Anthony, Constance G.
New York [u.a.]. Columbia Univ. Press. 1988. XIV, 178 S.. The political economy of international change.
ISBN 0-231-06596-5

Mechanization and manpower in gray-iron foundries;: a study of the impact of technological change on employment in an industry where widely varying levels of technology co-exist.
Ammer, Dean S. ; DeCicco, Ernest M.
Boston, . Bureau of Business and Economic Research, Northeastern University,. 1965.. v, 234 \2113..

Mechanization and the Chilean inquilino system: the case of fundo "B"
Bray, James O.
repr.. Madison. Univ. of Wis.. 1966. S. 126 - 129, 243 - 252. LTC reprint / Land Tenure Center ; 34.

Mechanization architecture for enhancement of avionics planning data base: final report
Cotton, S. ; Gilbertson, R.
Springfield - Va. . 1979. 2 Microfiches..

MECHANIZATION, AUTOMATION, AND INCREASED EFFECTIVENESS OF THE CLINICAL LABORATORY : A STATUS REPORT BY THE AUTOMATION IN THE MEDICAL LABORATORY SCIENCES REVIEW COMMITTEE OF THE NATIONAL INSTITUTE OF GENERAL MEDICAL SCIENCES, NATIONAL INSTITUTES OF HEALTH / THOMAS D. KINNEY ..., EDS
Kinney, Thomas D.
1976 ED.. WASHINGTON, D.C.. U.S. DEPT. OF HEALTH, EDUCATION, AND WELFARE. 1977. 104 S.. DHEW PUBLICATION : (NIH) ; 78-145.

Mechanization in Indian agriculture
Agarwal
New Delhi . Allied. 1983. xvi, 290 s..

Mechanization in industry
Jerome
New York . National Bureau of Economic Research. 1934. XXXI, 484 s..

Mechanization in industry [by] Harry Jerome.
Jerome, Harry.
New York, . National Bureau of Economic Research,. 1934.. xxxi, 484 p..

¬The¬ mechanization of agriculture as a factor influencing population mobility in the developing countries: experiences in the Democratic Republic of the Sudan
Mangouri, Hassan A. el
1 Aufl.. Berlin. Reimer. 1983. V, 287 S. : Kt..
ISBN 3-496-00312-X

The mechanization of agriculture as a factor influencing population mobility in the Developing Countries: experiences in the Democratic Republic of the Sudan = Auswirkungen der Mechanisierung der Landwirtschaft auf die Bevölkerungsmobilität in Entwicklungsländern : Fallbeispiel- die Republik Sudan
El Mangouri, Hassan A.
Berlin. Reimer,. 1983.. v, 287 p..

¬The¬ mechanization of agriculture as a factor influencing population mobility in the developing countries: experiences in the Democratic Republic of the Sudan
Mangouri, Hassan A. ¬el¬
Berlin. Reimer. 1983. V, 287 S. : graph. Darst., Kt.. Institut für Anthropogeographie, Angewandte Geographie und Kartographie <Berlin, West>: Abhandlungen des Geographischen Instituts Anthropogeographie ; 35..

The mechanization of agriculture in Brazil: a sociological study of Minas Gerais
Clements, Harold M.
Gainesville, . University of Florida Press,. 1969.. ix, 92 p..

Mechanization of an oracle in a debugging system
Edman, Anneli ; Tärnlund, Sten-Ake
Uppsala. Univ., Computing Science Department. 1983. 8 Bl.. UPMAIL technical report ; 18.

Mechanization of appropriation accounting
County of San Diego. The Officer,. 1965.. 2 leaves.

Mechanization of irrigated crop production: proceedings of an expert consultation held in Adana, Turkey, 5/9 April 1976, jointly organized by the German Foundation for International Development, the Government of Turkey, the Food and Agriculture Organization of the United Nations
Rome. Food and Agriculture Organization of the United Nations. 1977. IV, 404, V. S.. FAO agricultural services bulletin ; 28.
ISBN 92-5-100254-1

Mechanization of irrigation farming in semi arid areas
Frankfurt/M.. DLG-Verl.. 1982. 238 S.. Arbeiten der Deutschen Landwirtschafts-Gesellschaft ; [N.F.], 173.
ISBN 3-7690-3117-2

Mechanization of labor and heavy work.
Washington, . Distributed by U.S. Dept. of Commerce, Office of Technical Services.. [n.d.]. v..

Mechanization of reasoning in a historical perspective
Marciszewski, Witold ; Murawski, Roman
1 Aufl.. Amsterdam ¬[u.a.]¬. Rodopi. 1995. 267 S.. PoznaÂn studies in the philosophy of the sciences and the humanities ; 43.
ISBN 90-5183-790-9

¬The¬ mechanization of silviculture: equipment information bank
Sault Ste. Marie, Ont.. 1983. 9 S..
ISBN 0-662-12838-9

<<The>> mechanization of silviculture equipment information bank
Sault Ste. Marie, Ont. . Geat Lakes Forest Research Centre. 1983. 9 S..

Mechanization of silviculture newsletter.
Sault Ste. Marie, Ont.. Great Lakes Forest Research Centre,. 1983-1986.

Mechanization of substitution rule and compositionality of UNITY in HOL
Prasetya, I. S. W.
Utrecht. Univ.. 1994. 17 S.. Technical report UU-CS / Department of Computer Science, Utrecht University ; 1994-19.

Mechanization of temporal knowledge
Kahn, Kenneth M.
Cambridge. Massachusetts Institute of Technology, Project MAC,. 1975.. 153 p..

Mechanization of the application of chemical fertilizers in the form of liquid
Machacek
Geneva. . (1960). 1 bd..

The mechanization of the heart: Harvey and Descartes
Fuchs, Thomas, ; Grene, Marjorie Glicksman,
Rochester, NY. University of Rochester Press,. 2001.. xviii, 247 p. ;.

The mechanization of the heart: Harvey & Descartes
Fuchs, Thomas
Rochester, NY [u.a.]. The Univ. of Rochester Press. 2001. XVIII, 246 S.. Rochester studies in medical history ; 1.
ISBN 1-580-46077-1 : £40.00 : CIP entry (Dec.)

The mechanization of the mind: on the origins of cognitive science
Dupuy, Jean-Pierre
Princeton [u.a.]. Princeton University Press. 2000. xiv, 210 p.. New French thought.
ISBN 0-691-02574-6 alk. paper

Mechanization of the Mounting and Bonding Processes of Chip Capacitor Elements
Bayou, Tesfaye
1983. 106 Bl..

¬The¬ mechanization of the world picture: Pythagoras to Newton
Dijksterhuis, Eduard J.
Princeton, N.J:. Princeton Univ. Pr.. 1986. 537 S..
ISBN 0-691-02396-4

¬The¬ mechanization of the world picture
Dijksterhuis, Eduard J.
London. Oxford Univ. Pr.. 1969. VI, 537 S. : Ill.. Oxford paperbacks ; 298.

Mechanization of vegetable harvesting
[Oxford]. Commonwealth Agricultural Bureaux,. 1974.. 5 p. ;.

The mechanization of work
Ginzberg, Eli
San Francisco. Freeman. 1982. 119 S. : Ill., graph. Darst.. A Scientific American book.
ISBN 0-7167-1439-6

Mechanization takes command: a contribution to anonymous history
Giedion, Siegfried
New York. Oxford Univ. Press. 1948. XIV, 743 S..

Mechanization takes command: eine kritische Auseinandersetzung zum Thema: Haushalt und Rationalisierung
Baer, Esther N.
1955.

Mechanization takes command
Giedion
New York . Norton. 1969. xiv, 743 s..

Mechanization takes command. A contribution to anonymous history
Giedion, Siegfried
2. print. New York. Oxford U. P.. 1955. XIV, 743 S..

Mechanized annual cropping on low fertility acid soils in the humid tropics: a case study of the Zanderij soils in Suriname
Janssen, B. H. ¬[Hrsg.]¬
Wageningen. Agricultural Univ.. 1990. IX, 230 S.. Wageningen Agricultural University papers ; 90,5.
ISBN 90-6754-172-9

The mechanized battlefield: a tactical analysis ; proceedings
English, John Alan [Hrsg.]
Washington, D.C. u.a.. 1985. 188 S..
ISBN 0-08-025405-5

The mechanized battlefield: a tactical analysis; [proceedings of the 1. annual Officer Development Study Session, held at Canadian Forces Base Gagetown, Mar. 7 - 9, 1983]
English, John A.
Washington [u.a.]. Pergamon-Brassey's. 1986. XIV, 188 S..
ISBN 0-08-025405-5

Mechanized drilling & loading in narrow vein mines: a World Mining Equipment Conference, Salt Lake City, Utah, October 28 - 30, 1990
New York, NY. WME, a Metal Bulletin PLC Division. 1990. Getr. Zählung [ca. 70 S.]..

Mechanized electric-arc surfacing
Kondratiev, I. A. ; Ryabtsev, I. A.
Amsterdam. Harwood. 1999. 100 S.. Welding and surfacing reviews ; 12,3.
ISBN 90-5823-066-x

¬The¬ mechanized eye: experiments in technique and form
Chatsworth, Calif.. Image Entertainment. 2005. Unseen cinema ; 1.

Mechanized farming in the humid tropics with special reference to soil tillage, workability and timeliness of farm operations: a case study for the Zanderij area of Suriname
Goense, D.
Wageningen . 1987. 136 S..

Mechanized harvesting of stumps and roots: a sub-project of the joint nordic research programme for the utilization of logging residues
Hakkila, Pentti
Helsinki. 1972. 71 S.. Metsantutkimuslaitoksen julkaisuja ; 77,1.
ISBN 951-40-0035-8

Mechanized imagery in "Tiempo de silencio"
Knutson, David
1998.

Mechanized infantry
Simpkin, Richard E.
Oxford u.a.. Brassey's Publ. 1980. 134 S..
ISBN 0-08-027030-1

Mechanized information storage, retrieval and dissemination: proceedings of the FID/IFIP joint conference, Rome June 14-17, 1967
Samuelson, Kjell ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co.. 1968. 729 S..

MECHANIZED INFORMATION STORAGE, RETRIEVAL AND DISSEMINATION. ED. BY KJELL SAMUELSON. PROCEEDINGS OF THE FID/IFIP JOINT CONFERENCE. ROME, JUNE 14-17, 1967. ORGANIZED BY THE FEDERATION INTERNATIONALE DE LA DOCUMENTATION AND INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING. AMSTERDAM: NORTH-HOLLAND PUBL. 1968. 14,729 S.
Samuelson, Kjell
1968.

MECHANIZED INFORMATION STORAGE, RETRIEVAL AND DISSEMINATION. PROCEEDINGS OF THE F.I.D/I.F.I.P.JOINT CONFERENCE ROME, JUNE 14-17, 1967. ORGANIZED BY THE FEDERATION INTERNATIONALE DE LA DOCUMENTATION AND INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING. HRSG.: KJELL SAMUELSON. AMSTERDAM: NORTH-HOLLAND PUBL.COMP. 1968. XIV, 729 S.
Samuelson, Kjell
1968.

Mechanized juggernaut or military anachronism?: horses and the German army of World War II
DiNardo, R. L.
1. publ.. New York ¬[u.a.]¬. Greenwood Pr.. 1991. XIV, 135 S. : Ill.. Contributions in military studies ; 113.
ISBN 0-313-27810-5

Mechanized library procedures.
[White Plains, N.Y., . IBM Technical publications dept.,. 1962?]. 19 p..

Mechanized Longwall Mining
Olson, James J
1977.

Mechanized reasoning and hardware design: (meeting held at the Royal Society on 3 and 4 October 1991)
Hoare, Charles Antony Richard [Hrsg.]
1. publ. New York [u.a.]. Prentice Hall. 1992. 151 S.. Prentice Hall international series in computer science.
ISBN 0-13-572405-8

Mechanized setting of roadway supports: final report
Luxembourg [u.a.]. Office for Official Publications of the European Communities. 1997. 89 S.. EUR ; 14191 : Technical coal research.
ISBN 92-827-8424-X

Mechanized Sprinkler Irrigation
Rolland, Lionel
Rome. Food and Agriculture Organization of the United Nations. 1982. XXIX,409 S.. FAO Irrigation and drainage Paper ; 35.
ISBN 92-5-100997-X

Mechanized tunnelling in urban areas: design methodology and construction control
Guglielmetti, Vittorio
Boca Raton, FL. Taylor & Francis. 2007. p. cm.
ISBN 978-0-415-42010-5 hbk. : alk. paper

Mechanized verification of imperative and functional programs
Giesl, Jürgen
1999. VIII, 223 S..

Mechanizing cone collection of black spruce in Ontario
Horton, K. W.
Sault Ste. Marie, Ont.. Great Lakes Forest Research Centre, Canadian Forestry Service, Government of Canada. 1984. 16 S.. Joint report ; 2.
ISBN 0-662-13357-9

Mechanizing farming: implications for employment, incomes and population distribution
DeKlerk, Michael
Cape Town. 1984. 25 S.. Conference papers ; 27.
ISBN 0-7992-0818-3

Mechanizing hypothesis formation: mathematical foundations for a general theory
Hájek, Petr ; Havránek, TomáÏs
Berlin [u.a.]. Springer. 1978. IX, 396 S..
ISBN 3-540-08738-9

Mechanizing inductive theorem proving in conditional theories
Fraus, Ulrich
Als Ms. gedr.. Duesseldorf. VDI-Verl.. 1995. VI, 154 S. : graph. Darst.. Fortschrittberichte : Reihe 10, Informatik, Kommunikationstechnik ; 334.
ISBN 3-18-333410-0

L' émergence d'une nouvelle culture méditerranéenne: Maghreb - Mashriq - Israël
Hutter, Dieter [Hrsg.] ; Stephan, Werner [Hrsg.] ; Siekmann, Jörg H.
Frankfurt am Main [u.a.]. Lang. 2000. 209 S.. Lecture notes in computer science ; 2605 : Lecture notes in artificial intelligence.
ISBN 3-631-35841-5 kart. : ca. DM 65.00 (freier Pr.)

Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Hutter, Dieter ¬[Hrsg.]¬ ; Siekmann, Jörg H.
Berlin [u.a.]. Springer. 2005. IX, 563 S.. Lecture notes in computer science ; 2605 : Lecture notes in artificial intelligence : Festschrift.
ISBN 3-540-25051-4

Mechanizing Microbiology :( grew out of the International Conference on Mechanizing Microbiology held in Ottawa in September, 1975)
Sharpe, A. N. [Hrsg.] ; Clark, D. S. [Hrsg.]
Springfield, Ill.. Thomas. 1978. XIV, 333 S.. American lecture series ; 1010 : A Monograph in the Bannerstone Division of American lectures in microbiology.
ISBN 0-398-03658-6

Mechanizing Omega-order type theory through unification
Jensen, D.C. ; Pietrzykowski, T.

Mechanizing proofs of program properties
Gitsels, Martin
[Mikrofiche-Ausg.]. 1998. 111 S. : Ill., graph. Darst..

Mechanizing the transformation of higher-order algebraic specifications for the development of software systems
Magnussen, Sönke Johannes
Berlin. Logos Verl.. 2003. XII, 206 S..
ISBN 3-8325-0152-5 Pb. : EUR 40.50, EUR AT 41.60, CHF 72.10