標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 1978; 7th Symposium Zakopa J. Winkowski Conference proceedings 1978 Springer-Verlag Berlin Hei [打印本頁] 作者: Aggrief 時(shí)間: 2025-3-21 17:18
書目名稱Mathematical Foundations of Computer Science 1978影響因子(影響力)
書目名稱Mathematical Foundations of Computer Science 1978影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1978網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Computer Science 1978網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1978被引頻次
書目名稱Mathematical Foundations of Computer Science 1978被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1978年度引用
書目名稱Mathematical Foundations of Computer Science 1978年度引用學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1978讀者反饋
書目名稱Mathematical Foundations of Computer Science 1978讀者反饋學(xué)科排名
作者: oncologist 時(shí)間: 2025-3-21 20:53 作者: 十字架 時(shí)間: 2025-3-22 02:33
Attribute grammars and two-level grammars: A unifying approach,作者: 友好 時(shí)間: 2025-3-22 08:13
Semantics of nondeterminism, concurrency and communication,作者: IVORY 時(shí)間: 2025-3-22 12:32 作者: 綠州 時(shí)間: 2025-3-22 16:14 作者: 植物茂盛 時(shí)間: 2025-3-22 17:39 作者: JAMB 時(shí)間: 2025-3-23 01:18 作者: Corral 時(shí)間: 2025-3-23 02:57 作者: chapel 時(shí)間: 2025-3-23 06:06
G. Gardarins are included to show recent advances in etiology and treatment. The index is arranged in alphabetical order of the named syndromes and also according to the involvement of various organs in addition to the nervous system. A unique contribution to the literature, .Neurological Syndromes: A Clinical作者: 陳舊 時(shí)間: 2025-3-23 10:56 作者: 確認(rèn) 時(shí)間: 2025-3-23 17:11 作者: NEXUS 時(shí)間: 2025-3-23 18:20 作者: Fluctuate 時(shí)間: 2025-3-23 23:36 作者: FUSC 時(shí)間: 2025-3-24 04:01 作者: Interlocking 時(shí)間: 2025-3-24 07:43 作者: 喊叫 時(shí)間: 2025-3-24 14:11
978-3-540-08921-6Springer-Verlag Berlin Heidelberg 1978作者: 向前變橢圓 時(shí)間: 2025-3-24 17:51 作者: 離開可分裂 時(shí)間: 2025-3-24 21:52
0302-9743 Overview: 978-3-540-08921-6978-3-540-35757-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: brassy 時(shí)間: 2025-3-24 23:49
The algebraic semantics of recursive program schemes,This is a survey of general properties of recursive program schemes and classes of interpretations.作者: Conscientious 時(shí)間: 2025-3-25 07:19 作者: Mangle 時(shí)間: 2025-3-25 09:13
Deriving structures from structures,ated rules, we need precise and tractable mathematical definitions of rules and how to apply them. This paper presents such definitions and some fundamental theorems, together with brief remarks on applications to record handling, evaluation of recursively defined functions, and control flow analysis for optimizing compilers.作者: Senescent 時(shí)間: 2025-3-25 15:03
Contribution to the theory of concurrency in databases,se management systems locking logical or physical parts of the database during the execution of each transaction is performed. This solution restricts the degree of sharing. In this paper, a better characterization of possible schedules is proposed. Then, scheduling algorithms avoiding incorrect executions are proposed.作者: 護(hù)身符 時(shí)間: 2025-3-25 17:32
On the completeness of query languages for relational data bases,otion of completeness we have introduced is .. Therefore, for any configuration τ consisting of a binary relation r there exists a formula r. of the first order calculus describing the transitive closure of r, but this formula depends on τ and there is no formula describing the . which associates with a binary relation its transitive closure.作者: Synapse 時(shí)間: 2025-3-25 22:22 作者: Hypopnea 時(shí)間: 2025-3-26 03:40
Hartmut Ehrig,Barry K. Rosennitis pigmentosa. The goal of stem cell therapy is to either to “.” the surviving retinal cells (by providing the necessary support or generating neurotrophic agents) and/or to “replace” the cells that have degenerated. Stem cells being used in ongoing early human trials to treat degenerative retina作者: Anthropoid 時(shí)間: 2025-3-26 04:33
Hartmut Ehrig,Hans-J?rg Kreowski,Andrea Maggiolo-Schettini,Barry K. Rosen,Josef Winkowskis a 10 year review of the major cornerstones published on stem cells and their related products in affecting healing of major TM perforations..Surgical methods, including paper patch and tympanoplasty through reconstruction with temporal muscle fascia and tragal cartilage, have been and still are th作者: implore 時(shí)間: 2025-3-26 11:33
Nissim Francez,C. A. R. Hoare,Willem P. de Roever symptoms or signs collectively characterize a disease or disorder. Intended as a quick reference guide to the better known and some less familiar syndromes of neurological interest and developed by a renowned pediatric neurologist with more than 40 years experience in treating children, adolescents作者: ANA 時(shí)間: 2025-3-26 15:59 作者: GEN 時(shí)間: 2025-3-26 17:49
Hartmann J. Genrich,Kurt Lautenbachl grasp of material.Authored by a renowned pediatric neurolo.Neurological Syndromes: A Clinical Guide to Symptoms and Diagnosis. offers a concise, invaluable resource for understanding how a group of neurologic symptoms or signs collectively characterize a disease or disorder. Intended as a quick re作者: Thyroxine 時(shí)間: 2025-3-27 00:08 作者: 效果 時(shí)間: 2025-3-27 03:03
The connection between modal logic and algorithmic logics,on use of Kripke semantics. The bearing for semantics of some recent results in modal logic is explained. Finally we describe the possibilities to use intesional logic for the semantics of assignments.作者: 仲裁者 時(shí)間: 2025-3-27 07:47 作者: Deject 時(shí)間: 2025-3-27 10:40 作者: Intervention 時(shí)間: 2025-3-27 17:19
Extensions and implementations of abstract data type specifications, morphisms, and weak extensions are introduced as a generalization. On this basis, a conceptually simple but powerful notion of implementation is given. The effects of these concepts on the associated initial algebras are investigated, and it is shown that implementations can be done in multiple lev作者: 可憎 時(shí)間: 2025-3-27 18:20
Concurrency of manipulations in multidimensional information structures,ct a single "concurrent manipulation rule" with the following property: Each application of the sequence of rules to a multidimensional information structure — such that the dependence relations are respected — can be performed in a single step applying the concurrent manipulation rule to the same s作者: 透明 時(shí)間: 2025-3-27 22:13
Deriving structures from structures,ures and transformations that arise in biology as well as computer science are special cases of our concepts. A structure may be changed by finding an occurrence of a pattern and replacing it by another pattern as specified by a rule. To prove theorems about long sequences of applications of complic作者: irritation 時(shí)間: 2025-3-28 04:14 作者: 竊喜 時(shí)間: 2025-3-28 09:33
Loop programs and classes of primitive recursive functions,llows to discover new properties (for instance Universal Function Theorem) or to reproduce already known properties of this hierarchy. A further refinement leads to a natural definition of a (ω.)-hierarchy, whose properties resemble those of Cleave‘s hierarchy.作者: 夜晚 時(shí)間: 2025-3-28 11:49 作者: 手工藝品 時(shí)間: 2025-3-28 16:54
Victor E. Staartjes,Julius M. Kernbachmic discoveries. In response, I will argue that the gene can be deemed a natural kind as it satisfies some requirements for genuine kindhood. Specifically, natural kinds are projectible categories in our best scientific theories, and they represent nodes in the causal network of the world (as in Kha作者: 隱藏 時(shí)間: 2025-3-28 21:08 作者: 無能性 時(shí)間: 2025-3-29 02:06 作者: 初次登臺(tái) 時(shí)間: 2025-3-29 04:39 作者: 閃光你我 時(shí)間: 2025-3-29 09:17
Angela Browne M.P.H., Ph.D.iet Union. Many of these important initiatives involve the US Department of Energy (DOE) and the Ministry of the Russian Federation for Atomic Energy (MINA TOM). Currently, collaboration is under way which involves reactor safety, the disposition of fissile materials from the weapons program, radioa作者: conspicuous 時(shí)間: 2025-3-29 12:18
Secure Multi-party Computational Geometryk to compute some function .(.) without revealing to each other anything unintended (i.e., anything other than what can be inferred from knowing .(.)). It is well known that, in theory, the general secure multi-party computation problem is solvable using circuit evaluation protocols. While this appr作者: 來自于 時(shí)間: 2025-3-29 17:00
Traditional Conflict and Peacemaking Processes: The Case of Kurdish Tribes in Mardin, Turkeyal and local loyalties determine both political and social, even everday life among the Kurdish tribes which live in the south-eastern part of Turkey. These tribes generally need friends and enemies to continue their existence. So, for them conflict and reconciliation are common features. . (blood f作者: A簡(jiǎn)潔的 時(shí)間: 2025-3-29 23:01
Fluorescent Cell Barcoding for Immunophenotyping,consumption, batch effect and technical variations. One way to multiplex is via fluorescent cell barcoding (FCB) prior to staining procedure..FCB is a high-throughput multiplexed assay using various concentrations of different fluorescent dyes. Individual samples are uniquely labeled, then mixed tog作者: 裝入膠囊 時(shí)間: 2025-3-30 02:46 作者: CURB 時(shí)間: 2025-3-30 07:46
Investigation into the Temperature Effect on the Performance of CZTS(Se) Thin Film Solar CellsCZTS, CZTSe, and CZTSSe. For the purpose of this study, a SCAPS-1D model has been used. P-MoS(Se). is positioned between the Mo back contact and the absorber layer, acting as an interfacial layer. From the results of this study, it is clear that the p-MoS(Se). interfacial layer facilitates the quasi作者: 演繹 時(shí)間: 2025-3-30 11:45 作者: LUMEN 時(shí)間: 2025-3-30 12:51 作者: Texture 時(shí)間: 2025-3-30 18:48
,Descartes, René,ie? D. La Flèche, um für die n?chsten Jahre in Paris zu leben und sich mathematischen und juristischen Studien zu widmen; hier, vielleicht aber auch erst 1622, erwarb er sich die Freundschaft seines zukünftigen Mentors Marin Mersenne.作者: Psa617 時(shí)間: 2025-3-30 21:27
Non-Regular Statistical Estimationed by estimates of uncertainty: most often, this is not so because of the complexities involved in estimating uncertainties; also, not all sources of uncertainty can be quantified. The uncertainties are in many cases so high that project managers or inventory compilers hesitate to estimate and repor作者: 拖債 時(shí)間: 2025-3-31 01:49
Zhengrong Guts way into advanced chip designs. The second part of the book describes the most important passive devices used in millimetre-wave CMOS circuits. Part three uses these passive devices and builds circuit blocks for the wireless transceiver. The book completes with a comprehensive list of references 作者: 倫理學(xué) 時(shí)間: 2025-3-31 08:10 作者: endarterectomy 時(shí)間: 2025-3-31 11:53 作者: 迅速飛過 時(shí)間: 2025-3-31 14:18
Peter Buchenau,Alexander Hofmanne exclusion of the German SED, and with the less explicable exclusion of the Albanian CP, plus the French and Italian CPs). In short, the phase of co-operation, spanning the period during the latter stages of, and immediately after, the war, coincided with the absence of any centralized internationa作者: 脆弱么 時(shí)間: 2025-3-31 18:57 作者: Acetaldehyde 時(shí)間: 2025-4-1 00:50
