標(biāo)題: Titlebook: Recent Trends in Data Type Specification; Fifth Workshop on Sp D. Sannella,A. Tarlecki Conference proceedings 1988 Springer-Verlag Berlin H [打印本頁] 作者: 小故障 時間: 2025-3-21 19:44
書目名稱Recent Trends in Data Type Specification影響因子(影響力)
書目名稱Recent Trends in Data Type Specification影響因子(影響力)學(xué)科排名
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Recent Trends in Data Type Specification被引頻次
書目名稱Recent Trends in Data Type Specification被引頻次學(xué)科排名
書目名稱Recent Trends in Data Type Specification年度引用
書目名稱Recent Trends in Data Type Specification年度引用學(xué)科排名
書目名稱Recent Trends in Data Type Specification讀者反饋
書目名稱Recent Trends in Data Type Specification讀者反饋學(xué)科排名
作者: 可以任性 時間: 2025-3-22 00:01
Michel Bidoit sich an einschl?gige Klassiker wendet, prima facie unterordnen. Ricoeur n?hert sich dem jeweiligen Problem, das er sich in einer Arbeit stellt, stets auf dem Wege einer Interpretation, die entgegen der ‘Hermeneutik des Verdachtes’, die ideologiekritisch entlarven will, den untersuchten Texten nach 作者: 保全 時間: 2025-3-22 00:33
Horst Hansen r?umlich-perspektivischen Vorstellung erw?chst der Gedanke der Situation als einer ., dem sie Einschr?nkung oder Spielraum bedeutet; andere Subjekte und deren Interessen, soziologische Machtverh?ltnisse, augenblickliche Kombinationen oder Gelegenheiten kommen in ihr zur Geltung. Situation hei?t ein作者: 披肩 時間: 2025-3-22 07:17
Thomas Lehmann,Jacques Loeckxch teuren Arbeitskr?ften, das sich unter den Rahmenbedingungen der internationalen Arbeitsteilung seine Wettbewerbsf?higkeit erhalten mu? und daher auf einen dauernden Strukturwandel angewiesen ist, hat die Gründungsforschung eine herausragende Bedeutung. Die Gründe für die Notwendigkeit von Existen作者: 托人看管 時間: 2025-3-22 09:14
Bernhard M?ller,Andrzej Tarlecki,Martin Wirsingblieren. Ihnen kommt beim notwendigen Strukturwandel und Wirtschaftswachstum, bei den In- novationen sowie der Schaffung von Arbeitspl?tzen eine wesentliche Rolle zu. Aktuell zeigt sich vor allem beim Aufbau der Wirtschaft in den neuen Bundesl?n- dern die herausragende Bedeutung der Person des Exist作者: 一罵死割除 時間: 2025-3-22 14:03 作者: 喧鬧 時間: 2025-3-22 18:41 作者: 消滅 時間: 2025-3-23 00:17
Horst Hansentschaftslehre in den Situationsgesetzm??igkeiten von Angebot und Nachfrage, oder in anthropogeographischen Fragen; durch die Geschichtswissenschaft in den einmaligen, bedeutungsvollen Gestaltungen der Situationen. Situationen im Dasein sind also als . oder als . Situationen.作者: vertebrate 時間: 2025-3-23 03:24
Thomas Lehmann,Jacques Loeckxer Volkswirtschaft.. Ihre Auswirkungen zeigen sich weiter auf dem ordnungspolitischen Gebiet durch Dynamisierung und Erhaltung des Wettbewerbs und auf den sozialen Bereich durch eine Auflockerung der sozialen Schichten.. Dabei h?ngt das Ausma? der Erneuerungskraft allerdings davon ab, inwieweit sich作者: 賭博 時間: 2025-3-23 05:55 作者: Androgen 時間: 2025-3-23 11:47 作者: ethereal 時間: 2025-3-23 14:00 作者: Hiatus 時間: 2025-3-23 21:36 作者: 狂亂 時間: 2025-3-23 23:37 作者: 迎合 時間: 2025-3-24 04:48 作者: 散步 時間: 2025-3-24 08:17
Operational semantics of behavioural canons based on narrowing,作者: Inflamed 時間: 2025-3-24 13:02 作者: Genetics 時間: 2025-3-24 15:10 作者: LEVY 時間: 2025-3-24 20:38 作者: 現(xiàn)代 時間: 2025-3-24 23:10 作者: HALO 時間: 2025-3-25 05:36
The stratified loose approach: A generalization of initial and loose semantics,nitial approach nor the loose one is powerful enough to reflect our intuition and needs about software reusability and modularity, and we introduce a more sophisticated framework, the ., which can be considered as a generalization of both loose and initial semantics.作者: Lamina 時間: 2025-3-25 07:39 作者: superfluous 時間: 2025-3-25 12:41
Structuring theories on consequence,s (sets of formulae closed for the consequence relation) and not a class of models of that logic. Adopting this point of view, the semantics of Clear-like specification building operations is analysed.作者: 吊胃口 時間: 2025-3-25 17:52
Jungle evaluation,ile the possibility of structural induction is maintained, and a good part of the existing graph grammar theory is applicable so that there is some hope that the rich theory of term rewriting is not lost forever without a substitute.作者: dissolution 時間: 2025-3-25 21:24
The ACT-system experiences and future enhancements,he ACT-system. Furthermore a new interpretation technique is proposed, which works with arbitrary algebraic specifications. These concepts together allow testing of all algebraic specifications with initial or free functor semantics as well as using them as prototypes of software systems in a convenient way.作者: PANT 時間: 2025-3-26 01:30
The stratified loose approach: A generalization of initial and loose semantics,loose semantics for a given specification language often relies on methodological considerations. In this paper, we briefly recall the main features of the . specification language, the semantics of which was originally designed following the loose approach. Then we study how far some basic concerns作者: 幼兒 時間: 2025-3-26 04:55
Algebraic data type and process specifications based on projection spaces,. Instead of adopting the predefined metric, it is proposed to define the metric internally, using a suitable family of projections as part of the specification and deal with projection spaces rather than metric spaces. It is also proposed to define the data type along with the processes, to allow n作者: GIDDY 時間: 2025-3-26 10:23 作者: 適宜 時間: 2025-3-26 15:35
Completion with history-dependent complexities for generated equations,tion can either be eliminated, oriented into reductive rewrite rules or considered as nonoperational. Rewrite rules are, as usual, subject to critical pair computation. Nonoperational equations are superposed by the rewrite rules on one of their conditions. A conditional equation can be eliminated i作者: 盡責(zé) 時間: 2025-3-26 17:33
Jungle evaluation,fied operations. Jungles — being intuitively forests of coalesced trees with shared substructures — are certain acyclic hypergraphs (or equivalently, bipartite graphs) the nodes and edges of which are labeled with the sorts and operation symbols of a signature. Jungles are manipulated and evaluated 作者: 使殘廢 時間: 2025-3-27 00:26 作者: Ventilator 時間: 2025-3-27 03:42 作者: 考得 時間: 2025-3-27 08:18
978-3-540-50325-5Springer-Verlag Berlin Heidelberg 1988作者: 遺傳 時間: 2025-3-27 09:42
Recent Trends in Data Type Specification978-3-540-45970-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Ischemia 時間: 2025-3-27 15:05
The algebraic specification of semicomputable data types,A proof is given for a theorem stating that every semicomputable data type can be specified with only one hidden sort. Preceding this, definitions for the notions signature and algebra are given in the setting of category theory and the notion of a (semi-)computable algebra is discussed.作者: LIMN 時間: 2025-3-27 19:51 作者: 慟哭 時間: 2025-3-28 00:51 作者: 斜 時間: 2025-3-28 05:35 作者: Nibble 時間: 2025-3-28 08:30
Switzerland,tures and forest); the remaining area is unproductive (mountains, lakes, rivers).. The resident population in 1978 was 6.3 million, including sixteen per cent foreigners.. In Switzerland, the acquisition of real property by nonresidents is, as a rule, restricted and subject to the granting of a perm作者: Gourmet 時間: 2025-3-28 12:49
Verschiedene praktische Anwendungshilfe aus der Organisationsentwicklung,e verschiedenen Ebenen der Herausforderungen des organisationalen Kontexts herausgearbeitet die dazu beitragen die Einführung der psychischen Gef?hrdungsbeurteilung zu verhindern. Durch das dritte Kapitel wurden die Gründe für Widerst?nde sichtbar.作者: 粘 時間: 2025-3-28 18:31
Publishing Base Registries as Linked Data Event Streamsme PSBs allow to query a part of the KG on their servers, others favor publishing data dumps allowing the querying to happen on third party servers. As the budget of a PSB to publish their dataset on the Web is finite, PSBs need guidance on what interface to offer first. A core API can be designed t作者: 營養(yǎng) 時間: 2025-3-28 22:28
Manfred Weckensbew?ltigung Jugendlicher, auf den Stellenwert und die Funktionen der Massenmedien in der Lebenswelt Jugendlicher, auf didaktisch-methodische Herangehensweisen in p?dagogischen Prozessen usw. geben p?dagogische und jugendsoziologische Theorien, Forschungen um Jugend und Jugendarbeit sowie Medientheorien.作者: 招惹 時間: 2025-3-29 02:17
Application of an Optical Scatterer to the Study of Two-Phase Flow in Vertical Pipesbmit a large number of picture frames in a high speed film to individual scrutiny, an obviously very time-consuming procedure, the effort was switched to a search for another method which would give the same information more automatically.作者: obstruct 時間: 2025-3-29 03:29
Earth-Shaping with?Heterogeneous Robotic Teams: From?Sim to?Real planning strategies. We address UGV localization and material mapping, utilizing vision-based UAV-UGV collaboration and optimization techniques for robustness. Then, we discuss motion planning, providing solutions to shape on-site material exclusively using pushing actions rather than more standard pick-and-place solutions.作者: ureter 時間: 2025-3-29 07:32 作者: 催眠 時間: 2025-3-29 14:57 作者: Inferior 時間: 2025-3-29 18:39
Systems with Time-delay Feedbackith some necessary material concerning the mathematical nature of the differential equations with delay. The next two sections consider models of systems with delay, generating sequences of pulses with the phases of the carrier transformed from pulse to pulse in accordance with expanding circle maps作者: judicial 時間: 2025-3-29 22:31
0306-0225 ength-promoting effects, the pharmacokinetics and the safety of oral creatine supplementation are discussed. Finally, the present book outlines the emerging "systems biology" approaches for understanding the pl978-90-481-7652-6978-1-4020-6486-9Series ISSN 0306-0225 Series E-ISSN 2542-8810 作者: insecticide 時間: 2025-3-30 02:05 作者: Increment 時間: 2025-3-30 07:32
of the third best is provided, with extension to the equality/efficiency issue. The remarkable conclusion of treating a dollar as a dollar provides a powerful simplification of public policy formulation in general and in cost-benefit analysis in particular.978-1-349-42943-1978-1-4039-4406-1作者: 陶醉 時間: 2025-3-30 11:56
