標(biāo)題: Titlebook: Mathematics of Program Construction; Third International Bernhard M?ller Conference proceedings 1995 Springer-Verlag Berlin Heidelberg 199 [打印本頁(yè)] 作者: 漠不關(guān)心 時(shí)間: 2025-3-21 16:59
書(shū)目名稱(chēng)Mathematics of Program Construction影響因子(影響力)
書(shū)目名稱(chēng)Mathematics of Program Construction影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Mathematics of Program Construction網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction被引頻次
書(shū)目名稱(chēng)Mathematics of Program Construction被引頻次學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction年度引用
書(shū)目名稱(chēng)Mathematics of Program Construction年度引用學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction讀者反饋
書(shū)目名稱(chēng)Mathematics of Program Construction讀者反饋學(xué)科排名
作者: 大炮 時(shí)間: 2025-3-22 00:08
Natarajan Shankarn various contexts: mathematical physics, chemistry, mathematical biology, and population genetics. Based on the authors‘ original work, this volume provides an overview of the field, with examples suitable for researchers but also for graduate students entering research. The method of presentation?作者: atrophy 時(shí)間: 2025-3-22 02:42
Ali E. Abdallahn various contexts: mathematical physics, chemistry, mathematical biology, and population genetics. Based on the authors‘ original work, this volume provides an overview of the field, with examples suitable for researchers but also for graduate students entering research. The method of presentation?作者: 使人煩燥 時(shí)間: 2025-3-22 06:56 作者: 抓住他投降 時(shí)間: 2025-3-22 10:58
Jean-Fran?ois Monint infinity the growth condition .This is done by means of a fixed point argument and a careful analysis of the control of linearized heat equations relying on global Carleman estimates. The problem of controlling the blow up in this sense remains open for nonlinearities growing at infinity like . ~ 作者: 賄賂 時(shí)間: 2025-3-22 13:08 作者: PLAYS 時(shí)間: 2025-3-22 19:27 作者: GONG 時(shí)間: 2025-3-22 22:51
Rudolf Berghammer,Burghard von Kargersted in the applications of nonlinear differential equations to physics will find this volume particularly useful. A knowledge ofdifferential geometry is recommended for the first portion of the book, as well as a familiarity with basic concepts in physics..978-3-030-17030-1978-3-030-17031-8Series ISSN 2522-0969 Series E-ISSN 2522-0977 作者: 恩惠 時(shí)間: 2025-3-23 03:48
F. S. de Boer,M. van Hulststed in the applications of nonlinear differential equations to physics will find this volume particularly useful. A knowledge ofdifferential geometry is recommended for the first portion of the book, as well as a familiarity with basic concepts in physics..978-3-030-17030-1978-3-030-17031-8Series ISSN 2522-0969 Series E-ISSN 2522-0977 作者: Tempor 時(shí)間: 2025-3-23 09:13
Sharon Curtis,Gavin Lowested in the applications of nonlinear differential equations to physics will find this volume particularly useful. A knowledge ofdifferential geometry is recommended for the first portion of the book, as well as a familiarity with basic concepts in physics..978-3-030-17030-1978-3-030-17031-8Series ISSN 2522-0969 Series E-ISSN 2522-0977 作者: 去才蔑視 時(shí)間: 2025-3-23 09:42
Victor J. Dielissen,Anne Kaldewaijows and of rate-independent evolution problems.The book explores the fundamental connections between all of these topics and points to new research directions in contributions by leading experts in these fields.978-3-642-21718-0978-3-642-21861-3Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: Overthrow 時(shí)間: 2025-3-23 16:46 作者: 符合你規(guī)定 時(shí)間: 2025-3-23 21:24
M. Frappier,A. Mili,J. Desharnaisows and of rate-independent evolution problems.The book explores the fundamental connections between all of these topics and points to new research directions in contributions by leading experts in these fields.978-3-642-21718-0978-3-642-21861-3Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: assent 時(shí)間: 2025-3-24 02:02
Jeremy Gibbonsows and of rate-independent evolution problems.The book explores the fundamental connections between all of these topics and points to new research directions in contributions by leading experts in these fields.978-3-642-21718-0978-3-642-21861-3Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: debble 時(shí)間: 2025-3-24 06:13 作者: GRAVE 時(shí)間: 2025-3-24 10:05
Wim H. Hesselinkows and of rate-independent evolution problems.The book explores the fundamental connections between all of these topics and points to new research directions in contributions by leading experts in these fields.978-3-642-21718-0978-3-642-21861-3Series ISSN 0075-8434 Series E-ISSN 1617-9692 作者: EXALT 時(shí)間: 2025-3-24 13:59
genetics. Based on the authors‘ original work, this volume provides an overview of the field, with examples suitable for researchers but also for graduate students entering research. The method of presentation?978-3-642-26984-4978-3-642-22664-9Series ISSN 1439-7382 Series E-ISSN 2196-9922 作者: Ptsd429 時(shí)間: 2025-3-24 16:03 作者: Bumptious 時(shí)間: 2025-3-24 20:22
Richard S. Birdgenetics. Based on the authors‘ original work, this volume provides an overview of the field, with examples suitable for researchers but also for graduate students entering research. The method of presentation?978-3-642-26984-4978-3-642-22664-9Series ISSN 1439-7382 Series E-ISSN 2196-9922 作者: Madrigal 時(shí)間: 2025-3-24 23:17
Thierry Coquandgenetics. Based on the authors‘ original work, this volume provides an overview of the field, with examples suitable for researchers but also for graduate students entering research. The method of presentation?978-3-642-26984-4978-3-642-22664-9Series ISSN 1439-7382 Series E-ISSN 2196-9922 作者: 蝕刻術(shù) 時(shí)間: 2025-3-25 06:51 作者: Feckless 時(shí)間: 2025-3-25 09:00 作者: ostensible 時(shí)間: 2025-3-25 13:13 作者: 收到 時(shí)間: 2025-3-25 16:46 作者: 預(yù)示 時(shí)間: 2025-3-25 21:37
https://doi.org/10.1007/3-540-60117-1Formale Methoden; Programmimplementierung; Programmkonstruktionen; Verifikation; algorithm; algorithms; fo作者: cumber 時(shí)間: 2025-3-26 04:03 作者: Geyser 時(shí)間: 2025-3-26 07:31
Program construction by parts,or each; then combine all the partly defined programs into a single program that satisfies all the requirements simultaneously. In this paper we introduces a mathematical basis for solving this problem; and we illustrate it by means of a simple example.作者: anachronistic 時(shí)間: 2025-3-26 10:18
An initial-algebra approach to directed acyclic graphs, different ways of constructing the same object. The recursive decomposition of objects of the datatype leads directly to a recursive pattern of computation on those objects, which is very helpful for both functional and parallel programming..We show how to model a particular kind of directed acyclic graph using this initial-algebra approach.作者: insolence 時(shí)間: 2025-3-26 12:51 作者: 解決 時(shí)間: 2025-3-26 16:47
Conference proceedings 1995ny in July 1995..Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding s作者: 避開(kāi) 時(shí)間: 2025-3-26 21:36 作者: 欺騙世家 時(shí)間: 2025-3-27 02:00 作者: 四海為家的人 時(shí)間: 2025-3-27 09:11
A compositional proof system for asynchronously communicating processes,formalism serves well as a basis for refinement and top-down development of distributed systems composed of asynchronously communicating processes. Moreover, we show that the first-order logic underlying the interface-specification language is decidable, which makes (semi-) automated verification more feasible.作者: 條街道往前推 時(shí)間: 2025-3-27 11:51 作者: Prosaic 時(shí)間: 2025-3-27 17:34
,Angelic termination in Dijkstra’s calculus,on proposal, the semantics are given by monotonic predicate transformers and monotonic operations on them. In this way the semantics of recursion is completely standard. The paper concludes with proof rules for recursive procedures and a small example of their applications.作者: STERN 時(shí)間: 2025-3-27 20:53 作者: 預(yù)感 時(shí)間: 2025-3-28 00:10
Conference proceedings 1995missions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.作者: Valves 時(shí)間: 2025-3-28 03:23
Towards automatic parallelization of logic programs,gram by generating the appropriate delay declarations, so that correctness is maintained and deadlock avoided. To this end we identify the crucial properties that the original Prolog program should satisfy and analyze which aspects of the parallelization process and of the correctness proof could be automated.作者: 把手 時(shí)間: 2025-3-28 06:59
A simple, efficient, and flexible implementation of flexible arrays,without affecting time complexities. The standard flexible array operations take .(log . time, where . is the size of the flexible array. Additional operations, such as minimum and maximum take .(1) time.作者: 注入 時(shí)間: 2025-3-28 12:56
An action system specification of the caltech asynchronous microprocessor,ecification. We propose a specification strategy that is based on the idea of . of the program variable space. Applying this strategy we give a completely formal derivation of a high level specification for the Caltech microprocessor. We also demonstrate the suitability of action systems and the stepwise refinement paradigm for ..作者: Ancillary 時(shí)間: 2025-3-28 15:13
A graphical calculus,onal and sequential calculi. The graphical calculus makes formulae easier to understand, and so often makes the next step in a proof more obvious. Furthermore, it is more expressive, and so allows a number of proofs that cannot otherwise be undertaken in a point-free way.作者: MAG 時(shí)間: 2025-3-28 22:00
Induction and recursion on datatypes,ting reductive relations are discussed..The principle is formulated in the point-free calculus of relations guaranteeing concision without loss of precision and thus ensuring its amenability to calculation.作者: Defiance 時(shí)間: 2025-3-29 00:41
0302-9743 sponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.978-3-540-60117-3978-3-540-49445-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Colonoscopy 時(shí)間: 2025-3-29 06:49 作者: 劇毒 時(shí)間: 2025-3-29 09:03 作者: 暫停,間歇 時(shí)間: 2025-3-29 14:10 作者: 有偏見(jiàn) 時(shí)間: 2025-3-29 18:05
Exploring summation and product operators in the refinement calculus, corresponds to conjunction of specifications. We show how the product operator may be used to model extension and modification operators for programs, and how a combination of the product and summation operators may be used to model inheritance in an object-oriented programming language.作者: 訓(xùn)誡 時(shí)間: 2025-3-29 22:51 作者: 設(shè)施 時(shí)間: 2025-3-30 00:57
Krzysztof R. Apteen mathematics, biology, chemistry and population genetics?The emphasis throughout the present?volume is on the practical application of theoretical mathematical models?helping to unravel the underlying mechanisms involved in processes from mathematical physics and biosciences. It has been conceive作者: bourgeois 時(shí)間: 2025-3-30 06:43 作者: STAT 時(shí)間: 2025-3-30 11:58
Manfred Broyisms involved in processes from mathematical physics and biosciences. It has been conceived as a unique collection of abstract methods dealing especially with nonlinear partial differential equations (either stationary or evolutionary) that are applied to understand concrete processes involving some作者: Inveterate 時(shí)間: 2025-3-30 15:02 作者: Gum-Disease 時(shí)間: 2025-3-30 17:32
Natarajan Shankarisms involved in processes from mathematical physics and biosciences. It has been conceived as a unique collection of abstract methods dealing especially with nonlinear partial differential equations (either stationary or evolutionary) that are applied to understand concrete processes involving some作者: 無(wú)可爭(zhēng)辯 時(shí)間: 2025-3-31 00:12 作者: 悲觀 時(shí)間: 2025-3-31 01:17 作者: Entirety 時(shí)間: 2025-3-31 08:16 作者: 使糾纏 時(shí)間: 2025-3-31 12:18 作者: AUGER 時(shí)間: 2025-3-31 16:02 作者: 構(gòu)成 時(shí)間: 2025-3-31 19:51
F. S. de Boer,M. van Hulstch the applications of nonlinear differential equations to pThis volume presents lectures given at the Summer School Wis?a 18: Nonlinear PDEs, Their Geometry, and Applications, which took place from August 20 - 30th, 2018 in Wis?a, Poland, and was organized by the Baltic Institute of Mathematics. Th作者: 疲憊的老馬 時(shí)間: 2025-3-31 22:22
Sharon Curtis,Gavin Lowech the applications of nonlinear differential equations to pThis volume presents lectures given at the Summer School Wis?a 18: Nonlinear PDEs, Their Geometry, and Applications, which took place from August 20 - 30th, 2018 in Wis?a, Poland, and was organized by the Baltic Institute of Mathematics. Th作者: Hearten 時(shí)間: 2025-4-1 03:36
Victor J. Dielissen,Anne Kaldewaijand resultsThis volume collects the notes of the CIME course "Nonlinear PDE’s and applications" held in Cetraro (Italy) on June 23–28, 2008. It consists of four series of lectures, delivered by Stefano Bianchini (SISSA, Trieste), Eric A. Carlen (Rutgers University), Alexander Mielke (WIAS, Berlin),
