標(biāo)題: Titlebook: International Symposium on Programming; Proceedings of the F Bernard Robinet Conference proceedings 1980 Springer-Verlag Berlin Heidelberg [打印本頁] 作者: 厭倦了我 時(shí)間: 2025-3-21 17:17
書目名稱International Symposium on Programming影響因子(影響力)
書目名稱International Symposium on Programming影響因子(影響力)學(xué)科排名
書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度
書目名稱International Symposium on Programming網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱International Symposium on Programming被引頻次
書目名稱International Symposium on Programming被引頻次學(xué)科排名
書目名稱International Symposium on Programming年度引用
書目名稱International Symposium on Programming年度引用學(xué)科排名
書目名稱International Symposium on Programming讀者反饋
書目名稱International Symposium on Programming讀者反饋學(xué)科排名
作者: 支形吊燈 時(shí)間: 2025-3-21 21:01
Processus non-sequentiels et leurs observations en univers non-centralise,, indispensable en univers non-centralisé, permet de définir une classe de processus qui étend la classe des processus non-séquentiels à observations séquentielles. Nous comparons les propriétés des processus ainsi définis à celles des "domaines concrets".作者: Bother 時(shí)間: 2025-3-22 02:28
An algebraic structure of petri nets, compactness, fireability and K-density of marked nets are discussed. A classification of nets is proposed and an attempt of the algebraic definition of net with properties required from "well defined" dynamic concurrent system is given.作者: LINE 時(shí)間: 2025-3-22 06:30 作者: Processes 時(shí)間: 2025-3-22 09:29
Concrete control phases in languages for programming complex systems,ing through; further, that the enablement of the main program actions should depend primarily on the presence or absence of these phase objects. Another hypothesis is that phase objects should also constitute the (dynamically changing) hierarchy of system components. Some problems and benefits are discussed.作者: 少量 時(shí)間: 2025-3-22 13:07
On relations between programs, programs and computational structures, which help to get a better understanding of both programming languages and the programming activity. In particular, the study of relations between nondeterministic programs allows to compare different concepts of nondeterminism.作者: Ige326 時(shí)間: 2025-3-22 18:09 作者: Abominate 時(shí)間: 2025-3-22 23:12 作者: Lamina 時(shí)間: 2025-3-23 03:17 作者: 暗指 時(shí)間: 2025-3-23 09:30 作者: mutineer 時(shí)間: 2025-3-23 20:10
Alan Mycrofts. However, the formal collection channel and appropriate recycling of WEEE are still in their infancy in most developing countries. In contrast, informal collection and recycling activities play a big role in end-of-life treatment of WEEE. Informal recycling activities are always associated with en作者: 發(fā)現(xiàn) 時(shí)間: 2025-3-23 23:10
Static type checking for languages with parametric types and polymorphic procedures,etric types) and polimorphic functions. A program written in this language is translated into an expression in a suitable formalism, and this expression is reduced to a normal form which can be either . or a type correct expression. This approach can also be described as that of giving a non-standar作者: MOAN 時(shí)間: 2025-3-24 05:56 作者: 硬化 時(shí)間: 2025-3-24 07:36 作者: Nerve-Block 時(shí)間: 2025-3-24 13:30
Towards a theory of abstract data types: A discussion on problems and tools, than Category Theory..First, various categorial notions such as "initiality", "finality", "monoinitiality", "epifinality", "weak monoinitiality" and "weak epifinality" are analyzed, from a model theoretic point of view, as regards the "abstractness" and the "cardinality" of the models they determin作者: CHECK 時(shí)間: 2025-3-24 17:45
On relations between programs,vide a basis for the formal justification of the development of programs by transformations. Besides equivalences there are various other relations on programs and computational structures, which help to get a better understanding of both programming languages and the programming activity. In partic作者: 小官 時(shí)間: 2025-3-24 19:13
A communication data type for message oriented programming,lementation (expressed in a high level application language) in message oriented programming. We show how the notion of algebraic specification can be used to formalize the communications primitives and then applied to the verification of communications properties of parallel programs. We illustrate作者: 拖債 時(shí)間: 2025-3-25 00:21
Processus non-sequentiels et leurs observations en univers non-centralise,ertitude sur les dates des événements d‘un processus non-séquentiel, pour tout observateur de ce processus. Considérant cette caractéristique, le problème abordé est le suivant : quelles sont les définitions les moins restrictives des concepts de processus et d‘observations de processus assurant l‘i作者: Adjourn 時(shí)間: 2025-3-25 05:06 作者: 鉤針織物 時(shí)間: 2025-3-25 10:35 作者: discord 時(shí)間: 2025-3-25 15:31 作者: HERE 時(shí)間: 2025-3-25 17:36
,Structures de controle et puissances d’expression,e (affectations, entrées-sorties ...). A cette structure de contr?le peut être associée la puissance du langage, c‘est-à-dire la capacité du langage à décrire des suites d‘opérations de telle ou telle complexité..En utilisant le formalisme des arbres à feuilles indicées comme modèle des programmes, 作者: 爭論 時(shí)間: 2025-3-25 21:32
Conception et optimisation des descentes recursives,es analyseurs de descente récursive déterministes. Ces automates simples -analogues au "separable transition diagram"- sont construits systématiquement à partir des règles LL(1+?) -des LL(1) pouvant être ambigües sur ?- mises sous une forme normalisée des "regular right part grammars" appellée FNBNF作者: floaters 時(shí)間: 2025-3-26 03:40
An algebraic structure of petri nets,It turns out that nets representing sequential systems and processes are atoms of this lattice, and this fact provides the natural way of building nets representing. concurrent systems as the superposition of nets representing sequential system components..The notion of concurrency relation for larg作者: 冒煙 時(shí)間: 2025-3-26 07:07 作者: 高爾夫 時(shí)間: 2025-3-26 12:16 作者: Medicaid 時(shí)間: 2025-3-26 16:19
978-3-540-09981-9Springer-Verlag Berlin Heidelberg 1980作者: Somber 時(shí)間: 2025-3-26 17:00
International Symposium on Programming978-3-540-39233-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 討人喜歡 時(shí)間: 2025-3-27 00:46
0302-9743 Overview: 978-3-540-09981-9978-3-540-39233-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Autobiography 時(shí)間: 2025-3-27 04:12
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/472054.jpg作者: 大方不好 時(shí)間: 2025-3-27 07:46
An algorithm for translating LISP programs into reduction language programs,An algorithm for translating LISP programs into reduction language programs is presented. It allows us to compare some features of the two languages: presence/absence of environment, free variables, evaluation rules, and parallelism. It may lead to efficient execution of LISP programs on a reduction machine.作者: 豐富 時(shí)間: 2025-3-27 13:24 作者: neuron 時(shí)間: 2025-3-27 15:28 作者: HEED 時(shí)間: 2025-3-27 21:29
,Structures de controle et puissances d’expression,e (affectations, entrées-sorties ...). A cette structure de contr?le peut être associée la puissance du langage, c‘est-à-dire la capacité du langage à décrire des suites d‘opérations de telle ou telle complexité..En utilisant le formalisme des arbres à feuilles indicées comme modèle des programmes, on établit les résultats suivants :作者: 野蠻 時(shí)間: 2025-3-28 01:25 作者: 愛國者 時(shí)間: 2025-3-28 02:45 作者: 悲痛 時(shí)間: 2025-3-28 06:58
Towards a theory of abstract data types: A discussion on problems and tools, requirement. We also show that none of the above quoted categorial notions captures recursiveness..Finally, we consider our own definition of abstract data type, based on model-theoretic notions; we analyze this definition in the frame of the proposed formalization of recursiveness, and illustrate 作者: pineal-gland 時(shí)間: 2025-3-28 13:13
A case study of abstract implementations and their correctness,a type for performing some text analysis is specified and implemented by arrays which are accessed via an efficient hashing technique. Moreover, we give a correctness proof of this implementation that partly refers to correctness criteria introduced in an earlier paper where the whole concept is dis作者: SOB 時(shí)間: 2025-3-28 17:20
About program termination and simplification, scheme and of the class of interpretations. Finally, we show how one can, making more and more precise the specifications of the interpretations, derive in the same way more and more refined simplifications of the program scheme.作者: BRAWL 時(shí)間: 2025-3-28 20:04 作者: Indigence 時(shí)間: 2025-3-28 23:06
P. E. Lauer,P. R. Torrigiani,R. Devillersstitionsgüter, die Umsetzung der ?kologischen Produktbeurteilung auf Grundlage von Standardsoftwaresystemen sowie die Gestaltung der Mensch-Maschine-Schnittstelle für eine umweltgerechte Bedienung des Produkts. Darüber hinaus bietet ein Umsetzungsleitfaden eine Orientierungshilfe für die Anwender des EcoDesigns in der Praxis..978-3-540-75438-1作者: Dendritic-Cells 時(shí)間: 2025-3-29 06:28 作者: entreat 時(shí)間: 2025-3-29 10:44
Brian H. Mayohproduct development if the product is planned to be remanufactured at its end of life. This paper thus presents a method to diagnose the structure of the product and extract the major improvement factors for easy disassembly. Also, the application of these factors to small household appliances in th作者: 說明 時(shí)間: 2025-3-29 15:02
Alan Mycroftame theory, a dual-channel collection and recycling model is established, in which the formal and informal recycling activities are divided. In this dual-channel model, the informal collector has two choices, either sending WEEE to the formal recycler or to the informal recycler. The authors also in作者: 黃瓜 時(shí)間: 2025-3-29 17:02 作者: creditor 時(shí)間: 2025-3-29 23:13 作者: 證明無罪 時(shí)間: 2025-3-30 03:35 作者: FACT 時(shí)間: 2025-3-30 04:26
Sueyoung Park-Primiano term ‘iwi Maori’ used here refers to the united tribal groupings of Maori people, whereas ‘Maori’ used on its own indicates a collective but less tribally specific perspective. Maori share experiences of the politics of oppression and repression resulting from nineteenth century British colonisatio作者: covert 時(shí)間: 2025-3-30 09:41 作者: Melanoma 時(shí)間: 2025-3-30 14:28 作者: 親密 時(shí)間: 2025-3-30 18:28
B. H. Elvynotwendig und werden erst zur Krankheitsursache, wenn sie in qualitativ oder quantitativ ver?nderter Form einwirken. Dies tritt am deutlichsten in Erscheinung bei denjenigen Stoffen unserer Au?enwelt, die der K?rper dauernd aus ihr aufzunehmen gezwungen ist, bei der Ern?hrung im weitesten Sinne des 作者: HALO 時(shí)間: 2025-3-30 23:32
The Anatomic, Constraint and Material Properties of the Scapholunate Interosseous Ligament: A Prelimhe scapholunate joint. It has been felt to be a critical structure for maintaining structural integrity within the proximal carpal row, and thus important in maintaining normal carpal mechanics.. Complete disruption of the scapholunate ligament has been associated with a clinical condition of instab作者: cauda-equina 時(shí)間: 2025-3-31 01:19 作者: Gourmet 時(shí)間: 2025-3-31 07:18
,Chapter 5 Riemann’s Geometric Function Theory,ively little. Unusually for a major mathematician, his ., even augmented as they are by notes from lecture courses and papers left unpublished at his death, fill only a single volume. Each of his papers on complex function theory extended the subject greatly and then applied it to solve a substantia作者: 閃光你我 時(shí)間: 2025-3-31 09:23 作者: 財(cái)主 時(shí)間: 2025-3-31 17:22
The Synthesis: John Gabriel Borkmanc setting. Bernick and Stockmann are Brand’s successors, the ambitious bourgeois of contemporary Norway, one a ruthless magnate, the other a heroic reformer embroiled in the great social issues of the time. But by comparison with Brand, their stature is markedly diminished. For a start, their world 作者: Traumatic-Grief 時(shí)間: 2025-3-31 20:15
2192-6255 oncepts related to autonomy of human and AI systems.Fosters .This book gathers contributions from the fourth edition of the Conference on "Philosophy and Theory of Artificial Intelligence" (PT-AI), held on 27-28th of September 2021 at Chalmers University of Technology, in Gothenburg, Sweden. It cove作者: altruism 時(shí)間: 2025-3-31 22:25 作者: Ardent 時(shí)間: 2025-4-1 05:47
After the 1991 Gulf War the American academic and dissident Noam Chomsky pointed out, the much weaker opponent ‘must not merely be defeated but pulverised if the central lesson of World Order is to be learned: we are the masters and you shine our shoes’.作者: pester 時(shí)間: 2025-4-1 09:07
https://doi.org/10.1007/978-3-663-16293-3Anf?lle aufgetreten sind. Die Notwendigkeit der Entfernung eines im Gehirn steckenden Fremdk?rpers soll daher von Fall zu Fall erwogen und nur unter sorgf?ltiger Abw?gung des Für und Wider vorgenommen werden.作者: intuition 時(shí)間: 2025-4-1 11:34
David J. Burns,Robert F. Krampfheme to identify the events of concern. Addressing a need for more objective sampling methods in corporate finance event studies, this timely book will appeal to students and academics researching financial econometrics and time series analysis, corporate finance and capital markets..作者: 金絲雀 時(shí)間: 2025-4-1 18:18 作者: Vulnerary 時(shí)間: 2025-4-1 18:47
0302-9743 nce, presentation quality, and relevance to the conference. The accepted papers cover various s- jects such as workflow technology, coordination technology, advanced trans- tions, groupware sys978-3-540-44222-6978-3-540-45785-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: gerrymander 時(shí)間: 2025-4-2 01:38 作者: IST 時(shí)間: 2025-4-2 06:31
t forms the basis for a modern treatment of gauge theories.S.The book covers the theory of Quantum Gravitation from the point of view of Feynman path integrals. These provide a manifestly covariant approach in which fundamental quantum aspects of the theory such as radiative corrections and the reno作者: 察覺 時(shí)間: 2025-4-2 07:53
