標(biāo)題: Titlebook: Software Prototyping mit SETL; Ernst-Erich Doberkat,Dietmar Fox Textbook 1989 Springer Fachmedien Wiesbaden 1989 Algorithmen.Datentypen.Ei [打印本頁] 作者: 預(yù)兆前 時(shí)間: 2025-3-21 16:28
書目名稱Software Prototyping mit SETL影響因子(影響力)
書目名稱Software Prototyping mit SETL影響因子(影響力)學(xué)科排名
書目名稱Software Prototyping mit SETL網(wǎng)絡(luò)公開度
書目名稱Software Prototyping mit SETL網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Prototyping mit SETL被引頻次
書目名稱Software Prototyping mit SETL被引頻次學(xué)科排名
書目名稱Software Prototyping mit SETL年度引用
書目名稱Software Prototyping mit SETL年度引用學(xué)科排名
書目名稱Software Prototyping mit SETL讀者反饋
書目名稱Software Prototyping mit SETL讀者反饋學(xué)科排名
作者: CODA 時(shí)間: 2025-3-21 23:15 作者: 赦免 時(shí)間: 2025-3-22 02:14 作者: 癡呆 時(shí)間: 2025-3-22 05:17 作者: Enteropathic 時(shí)間: 2025-3-22 09:12
978-3-519-02272-5Springer Fachmedien Wiesbaden 1989作者: 邊緣帶來墨水 時(shí)間: 2025-3-22 16:54
Overview: 978-3-519-02272-5978-3-322-94710-9作者: 得罪 時(shí)間: 2025-3-22 19:14
Einfache Programm-Konstrukte,t ist (der Typ von Variablen also erst zur Laufzeit festgestellt wird). Daher ist es für den Programmierer mitunter n?tig, den Typ einer Variablen in einem Programm untersuchen zu k?nnen. Die entsprechenden Hilfsmittel werden ebenfalls hier bereitgestellt. An dieser Stelle stehen schon genug Hilfsmi作者: 鳴叫 時(shí)間: 2025-3-22 22:43 作者: 沉默 時(shí)間: 2025-3-23 05:16 作者: 不可接觸 時(shí)間: 2025-3-23 08:03 作者: 小蟲 時(shí)間: 2025-3-23 13:39
Ernst-Erich Doberkat,Dietmar Foxμ if every μ-negligible σ(.)-set is .-negligible. Another equivalent condition is the following condition. For every . in . and for every ? > 0, there exists δ > 0 such that for all . in ? contained in . and satisfying the inequality |μ|(.) ≤ δ, we have |.|(.) ≤ ? (Theorem 10.3.2). This also amounts作者: 杠桿支點(diǎn) 時(shí)間: 2025-3-23 17:06 作者: 和藹 時(shí)間: 2025-3-23 21:02
. or the space .([a, b]) of real-valued continuous functions on [.] with their natural orderings..1.2 It is devoted to a short study of Riesz spaces, that is, ordered vector spaces which are lattices. The space . of real-valued continuous functions on [.], endowed with its usual ordering, is an exa作者: BOOM 時(shí)間: 2025-3-24 01:58
Ernst-Erich Doberkat,Dietmar Foxthe set ., where ? runs over the set of finite partitions of ., is bounded. When . = ., the variation of . is locally bounded if and only if . is the difference of two increasing functions (Proposition 13.1.3)..13.2 Denote by . the natural semiring of . subinterval of .. If μ is any measure on ., ev作者: 震驚 時(shí)間: 2025-3-24 05:19
Ernst-Erich Doberkat,Dietmar Fox→ . is said to be locally μ-integrable whenever .l. a is μ-integrable for every . in .; then the measure .μ: . → ∫ .l. is called the measure with density . relative to μ. .(.μ) = |.|.μ, (Proposition 10.2.1), and ∫. .(.μ) = ∫. . |.| .μ for all functions . Ω → [0, +∞] (Theorem 10.2.2). A mapping . fro作者: 柱廊 時(shí)間: 2025-3-24 08:05 作者: perimenopause 時(shí)間: 2025-3-24 13:04
Einfache Programm-Konstrukte,mitiven, also von der Sprache vorgegebenen Datentypen umfassen. Hier diskutieren wir die aus Pascal oder LISP bekannten Datentypen . (also Zeichenketten) und .; dies geschieht zun?chst durch die Angabe der Typen, einfache Beispiele, und durch die Diskussion der darauf definierten Standardfunktionen.作者: alliance 時(shí)間: 2025-3-24 15:34 作者: CORD 時(shí)間: 2025-3-24 22:29
Beispiele,thmus von Knuth, Morris und Pratt vor, der ein Muster in einer Zeichenkette zu finden gestattet. Hier zeigt es sich, da? sich mit Mengen und Abbildungen durchsichtig formulieren l??t, auch wenn die eigentliche Programmstruktur doch noch recht ?hnlich zu der eines Pascal-Programms ist. Dies ?ndert si作者: QUAIL 時(shí)間: 2025-3-25 00:55 作者: Compassionate 時(shí)間: 2025-3-25 04:12
Zusammengesetzte Datentypen,nenten wird auch bei Feldern (.), dem Analogon zu Tupeln, gefordert, die zudem in vielen Sprachen nur in einer statischen Variante vorkommen, d.h. die maximale Anzahl der Komponenten eines Feldes ist (in einer Typdeklaration) vorzugeben.作者: Expediency 時(shí)間: 2025-3-25 10:30 作者: Ophthalmoscope 時(shí)間: 2025-3-25 13:44
Debashis Bandyopadhyayiehungsmarketing gekennzeichnet worden. Für die Konzeption eines markenbasierten Verkaufsmanagements im Rahmen der internen Perspektive dieser Arbeit ist das Konzept damit von zentraler Bedeutung. Eine genauere Untersuchung des Ansatzes hat die N?he, aber auch die Unterschiede zum weit verbreiteten 作者: CT-angiography 時(shí)間: 2025-3-25 17:34
Jochen R?pkelumes III/4 and III/12 .Magnetic and other properties of magnetic oxides and related. .compounds. which appeared in 1970 and in the period 1978 - 1982 respectively. In a way this volume also forms a counterpart to volume III/19, in which the magnetic properties of metals, alloys and metallic compoun作者: irritation 時(shí)間: 2025-3-26 00:01 作者: insurgent 時(shí)間: 2025-3-26 03:19
QFESTA: Efficient Algorithms and?Parameters for?FESTA Using Quaternion Algebrasocol that uses the SIDH attack for decryption. In the same paper, they proposed parameters for that protocol, but the parameters require high-degree isogeny computations. In this paper, we introduce QFESTA?(Quaternion Fast Encapsulation from Supersingular Torsion Attacks), a new variant of FESTA tha作者: Alpha-Cells 時(shí)間: 2025-3-26 05:43 作者: 婚姻生活 時(shí)間: 2025-3-26 09:53
Molecular Aspects of Host-Pathogen Interactions in the Rice-Blast System,.) worldwide. ., a heterothallic Ascomycete, is also phytopathogenic to more than fifty Graminaceous species. These include forage grasses and economically important cereal crops like wheat, barley, maize and fingermillet. Although the organism as a whole infects many different species of grasses, i作者: 群居動(dòng)物 時(shí)間: 2025-3-26 13:55
Operant Conditioning in Marketing,century. The source in this case was an American, Edward Thorn-dike, who was studying the way animals solve problems. From watching a number of animals learn to solve mazes and to get out of puzzle boxes, he concluded that when an action is followed by a “satisfying state of affairs,” it tends to be作者: Digitalis 時(shí)間: 2025-3-26 18:38
Overview of the Main Wood Characteristics a connection to the underlying ...Important wood characteristics, particularly those visible on standing timber or felled logs, will be highlighted in the following overview with two stars (**). Wood characteristics not specifically covered in the overview, but still mentioned in the descriptions, 作者: 時(shí)代 時(shí)間: 2025-3-26 21:58
Efficient Proofs of?Knowledge for?Threshold Relations is an efficient and modular transformation that starting from a large class of .-protocols and a corresponding threshold relation ., provides an efficient .-protocol for . with improved communication complexity w.r.t. prior results. Our transformation preserves statistical/perfect honest-verifier zero knowledge.作者: 大包裹 時(shí)間: 2025-3-27 03:55
Rigid Motion Constraints for Tracking Planar Objectsent approaches of dealing with the spatial coherence in the context of tracking planar scenes. We also show the benefits in scenes with occlusions and changes in illumination, even without models of these distortions.作者: 弄臟 時(shí)間: 2025-3-27 09:00 作者: 悶熱 時(shí)間: 2025-3-27 11:28 作者: 一夫一妻制 時(shí)間: 2025-3-27 14:38 作者: Traumatic-Grief 時(shí)間: 2025-3-27 17:50
Netzhaut, Sehnerv und die Sehbahn,ern bleibt auf der Chorioidea liegen. Die lichtempfindliche, bis zur ?ra serrata reichende Pars optica der Netzhaut besteht aus drei Schichten nerv?ser Zellen und aus drei aus Nervenfasern zusammengesetzten Schichten, die die Zellschichten miteinander verbinden.作者: 鋪?zhàn)?nbsp; 時(shí)間: 2025-3-28 01:01 作者: Harbor 時(shí)間: 2025-3-28 04:20
Die Planung einer automatisierten Verwaltung,Wenn sich die Leitung eines Unternehmens oder einer Institution dazu entschlie?t, ihre Verwaltung mit Hilfe einer elektronischen Datenverarbeitungsanlage zu automatisieren, so mu? sie damit rechnen, da? ihr Entschlu? weitgehende Konsequenzen hat.作者: 使無效 時(shí)間: 2025-3-28 06:44
Comparison of Growth of Two Cohorts of Schoolboys in Different Settings,作者: 硬化 時(shí)間: 2025-3-28 14:19
