標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 1988; 13th Symposium Carls Michal P. Chytil,Václav Koubek,Ladislav Janiga Conference proceedin [打印本頁] 作者: DIGN 時(shí)間: 2025-3-21 18:41
書目名稱Mathematical Foundations of Computer Science 1988影響因子(影響力)
書目名稱Mathematical Foundations of Computer Science 1988影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1988網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Computer Science 1988網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1988被引頻次
書目名稱Mathematical Foundations of Computer Science 1988被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1988年度引用
書目名稱Mathematical Foundations of Computer Science 1988年度引用學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1988讀者反饋
書目名稱Mathematical Foundations of Computer Science 1988讀者反饋學(xué)科排名
作者: Demulcent 時(shí)間: 2025-3-21 22:02 作者: 噴油井 時(shí)間: 2025-3-22 03:57 作者: interlude 時(shí)間: 2025-3-22 08:35 作者: licence 時(shí)間: 2025-3-22 11:32 作者: 加強(qiáng)防衛(wèi) 時(shí)間: 2025-3-22 13:49 作者: crockery 時(shí)間: 2025-3-22 20:37
Uwe Sch?ningrologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 領(lǐng)巾 時(shí)間: 2025-3-23 01:07
Imre Simonrologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: bromide 時(shí)間: 2025-3-23 03:01 作者: 袖章 時(shí)間: 2025-3-23 05:44
Burkhard Monien,Hal Sudboroughrologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: Dysplasia 時(shí)間: 2025-3-23 09:50
Farid M. Ablayevrologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: Habituate 時(shí)間: 2025-3-23 17:55
E. Allevi,A. Cherubini,S. Crespi Reghizzirologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 以煙熏消毒 時(shí)間: 2025-3-23 21:40
Frank Bauern?ppel,Hermann Jungrologie oder in Kombination mit einem anderen "5-Tage-Fach" - für alle, die kurz vor dem Hammerexamen stehen und ihr Wissen nochmal überprüfen m?chten: pauken mit den "5-Tagen" gibt die letzte Sicherheit..978-3-642-05113-5978-3-642-05114-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: Ophthalmologist 時(shí)間: 2025-3-23 23:23
Francis Bossut,Max Dauchet,Bruno WarinMedikamente anbietet, deren Wert zu beurteilen der einzelne Arzt kaum noch in der Lage ist (.). Endlich nimmt die chemische und auch physikalische Therapie der Nervenkrankheiten gegenüber der Behandlung anderer Organkrankheiten insofern eine Sonderstellung ein, als Erkrankungen des Nervensystems in 作者: Aviary 時(shí)間: 2025-3-24 03:51 作者: 強(qiáng)行引入 時(shí)間: 2025-3-24 07:45 作者: CHOKE 時(shí)間: 2025-3-24 10:53 作者: TAP 時(shí)間: 2025-3-24 17:22
Testing isomorphism of outerplanar graphs in parallel,It is shown that isomorphism of two outerplanar graphs with . vertices can be verified on CRCW PRAM in time O(log .) using . processors. This improves the previous results of Ruzzo [R] and Miller & Reif [MR] concerning parallel isomorphism of trees.作者: 橡子 時(shí)間: 2025-3-24 20:43 作者: 愛社交 時(shí)間: 2025-3-25 00:17 作者: ERUPT 時(shí)間: 2025-3-25 05:31 作者: geriatrician 時(shí)間: 2025-3-25 09:26
Robust oracle machines,istic "witness searching" process in NP problems. It is shown that straightforward modifications of the original notion are closely related with other concepts in structural complexity theory, such as "self-reducibility", "lowness", and "interactive proof systems".作者: Antecedent 時(shí)間: 2025-3-25 13:04 作者: disciplined 時(shí)間: 2025-3-25 16:15
Comparing interconnection networks,escriptions of efficient methods to simulate an algorithm designed for one type of architecture on a different network structure and/or techniques to distribute data/program variables to achieve optimum use of all available processors.作者: HUMP 時(shí)間: 2025-3-25 21:53
Distribution of Sequential Processes,y equivalent concurrent processes? The models of systems are finite automata in the non-distributed case and some collection of finite automata with synchronization in the distributed case. The concurrency criterion is commutativity.作者: Kaleidoscope 時(shí)間: 2025-3-26 02:18 作者: reception 時(shí)間: 2025-3-26 05:48
Reusable specification components,ation. Every node of the tree is a structured specification. In contrast to other approaches to software reusability these trees are considered as objects of the language and can be constructed and manipulated by operators of the language.作者: 松馳 時(shí)間: 2025-3-26 10:20 作者: Meager 時(shí)間: 2025-3-26 15:55 作者: 小丑 時(shí)間: 2025-3-26 17:25 作者: HUMP 時(shí)間: 2025-3-26 21:45 作者: auxiliary 時(shí)間: 2025-3-27 02:34 作者: Merited 時(shí)間: 2025-3-27 08:44
On models and algebras for concurrent processes,eduction of partial and total properties of processes is presented..In conclusion, the primitives of proposed algebra AFP are compared with those of CSP, and the directions of further developments are outlined.作者: 孤獨(dú)無助 時(shí)間: 2025-3-27 13:18
Conference proceedings 1988‘88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceed作者: 總 時(shí)間: 2025-3-27 17:41
0302-9743 nce, MFCS ‘88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in t作者: Platelet 時(shí)間: 2025-3-27 18:00 作者: 削減 時(shí)間: 2025-3-28 00:52
John H. Reif,James A. Storer Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: 露天歷史劇 時(shí)間: 2025-3-28 05:07
Uwe Sch?ning Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: 報(bào)復(fù) 時(shí)間: 2025-3-28 09:49
Imre Simon Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: Arresting 時(shí)間: 2025-3-28 13:12
Martin Wirsing,Rolf Hennicker,Ruth Breu Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: medium 時(shí)間: 2025-3-28 15:38 作者: jettison 時(shí)間: 2025-3-28 20:03
Farid M. Ablayev Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: Picks-Disease 時(shí)間: 2025-3-29 01:05
E. Allevi,A. Cherubini,S. Crespi Reghizzi Einteilung ist für das Pauken vor dem "Hammerexamen" unerl??lich. Wir helfen Ihnen dabei!.Mit "Neurologie..in 5 Tagen" liefern wir die streng nach GK orientierten Inhalte, die sich in ihrer Gewichtung auch noch nach den H?ufigkeiten der Fragen des IMPP richten. Kurz: wer hier lernt, wei?, dass er d作者: Missile 時(shí)間: 2025-3-29 04:05 作者: NIL 時(shí)間: 2025-3-29 09:40
Francis Bossut,Max Dauchet,Bruno Warinfür sind mancherlei Art. Von wenigen Krankheiten abgesehen ist es bis heute nicht m?glich, auf der Grundlage klarer ?tiologischer Vorstellungen . Therapie der Nervenkrankheiten zu treiben. Ferner zeichnet sich das Nervensystem infolge besonderer Schranken- und Stoffwechselverh?ltnisse einesteils dur作者: nettle 時(shí)間: 2025-3-29 12:17 作者: 撤退 時(shí)間: 2025-3-29 19:08 作者: aesthetician 時(shí)間: 2025-3-29 23:35 作者: Ceramic 時(shí)間: 2025-3-30 00:51 作者: Mere僅僅 時(shí)間: 2025-3-30 05:18
Robust oracle machines,istic "witness searching" process in NP problems. It is shown that straightforward modifications of the original notion are closely related with other concepts in structural complexity theory, such as "self-reducibility", "lowness", and "interactive proof systems".作者: 鋼筆記下懲罰 時(shí)間: 2025-3-30 09:34 作者: 睨視 時(shí)間: 2025-3-30 12:53 作者: Benign 時(shí)間: 2025-3-30 19:46 作者: strain 時(shí)間: 2025-3-30 22:03
Probabilistic automata complexity of languages depends on language structure and error probability,probability of recognition. It is shown that for languages which are "rich" with formulated property a new lower bound of probabilistic complexity is more precise than that of Rabin‘s lower bound. In addition with the help of a new lower bound we improve the hierarchy of complexity of probabilistic 作者: Juvenile 時(shí)間: 2025-3-31 02:48
Distribution of Sequential Processes,y equivalent concurrent processes? The models of systems are finite automata in the non-distributed case and some collection of finite automata with synchronization in the distributed case. The concurrency criterion is commutativity.作者: 字的誤用 時(shí)間: 2025-3-31 07:20
Automata and rational expressions on planar graphs,f letters and pdags on a doubly ranked alphabet. Our purpose is to introduce an algorithmic process (generalization of Kamimura and Slutzki‘s parallel automata) for accepting pdag languages and a specification of these languages by means of well-suited rational expressions. So our main result is a K作者: Mendicant 時(shí)間: 2025-3-31 11:41 作者: Invertebrate 時(shí)間: 2025-3-31 14:40 作者: 1FAWN 時(shí)間: 2025-3-31 18:09 作者: 使隔離 時(shí)間: 2025-4-1 00:49
Angiogenesis in diabetic retinopathy: a history of accomplishment, discovery and promise,itreous and aqueous fluid samples of patients with active proliferative diabetic retinopathy but low in control patients and in diabetic subjects without retinopathy. A fascinating and promising approach, based on altering the molecular biology of retinal cells, to blunting proliferative diabetic re作者: 爭論 時(shí)間: 2025-4-1 05:38 作者: parsimony 時(shí)間: 2025-4-1 06:15
Italyation of the Muslim community in Italy, some of whose members fall prey to the terrorist option. The Italian government so far has failed to develop an effective policy to integrate the various Muslim immigrants into Italian society and its economy, and as a result, the potential number of recruits 作者: 下級 時(shí)間: 2025-4-1 10:59 作者: sigmoid-colon 時(shí)間: 2025-4-1 18:20
