標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 1980; 9th Symposium Held i P. Dembiński Conference proceedings 1980 Springer-Verlag Berlin Hei [打印本頁] 作者: 驅(qū)逐 時(shí)間: 2025-3-21 16:40
書目名稱Mathematical Foundations of Computer Science 1980影響因子(影響力)
書目名稱Mathematical Foundations of Computer Science 1980影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1980網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Computer Science 1980網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1980被引頻次
書目名稱Mathematical Foundations of Computer Science 1980被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1980年度引用
書目名稱Mathematical Foundations of Computer Science 1980年度引用學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1980讀者反饋
書目名稱Mathematical Foundations of Computer Science 1980讀者反饋學(xué)科排名
作者: 松果 時(shí)間: 2025-3-21 22:19 作者: 搜集 時(shí)間: 2025-3-22 03:49
Compound algebraic implementations: An approach to stepwise refinement of software systems,hieve closure under composition. These results can be extended to compound algebraic implementations which are syntactically defined to be sequences of (weak) implementations according to the idea of stepwise refinement of software systems.作者: 哥哥噴涌而出 時(shí)間: 2025-3-22 07:46
Formal description of programming concepts,n Software Development. The vast resources today spent on testing, integrating & maintaining software must be redirected into Architecting and the many, useful steps of Design. Computer Science Theory needs focus far more attention on ‘Formal Description of Programming Concepts’, and on ‘Programming Methodology’ than we see done today.作者: 救護(hù)車 時(shí)間: 2025-3-22 09:02 作者: 并排上下 時(shí)間: 2025-3-22 15:10 作者: mediocrity 時(shí)間: 2025-3-22 18:11 作者: 無可爭(zhēng)辯 時(shí)間: 2025-3-23 00:15
0302-9743 Overview: 978-3-540-10027-0978-3-540-38194-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 思考 時(shí)間: 2025-3-23 04:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626118.jpg作者: Confidential 時(shí)間: 2025-3-23 06:47 作者: neutralize 時(shí)間: 2025-3-23 11:48
Some theoretical aspects of applicative multiprocessing, theoretical point of view, the combination of distributed processing and applicative languages seems to provided an extremely interesting and varied array of topics for future investigation. There seems to be little doubt that this combination will have a significant impact on future uses of computers, as well as theories relating to these uses.作者: 類型 時(shí)間: 2025-3-23 17:50
Conceptual relations between databases transformed under join and projection,queries and of allowing equal (or corresponding) updates. After discussing some basic properties of the concepts introduced, the case in which conceptual relations (inclusion or equivalence) among data bases may be proved by means of transformations based on projections and joins is examined in detail.作者: Dignant 時(shí)間: 2025-3-23 18:24 作者: groggy 時(shí)間: 2025-3-24 00:37
An essay about research on sparse NP complete sets,The purpose of this paper is to review the origins and motivation for the conjecture that sparse NP complete sets do not exist (unless P = NP) and to describe the development of the ideas and techniques which led to the recent solution of this conjecture.作者: quiet-sleep 時(shí)間: 2025-3-24 04:23
Controlling behaviours of systems : Some basic concepts and some applications,We define observable systems and controls of these systems as a way to restrict their set of behaviours. Some applications to the deadlock problem are given.作者: kidney 時(shí)間: 2025-3-24 08:48
,The weighted Sperner’s Set problem,A polynomial time bounded algorithm is presented for solving the Weighted Sperner‘s Set Problem, that is, the problem of computing an independent Set of maximal weight on a weighted partially ordered set.作者: Meditate 時(shí)間: 2025-3-24 14:18
Proof of a concurrent program finding Euler paths,A concurrent program finding Euler paths in a graph is described, proved and analysed. The importance of atomic actions is particularly stressed.作者: commune 時(shí)間: 2025-3-24 18:06 作者: Control-Group 時(shí)間: 2025-3-24 20:39 作者: 狂熱語言 時(shí)間: 2025-3-25 02:53
ailable treatments remain symptomatic and rarely allow for a full functional recovery. This results in a large burden for persons afflicted with schizophrenia, their families, and the society at large..We have made progress in reliably diagnosing schizophrenia and in exploring the neural basis of sc作者: 喪失 時(shí)間: 2025-3-25 06:46
Dines Bj?rner. wiederholt einwirken. Seltener sind Stich- oder Schnittverletzungen und Zerrei?ungen von Nerven oder Wurzeln. Bei . und . sind die peripheren Nerven in doppelter Hinsicht gef?hrdet: Sie k?nnen bei dem Trauma . l?diert werden, oder aber es entwickelt sich im Abstand von Wochen, Monaten und selbst J作者: NEXUS 時(shí)間: 2025-3-25 09:11
Robert M. Keller da? beim Parkinson ein Ungleichgewicht zwischen dopaminergen und cholinergen Mechanismen vorliegt, hatte die Substitutionstherapie mit L-Dopa die anticholinerge Therapie in den Hintergrund gedr?ngt. Nach einigen Jahren der vorwiegenden L-DopaTherapie stellten sich aber unerwünschte Wirkungen ein, d作者: 比喻好 時(shí)間: 2025-3-25 15:40
Wm. A. Wulf. wiederholt einwirken. Seltener sind Stich- oder Schnittverletzungen und Zerrei?ungen von Nerven oder Wurzeln. Bei . und . sind die peripheren Nerven in doppelter Hinsicht gef?hrdet: Sie k?nnen bei dem Trauma . l?diert werden, oder aber es entwickelt sich im Abstand von Wochen, Monaten und selbst J作者: 獎(jiǎng)牌 時(shí)間: 2025-3-25 18:26
A. Arnold,M. Nivatb ein motorischer, ein sensibler oder ein gemischter Nerv betroffen ist, liegen motorische Ausfalls- oder Reizerscheinungen, sensible Ausfalls- oder Reizerscheinungen sowie Schmerzen vor. Ein Sch?digung des 2. Motoneurons führt zu einer L?hmung vom peripheren Typ mit Herabsetzung des Muskeltonus, Ab作者: 改良 時(shí)間: 2025-3-25 23:09
G. Ausiello,C. Batini,M. Moscarinib ein motorischer, ein sensibler oder ein gemischter Nerv betroffen ist, liegen motorische Ausfalls- oder Reizerscheinungen, sensible Ausfalls- oder Reizerscheinungen sowie Schmerzen vor. Ein Sch?digung des 2. Motoneurons führt zu einer L?hmung vom peripheren Typ mit Herabsetzung des Muskeltonus, Ab作者: 疲憊的老馬 時(shí)間: 2025-3-26 01:05
X. Berenguer,J. Diaz Karpaltunnelsyndrom, das in Kap. 31 besprochen wird. Bedrohlicher sind Krampfanf?lle gegen Ende der Schwangerschaft, die Symptom einer EPH-Gestose sein k?nnen. Auch ein Status epilepticus kann auftreten, besonders bei Frauen, die schon vor der Schwangerschaft an einer Epilepsie (Kap. 14) gelitten h作者: Somber 時(shí)間: 2025-3-26 07:21 作者: 展覽 時(shí)間: 2025-3-26 11:06 作者: EXULT 時(shí)間: 2025-3-26 16:18 作者: 即席演說 時(shí)間: 2025-3-26 20:40
Luca Cardelliwa 150 ml Liquor, etwa 200 ml Blut und ca. 20–50 ml anderer Gewebe, z. B. Hirnh?ute. Wenn sich innerhalb des geschlossenen, starren Beh?ltnisses ein zus?tzliches Kompartiment entwickelt, wird zun?chst der Liquor ausgepre?t, weil er mit dem Rükkenmarkraum in Verbindung steht. Danach wird das Blutvolu作者: 倔強(qiáng)一點(diǎn) 時(shí)間: 2025-3-26 23:21 作者: sulcus 時(shí)間: 2025-3-27 03:47 作者: Feature 時(shí)間: 2025-3-27 08:41 作者: alcohol-abuse 時(shí)間: 2025-3-27 11:07
H. Ehrig,H. -J. Kreowski,B. Mahr,P. Padawitz und konservative sowie interventionelle Therapie auf dem ne.Die zw?lfte Auflage des beliebten Standardwerks bietet den neuesten Stand der klinischen und apparativen Diagnostik, der Pathophysiologie und der konservativen sowie der interventionellen Therapie. Das Lehrbuch besticht durch ein ebenso an作者: 笨拙的我 時(shí)間: 2025-3-27 15:31 作者: 低能兒 時(shí)間: 2025-3-27 21:05 作者: 索賠 時(shí)間: 2025-3-27 22:20 作者: 難取悅 時(shí)間: 2025-3-28 05:24 作者: tackle 時(shí)間: 2025-3-28 09:15
Some theoretical aspects of applicative multiprocessing, theoretical point of view, the combination of distributed processing and applicative languages seems to provided an extremely interesting and varied array of topics for future investigation. There seems to be little doubt that this combination will have a significant impact on future uses of comput作者: Amorous 時(shí)間: 2025-3-28 12:19
Abstract data types: A retrospective and prospective view,m specification and verification, and programming languages. The synergistic effect of these threads of research is especially evident in the area called ., and this area is taken as the focus of the paper. After reviewing some of the history and status of the area, some important open problems are 作者: 強(qiáng)化 時(shí)間: 2025-3-28 18:07
Conceptual relations between databases transformed under join and projection,queries and of allowing equal (or corresponding) updates. After discussing some basic properties of the concepts introduced, the case in which conceptual relations (inclusion or equivalence) among data bases may be proved by means of transformations based on projections and joins is examined in deta作者: 陪審團(tuán)每個(gè)人 時(shí)間: 2025-3-28 20:13 作者: 免除責(zé)任 時(shí)間: 2025-3-29 00:27 作者: SNEER 時(shí)間: 2025-3-29 06:35 作者: Neutral-Spine 時(shí)間: 2025-3-29 08:31 作者: chandel 時(shí)間: 2025-3-29 12:10
On and/or schemes,cision trees and combinational networks, are naturally embedded in the and/or language. These observations pose some interesting questions for further research. As a first result in the metatheory of and/or schemes, we prove a normal form theorem showing that with the addition of “auxiliary variable作者: Classify 時(shí)間: 2025-3-29 17:42
tem specimens, and the validation of changes in animal models of schizophrenia. Recently, several risk genes for schizophrenia have been identified, providing specific targets for the development of diagnostic tests and therapeutic interventions..In this chapter, we review basic concepts of the clin作者: Self-Help-Group 時(shí)間: 2025-3-29 23:42
Dines Bj?rnersl?hmung durch Diabetes oder chronischen Alkoholabusus. Deutlich zugenommen haben in den letzten Jahren die . einzelner peripherer Nerven, wie Abb. 86 (aus .) zeigt. Mit welcher H?ufigkeit die Nerven betroffen sind, ist aus Abb. 87 (.) zu erkennen. Diese Zunahme steht in Zusammenhang mit der heute a作者: paradigm 時(shí)間: 2025-3-30 02:23 作者: 舔食 時(shí)間: 2025-3-30 05:29 作者: 胖人手藝好 時(shí)間: 2025-3-30 09:54 作者: 詩集 時(shí)間: 2025-3-30 16:02
G. Ausiello,C. Batini,M. Moscarinigen im lnnervationsgebiet des betroffenen Nervs mit positivem Hoffmann-Tinel-Zeichen. Unter einer Polyneuropathie wird die Erkrankung mehrerer peripherer Nerven verstanden, wobei je nach Art der betroffenen Nerven motorische, sensible oder vegetative Symptome vorliegen k?nnen.作者: 現(xiàn)暈光 時(shí)間: 2025-3-30 17:47
X. Berenguer,J. Diazuck sowie neurologische Herdsymptome und epileptische Anf?lle durch fokales Hirn?dem oder Stauungsblutungen sind die Folge. Fokal beginnende, generalisierte Anf?lle sind besonders h?ufig. Zu sp?t behandelt, kann der Hirndruck unkontrollierbar hoch werden, so dass die Patienten versterben.作者: Pigeon 時(shí)間: 2025-3-30 23:55 作者: 文字 時(shí)間: 2025-3-31 00:55 作者: Reservation 時(shí)間: 2025-3-31 06:12 作者: 輕率的你 時(shí)間: 2025-3-31 11:11 作者: 男生如果明白 時(shí)間: 2025-3-31 13:36
Mario Coppoder MC-Prüfungen hinausblicken und sich fundierte Kenntnisse der Neurologie aneignen m?chte, ist mit diesem Lehrbuch gut beraten. Auch für Assistenz?rzte in der Facharztweiterbildung sehr geeignet..978-3-540-29998-1Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 滔滔不絕地講 時(shí)間: 2025-3-31 20:04
Wiktor Dańkoder MC-Prüfungen hinausblicken und sich fundierte Kenntnisse der Neurologie aneignen m?chte, ist mit diesem Lehrbuch gut beraten. Auch für Assistenz?rzte in der Facharztweiterbildung sehr geeignet..978-3-540-29998-1Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 放縱 時(shí)間: 2025-3-31 23:52
P. Degano,A. Lomanto,F. Sirovichder MC-Prüfungen hinausblicken und sich fundierte Kenntnisse der Neurologie aneignen m?chte, ist mit diesem Lehrbuch gut beraten. Auch für Assistenz?rzte in der Facharztweiterbildung sehr geeignet..978-3-540-29998-1Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 不如樂死去 時(shí)間: 2025-4-1 03:03
