標(biāo)題: Titlebook: Mathematical Foundation of Programming Semantics; International Confer Austin Melton Conference proceedings 1986 Springer-Verlag Berlin Hei [打印本頁] 作者: 手或腳 時間: 2025-3-21 17:22
書目名稱Mathematical Foundation of Programming Semantics影響因子(影響力)
書目名稱Mathematical Foundation of Programming Semantics影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundation of Programming Semantics網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundation of Programming Semantics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundation of Programming Semantics被引頻次
書目名稱Mathematical Foundation of Programming Semantics被引頻次學(xué)科排名
書目名稱Mathematical Foundation of Programming Semantics年度引用
書目名稱Mathematical Foundation of Programming Semantics年度引用學(xué)科排名
書目名稱Mathematical Foundation of Programming Semantics讀者反饋
書目名稱Mathematical Foundation of Programming Semantics讀者反饋學(xué)科排名
作者: hazard 時間: 2025-3-21 23:50
Free constructions of powerdomains,e information about nondeterministic behavior. By putting the available information in an algebraic framework, the algebraic properties can supplement the usual order-theoretic properties in program proofs.作者: 轉(zhuǎn)換 時間: 2025-3-22 04:01 作者: 都相信我的話 時間: 2025-3-22 05:30 作者: GRIPE 時間: 2025-3-22 09:47 作者: 颶風(fēng) 時間: 2025-3-22 15:19 作者: Infraction 時間: 2025-3-22 18:29
Comparing categories of domains,of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.作者: 擁護(hù)者 時間: 2025-3-22 21:19
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626160.jpg作者: 撫育 時間: 2025-3-23 05:02
https://doi.org/10.1007/3-540-16816-8Finite; algebra; geometry; process algebra; programming; programming semantics; proof; semantics作者: fidelity 時間: 2025-3-23 07:44 作者: interlude 時間: 2025-3-23 13:16
Mathematical Foundation of Programming Semantics978-3-540-44861-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 責(zé)任 時間: 2025-3-23 16:50 作者: Stable-Angina 時間: 2025-3-23 21:05
ls relevant to a wide range of scientists.Provides key tips .Since the early days, the field of neuropeptide biology has dramatically widened, and today the ultimate frontiers in neuropeptide research lie in the development of pharmacologically active compounds that are capable of crossing the blood作者: nuclear-tests 時間: 2025-3-23 22:58 作者: 清楚說話 時間: 2025-3-24 02:50
Ji?í Adámek,Horst Herrliche development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: FUME 時間: 2025-3-24 06:40
H. Bargenda,H. Herrlich,G. E. Streckere development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: 修正案 時間: 2025-3-24 11:38 作者: exceptional 時間: 2025-3-24 15:48
Stephen D. Brookese development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: 高射炮 時間: 2025-3-24 19:59
Carl A. Guntere development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: 譏諷 時間: 2025-3-25 03:15
Horst Herrlich,Miroslav Hu?eke development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: incredulity 時間: 2025-3-25 05:34 作者: travail 時間: 2025-3-25 08:43
Jürgen Koslowskie development of pharmacologically active compounds that are capable of crossing the blood-brain barrier to exert their biological role(s) .in vivo. and in the construction of genetic vectors to be employed in gene therapy.? .Neuropeptides: Methods and Protocols. presents a readily reproducible coll作者: outrage 時間: 2025-3-25 13:53 作者: FLAT 時間: 2025-3-25 19:10 作者: Desert 時間: 2025-3-25 23:55 作者: Incorporate 時間: 2025-3-26 01:22
Michael Misloveand an associated region, known as the bed nucleus of the stria terminalis (BSTL), are thought to integrate stress-induced cardiovascular and other autonomic reactions. These amygdalar areas have been implicated in the development of hypertension and gastric ulcers in animal models. The Ce and BSTL 作者: 鑒賞家 時間: 2025-3-26 07:02 作者: 根除 時間: 2025-3-26 08:42
Naphtali Rishegulated transsynaptically. They found that medullary TH activity increases after the injection of nicotinic receptor agonists or when the activity of cholinergic neurons innervating the medula increases. These changes in TH occur several hours after the stimulus, and depend on RNA transcription (Chu作者: 全等 時間: 2025-3-26 14:27 作者: Neuropeptides 時間: 2025-3-26 17:53
Jon Shultisss of drug and general anesthetics. Thus, a recent textbook of pharmacology summarizes the matter as “Despite popular belief in its stimulant properties, ethanol is entirely depressant in its actions on neurones of the central nervous system. In fact, its actions are qualitatively similar to those o作者: Gingivitis 時間: 2025-3-27 00:41
Jonathan D. H. Smithl” alternatives to cannabis, reports indicate that SCBs induce toxicity not often associated with the primary psychoactive component of marijuana, Δ9-tetrahydrocannabinol (Δ.-THC). This chapter will summarize the evidence that use of SCBs poses greater health risks relative to marijuana and suggest 作者: Coma704 時間: 2025-3-27 04:24 作者: 不適當(dāng) 時間: 2025-3-27 07:38 作者: 使出神 時間: 2025-3-27 11:28 作者: 出血 時間: 2025-3-27 16:13
Concrete categories and injectivity,mples of known characterizations of these concepts in various familiar settings. In the second part the above notions are considered in quasicategories whose objects are concrete categories. It turns out that several types of ‘completions’ of concrete categories can be characterized as injective hul作者: debunk 時間: 2025-3-27 21:34 作者: Vasodilation 時間: 2025-3-28 01:40
Comparing categories of domains,of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathem作者: Heresy 時間: 2025-3-28 05:17
Continuous categories,phisms", which replace the well-known way-below relation. The emphasis of this note is on motivation; hence, most proofs are omitted. The ideas presented here are special cases of a more general construction which will appear in [K]. However, it seems useful to extract the aspects interesting to an 作者: 闡明 時間: 2025-3-28 09:20
Free constructions of powerdomains,ntinuous binary operation ., which met certain axioms. Plotkin [9] and Smyth [14] showed how such a structure could be added to certain kinds of CPOs in a free or universal manner. This paper extends the work of Plotkin and Smyth by giving free constructions of powerdomains for a more adaptable alge作者: Water-Brash 時間: 2025-3-28 11:08
On denotational semantics of data bases,understanding, specification and rigorous investigation. The method provides a uniform treatment of different information layers: from instantaneous data bases (the first layer), via schemata and integrity rules, to classes of data base models. It unifies in one mathematical notion the apparently di作者: 使激動 時間: 2025-3-28 16:22 作者: CHYME 時間: 2025-3-28 20:57 作者: intolerance 時間: 2025-3-28 23:31
S. Kamal Abdali,David S. Wiseto their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne978-1-4939-6211-2978-1-61779-310-3Series ISSN 1064-3745 Series E-ISSN 1940-6029 作者: Cleave 時間: 2025-3-29 03:52
Ji?í Adámek,Horst Herrlich successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: 煩人 時間: 2025-3-29 09:42
H. Bargenda,H. Herrlich,G. E. Strecker successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: Ceremony 時間: 2025-3-29 12:36 作者: 和平主義者 時間: 2025-3-29 18:35
Stephen D. Brookes successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: bonnet 時間: 2025-3-29 21:04
Carl A. Gunter successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: 招致 時間: 2025-3-30 02:44 作者: 只有 時間: 2025-3-30 07:13
Tsutomu Kamimura,Adrian Tang successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: Fibrinogen 時間: 2025-3-30 12:02 作者: 故意 時間: 2025-3-30 16:23
Michael G. Main successful .Methods in Molecular Biology?. series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls..?.Authoritative and easy to follow, .Ne作者: 能量守恒 時間: 2025-3-30 17:11
Ernest G. Manesenkephalinergic signal molecules. The consensus of opinion now is that specific “neuropeptidases” do not exist, but rather that a handful of enzymes located at the cell surface of many different cell types can act in concert to degrade regulatory peptides. To date there is only one exception to this作者: inscribe 時間: 2025-3-30 21:46
Austin C. Melton,David A. Schmidtnkin (1940) isolated thermolabile and thermostable substances from inflammatory exudates which caused an increase in vascular permeability and emigration of leukocytes. The important observation of Enrich (1956) that inflammatory vascular changes may be induced by certain neurogenic factors stimulat作者: 不能約 時間: 2025-3-31 01:29
Michael Misloveand the dorsal vagal complex. Substance P and galanin cells within the amygdala also connect to these brainstem regions. The three brainstem areas receive projections from all the above types of amygdalar peptide-containing neurons. Thus, autonomic effects seen after amygdalar stimulation may be due作者: HARP 時間: 2025-3-31 08:19 作者: Gustatory 時間: 2025-3-31 10:36
Naphtali Rishedtke ., 1974) and D. Reis’s (Joh ., 1973) laboratories. Using immunotitration experiments, they showed that in adrenal, the number of TH molecules increases during transsynaptic induction. These immunotitration experiments do not prove, however, that the transsynaptic induction of TH involves a chan作者: 生命 時間: 2025-3-31 14:58 作者: 制定法律 時間: 2025-3-31 19:44
Jon Shultis general anesthetics has it been possible to identify any membrane receptor responsible for ethanol actions on release, response to or metabolism of any specific neurotransmitters. Although no consensus mechanisms have yet emerged for how these physicochemical properties of alcohols and anesthetics 作者: 外向者 時間: 2025-4-1 00:30 作者: 隼鷹 時間: 2025-4-1 05:17
