ON TWO TYPES OF LOOPSHAVEL IM.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 89-107; BIBL. 7 REF.Conference Paper

FINITE BRANCHING AUTOMATA.HAVEL IM.1974; KYBERNETIKA; CESKOSL.; DA. 1974; VOL. 10; NO 4; PP. 281-302; BIBL. 6 REF.Article

INCIDENTAL AND STATE-DEPENDENT PHENOMENA IN ROBOT PROBLEM SOLVING.STEPANKOVA O; HAVEL IM.1977; KYBERNETIKA; CESKOSL.; DA. 1977; VOL. 13; NO 6; PP. 421-438; BIBL. 13 REF.Article

A STOCHASTIC APPROACH TO ROBOT PLAN FORMATION.HAVEL IM; KRAMOSIL I.1978; KYBERNETIKA; CSK; DA. 1978; VOL. 14; NO 3; PP. 143-173; BIBL. 18 REF.Article

A LOGICAL THEORY OF ROBOT PROBLEM SOLVING.STEPANKOVA O; HAVEL IM.1976; ARTIF. INTELLIG.; U.S.A.; DA. 1976; VOL. 7; NO 2; PP. 129-161; BIBL. 16 REF.Article

ON THE PARSING OF DETERMINISTIC LANGUAGES.HARRISON MA; HAVEL IM.1974; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1974; VOL. 21; NO 4; PP. 525-548; BIBL. 26 REF.Article

NORMAL FORMS OF DETERMINISTIC GRAMMARS.GELLER MM; HARRISON MA; HAVEL IM et al.1976; DISCRETE MATH.; NETHERL.; DA. 1976; VOL. 16; NO 4; PP. 313-321; BIBL. 20 REF.Article

ON EQUIVALENCE OF GRAMMARS THROUGH TRANSFORMATION TREESHARRISON MA; HAVEL IM; YEHUDAI A et al.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 9; NO 2; PP. 173-205; BIBL. 24 REF.Article

Nouvelles découvertes campaniformes de la région de PragueHAVEL, J.Archeologické Rozhledy Praha. 1980, Vol 32, Num 2, pp 121-132Article

LE X CONGRES ANNUEL DE LA SOCIETE TCHECOSLOVAQUE DE MICROBIOLOGIE, A L'ACADEMIE TCHECOSLOVAQUE DES SCIENCES EN TCHEQUEHAVEL V.VESTNIK CSAV. CESKOSLOVENKE AKADEMIE VED. 1973, Vol 82, Num 2, pp 125-128Article

A sense of the transcendentHAVEL, V.Cross currents. 1997, Vol 47, Num 3, pp 293-300, issn 0011-1953Article

LA TECHNIQUE DU TABLEAUHAVEL M.1974, 294 p.Book

Použití bezvýkopových metod pro rekonstrukci a výstavbu plynovodů a přípojek = Building and reconstruction of gas lines and service pipes without digging of the ditchesHAVEL, M.Plyn. 1993, Vol 73, Num 9, pp 257-262, issn 0032-1761Article

Varia archaeologica 2. Mélanges Jan Filip. La sépulture Cordée de Prague 8 CimiceHAVEL, J.Praehistorica. Varia Archaeologica Praha. 1981, Vol 8, pp 67-71Article

LETTRE A HUSAKHAVEL V.TEMPS (LES) MODERNES. 1976, Vol 31, Num 354, pp 1121-1146Article

Dietary fructose : Implications for dysregulation of energy homeostasis and lipid/carbohydrate metabolismHAVEL, Peter J.Nutrition reviews. 2005, Vol 63, Num 5, pp 133-157, issn 0029-6643, 25 p.Article

The sampling properties of some distance geometry algorithms applied to unconstrined polypeptide chains : a study of 1830 independently computed conformationsHAVEL, T. F.Biopolymers. 1990, Vol 29, Num 12-13, pp 1565-1585, issn 0006-3525, 21 p.Article

Role of the liver in lipoprotein catabolismHAVEL, R. J.Methods in enzymology. 1986, Vol 129, pp 591-612, issn 0076-6879Article

Delineation of property rights as institutional foundations for urban land markets in transitionHAVEL, Małgorzata Barbara.Land use policy. 2014, Vol 38, pp 615-626, issn 0264-8377, 12 p.Article

An evaluation of computational strategies for use in the determination of protein structure from distance constraints obtained by nuclear magnetic resonanceHAVEL, T. F.Progress in biophysics and molecular biology. 1991, Vol 56, Num 1, pp 43-78, issn 0079-6107Article

Some examples of the use of distances as coordinates for Euclidean geometryHAVEL, T. F.Journal of symbolic computation. 1991, Vol 11, Num 5-6, pp 579-593, issn 0747-7171Article

SIXTY YEARS OF CYBERNETICS : Cybernetics Still AliveHAVEL, Ivan M.Kybernetika. 2008, Vol 44, Num 3, pp 314-327, issn 0023-5954, 14 p.Article

Scale dimensions in natureHAVEL, I. M.International journal of general systems (Print). 1996, Vol 24, Num 3, pp 295-324, issn 0308-1079Article

Experience with individual lipid-lowering drugs : nicotinic acidHAVEL, R. J.Cardiovascular reviews & reports. 1990, Vol 11, Num 6, pp 76-77, issn 0197-3118Article

Role of triglycride-rich lipoproteins in progression of atherosclerosisHAVEL, R. J.Circulation (New York, N.Y.). 1990, Vol 81, Num 2, pp 694-696, issn 0009-7322Article