標(biāo)題: Titlebook: Informatik in der Praxis; Aspekte ihrer indust Heinz Schw?rtzel (Leiter) Book 1986Latest edition Springer-Verlag Berlin Heidelberg 1986 Com [打印本頁] 作者: 突然 時間: 2025-3-21 17:09
書目名稱Informatik in der Praxis影響因子(影響力)
書目名稱Informatik in der Praxis影響因子(影響力)學(xué)科排名
書目名稱Informatik in der Praxis網(wǎng)絡(luò)公開度
書目名稱Informatik in der Praxis網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Informatik in der Praxis被引頻次
書目名稱Informatik in der Praxis被引頻次學(xué)科排名
書目名稱Informatik in der Praxis年度引用
書目名稱Informatik in der Praxis年度引用學(xué)科排名
書目名稱Informatik in der Praxis讀者反饋
書目名稱Informatik in der Praxis讀者反饋學(xué)科排名
作者: cultivated 時間: 2025-3-21 22:13
Neue Verfahren zur Laufzeitberechnung bei Semi-Custom-Schaltungenikalischer Entwurf“ (i. e. Plazierung und Verdrahtung), ein Werkzeug zur Berechnung von realen Laufzeiten. Diese geben dem Entwickler Hinweise auf zu gro?e Verz?gerungen und eine nicht zeitgerechte Taktversorgung. Sie werden au?erdem bei der Logiksimulation mit realen Laufzeiten ben?tigt [1]. Bei de作者: Cloudburst 時間: 2025-3-22 03:06 作者: tangle 時間: 2025-3-22 07:01
Flexible CMOS Standardzellensteht u.a. in der beschr?nkten Anzahl bzw. der zu geringen Flexibilit?t der angebotenen Zellen. Einerseits ist der zu leistende Entwicklungsaufwand bei der Vielfalt der von den Schaltungsentwicklern/Kunden für ein optimiertes Design gewünschter Zellen bezüglich Funktion, Schaltgeschwindigkeit und Ze作者: 運(yùn)動的我 時間: 2025-3-22 09:10
Zellengeneratoren — der Weg zur kundenspezifischen Zelle?hrend erreicht werden. In einem Vortrag auf der bekannten ISSCC Konferenz im Jahre 1977 wies G. Moore von Intel darauf hin, da? wegen der sehr inhomogenen Struktur von Logikschaltkreisen der Entwicklungsaufwand für diese Bausteine ins Astronomische anwachsen würde (Abb. 1). Sein damaliger Schlu?sat作者: Rankle 時間: 2025-3-22 14:21 作者: 講個故事逗他 時間: 2025-3-22 19:03
SMILE — ein Mehrebenensimulationssystemgrierten Schaltungen und Systemen stetig zu. Um dennoch mit m?glichst geringem Aufwand gro?e Entwicklungssicherheit zu erreichen, ist es erforderlich, rechnerunterstützte Entwurfsverfahren einzusetzen, wobei die Verifikation durch Simulation einen wesentlichen Aspekt darstellt.作者: 展覽 時間: 2025-3-22 22:19
Version Inconsistency in Large Systemsule after a change; hence the popularity of tools like . [2], which help the programmer restore a system to a consistent state after changes to one or more source modules. However, for large systems, the cost of restoring consistency after a change can be quite large and sometimes prohibitive. We cl作者: Limousine 時間: 2025-3-23 01:47
Funktionsprüfung integrierter Schaltungenihrer erfolgreichen Bew?ltigung und Nutzung zu l?sen sind. Das beginnt bei physikalischen Ph?nomenen, setzt sich fort bei ersten experimentellen Anwendungen und reicht bis zur Einführung der Erkenntnisse in Form neuer Methoden und Prozesse in die Entwicklung und Herstellung marktf?higer Produkte. Di作者: 保全 時間: 2025-3-23 07:49
Automatischer Generator für Analogtestprogrammeator; dieser erzeugt ein Quellprogramm in der Sprache des Prüfautomaten, das wie ein herk?mmlich, manuell erzeugtes Programm behandelt wird. Es wird compiliert und kann anschlie?end auf dem Prüfautomaten zum Ablauf gebracht werden.作者: 不遵守 時間: 2025-3-23 11:34
Rechnergestützte Programmkonstruktion und -verifikation mit formalen Regelnnsistenz zwischen Aufgabenstellung und -l?sung sicherzustellen und diese Beziehung rigoros zu demonstrieren. Konstruktion bedeutet, da? die Software — Entwicklung nach Regeln vorgenommen wird, die gleichzeitig als Beweisregeln für den Nachweis der Konsistenzbeziehung dienen. Am Ende eines Konstrukti作者: 舊式步槍 時間: 2025-3-23 17:00
K. Glashoff,K. MertenCO.. The disorder only becomes clinically significant when the increase in serum [HCO.] is sustained by impaired excretion of the excess HCO. by the kidney. Such impairment can occur with kidney failure, but occurs much more commonly as a result of functional changes in collecting duct ion transport作者: RODE 時間: 2025-3-23 19:03
K. Keiner,P. Michelain human body fluid osmolality nearly constant. Abnormalities in these processes cause hyponatremia, hypernatremia, and polyuria. The primary hormonal control of renal water excretion is by vasopressin (also named antidiuretic hormone). Thirst and vasopressin release from the posterior pituitary ar作者: STAT 時間: 2025-3-24 00:09 作者: colony 時間: 2025-3-24 02:26
K. Horninger,H. Vollmer an in-depth description of K-means partitioning including a.This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data summarization, both quantitative and categorical, is treated within the 作者: Biofeedback 時間: 2025-3-24 06:38 作者: 西瓜 時間: 2025-3-24 11:43
study. Here, from the basis of experiment, the authors first derive the Maxwell equations and special relativity. Introducing the mathematical framework of generalized tensors, the laws of mechanics, Lorentz force and the Maxwell equations are then cast in manifestly covariant form. This provides t作者: Forsake 時間: 2025-3-24 17:59 作者: opprobrious 時間: 2025-3-24 20:03
H. Morgenbrod,M. Mrva nutrition in survival after critical illness that extends for months or even years [6]. Disease-related malnutrition in critically ill patients is associated with increased morbidity and mortality [4, 7–12]. Compromised immune function, blunted respiratory drive and respiratory muscle weakness due 作者: 過剩 時間: 2025-3-25 01:47
visions in a number of Regional and Bilateral Trade Agreemen.This book examines the labour standards provisions in a number of Regional and Bilateral Trade Agreements, and assesses the potential of using the relevant clauses in these trade agreements as a benchmark for a multilateral approach. Based作者: Awning 時間: 2025-3-25 03:51
M. Gerner,B. Müller,H. Nertingerthe atomic composition, the geometric structure, and the electronic structure of condensed matter. Recently, these spectroscopies have also been used for the study of magnetic properties; such studies have a great potential to extend our knowledge and understanding of magnetic systems. This volume c作者: senile-dementia 時間: 2025-3-25 08:49
V. Haberland,F. Kreisl,R. Tannh?user structure of ferromagnetic materials.. The prominent difficulty on this way is the rather small energy associated with magnetic ordering which is of the order of KT. where T. is the materials Curie temperature. This amount of energy is smaller or at most comparable to the presently achievable preci作者: ADORN 時間: 2025-3-25 13:26
https://doi.org/10.1007/978-3-642-93336-3Computer; Hardware; Informatik; Kommunikation; Software; Symbol作者: 動機(jī) 時間: 2025-3-25 19:42 作者: 闡釋 時間: 2025-3-25 21:26
http://image.papertrans.cn/i/image/464957.jpg作者: ADAGE 時間: 2025-3-26 00:57
SMILE — ein Mehrebenensimulationssystemgrierten Schaltungen und Systemen stetig zu. Um dennoch mit m?glichst geringem Aufwand gro?e Entwicklungssicherheit zu erreichen, ist es erforderlich, rechnerunterstützte Entwurfsverfahren einzusetzen, wobei die Verifikation durch Simulation einen wesentlichen Aspekt darstellt.作者: BORE 時間: 2025-3-26 06:41 作者: GRIN 時間: 2025-3-26 12:18
Modellierung und Simulation bei informationstechnischen SystemenModellbildung und Simulation erweisen sich zunehmend als relevant für den gesamten Lebenszyklus eines informationstechnischen Systems: zum Nachweis der technischen Machbarkeit im Zusammenhang mit Angeboten, zur Auswahl der leistungsf?higsten Entwicklungsvariante und zur Ermittlung von Optimierungsm?glichkeiten.作者: 殺人 時間: 2025-3-26 15:47 作者: 雄辯 時間: 2025-3-26 19:24 作者: 有權(quán) 時間: 2025-3-26 22:03
Wartung gro?er SoftwaresystemeEin Trend, der die Softwaretechnik am st?rksten pr?gt, ist der Anstieg der Komplexit?t von Programmen: ihr Funktionsumfang, aber auch die Komponentenanzahl, -vielfalt und -verknüpfung nehmen zu. Dem Trend folgend steigt auch der Aufwand für die Realisierung und Einführung von Software.作者: AORTA 時間: 2025-3-27 03:35 作者: enhance 時間: 2025-3-27 05:18
K. Glashoff,K. Merten to genetic defects that stimulate ENaC independent of aldosterone. This chapter presents a new classification of the causes of metabolic alkalosis based on pathophysiology rather than response to treatment, and an approach to the diagnosis and treatment of this common disorder.作者: Original 時間: 2025-3-27 10:32 作者: 擴(kuò)音器 時間: 2025-3-27 15:11 作者: 令人作嘔 時間: 2025-3-27 17:51
H. Lagger,H. G. Thonemannations and their consequences is dealt with in the first chapter. Chapter 2 is devoted to conservation equations in tensor formulation; here, Cartesian tensors are introduced. Special relativity and its consequences for electrodynamics are introduced in Chapter 3 and cast in four-vector form, and he作者: 貴族 時間: 2025-3-28 01:52
ations and their consequences is dealt with in the first chapter. Chapter 2 is devoted to conservation equations in tensor formulation; here, Cartesian tensors are introduced. Special relativity and its consequences for electrodynamics are introduced in Chapter 3 and cast in four-vector form, and he作者: justify 時間: 2025-3-28 05:10
U. Joos,H. Le?enich,J. Funke,J. Deinwallnerutrition [12]. Malnutrition is common in acutely severely ill patients with a reported occurrence of 30–50 % [14, 18, 19]. In the critically ill, this overall weakness is termed ICU-acquired critical illness weakness and is the result of substantial loss of lean body mass, inadequate physical activi作者: 血友病 時間: 2025-3-28 08:43
H. Morgenbrod,M. Mrvautrition [12]. Malnutrition is common in acutely severely ill patients with a reported occurrence of 30–50 % [14, 18, 19]. In the critically ill, this overall weakness is termed ICU-acquired critical illness weakness and is the result of substantial loss of lean body mass, inadequate physical activi作者: Ptosis 時間: 2025-3-28 11:25 作者: 護(hù)航艦 時間: 2025-3-28 15:55
K. Horninger,H. Vollmercluding a number of mathematically stated relations between statistical and geometrical concepts including those between goodness-of-fit criteria for decision trees and data standardization, similarity and cons978-3-030-00270-1978-3-030-00271-8Series ISSN 1863-7310 Series E-ISSN 2197-1781 作者: 是剝皮 時間: 2025-3-28 19:37 作者: Counteract 時間: 2025-3-29 00:36
Book 1986Latest edition wieder bei der Zusammenfuhrung von Computern und Kommunikations- technik. So ist dieses Buch uber die industrielle Anwendung von Informatik durch und durch ein Buch uber Software: ihre ganz unterschiedlichen Aufgaben, die sprode Eigenwilligkeit des Umgangs mit ihr, die neuartigen Methoden im Kontex作者: exercise 時間: 2025-3-29 05:34 作者: 虛情假意 時間: 2025-3-29 09:17 作者: Canyon 時間: 2025-3-29 11:26 作者: Ige326 時間: 2025-3-29 16:54
Book 1986Latest editionen Durchdringung des Computers und seiner Anwendbarkeit zunachst deutlich vorangeeilt. Dabei hat der Computer eine entscheidende Wandlung durchgemacht: die ursprungliche "Rechenmaschine", die mit Zahlen umging, wandelte sich zum "Computer" als einer symbolverarbeitenden Maschine. Hierauf grundet sic作者: Hypomania 時間: 2025-3-29 22:00
Effiziente numerische Verfahren für die Simulation elektrischer Schaltwerkeden müssen. Die M?glichkeiten der elektrischen Simulation werden in erster Linie nicht nur durch den Speicherplatzbedarf der Simulatoren, sondern durch die prohibitiven Rechenzeiten der numerischen Verfahren begrenzt.作者: Panther 時間: 2025-3-30 00:09
Neue Verfahren zur Laufzeitberechnung bei Semi-Custom-Schaltungenr korrekten oder n?herungsweisen Berechnung wird das reale Plazierungs- und Verdrahtungsergebnis in einen RC-Baum unter Berücksichtigung der realen Geometrien und der Technologieparameter umgesetzt. Au?erdem werden bei den meisten Ans?tzen die Ausgangswiderst?nde (High → Low/ Low → High) und die Eingangskapazit?ten berücksichtigt.作者: 傳授知識 時間: 2025-3-30 06:47
Rechnergestützte Programmkonstruktion und -verifikation mit formalen Regelnonsvorgangs liegt somit zusammen mit der L?sung ein solcher Konsistenzbeweis vor. Die Abstützung auf ein formales Regelsystem erlaubt eine mit der L?sungskonstruktion schritthaltende Kontrolle und vielf?ltige maschinelle Unterstützung.作者: STELL 時間: 2025-3-30 09:42 作者: 寬度 時間: 2025-3-30 16:13 作者: Gerontology 時間: 2025-3-30 19:43
Mit der Gatearray-Methode von MSI- zu VLSI-Bausteinen Anwendung von Gatearray-Verfahren. Unter Gatearrays versteht man eine matrixf?rmige Anordnung von Transistoren (meist in Form von 2 oder 3 Paaren von p-Kanal- und n-Kanal-Transistoren, den ‘Grundzellen’ eines Gatearrays), die durch eine kundenspezifische Belegung zu der gewünschten Schaltung verbunden werden k?nnen.作者: Indelible 時間: 2025-3-30 22:43
Zellengeneratoren — der Weg zur kundenspezifischen Zellegenen Struktur von Logikschaltkreisen der Entwicklungsaufwand für diese Bausteine ins Astronomische anwachsen würde (Abb. 1). Sein damaliger Schlu?satz lautete: ?We are entering the VLSI age -thanks to memory“.作者: 語源學(xué) 時間: 2025-3-31 01:30
Version Inconsistency in Large Systems more source modules. However, for large systems, the cost of restoring consistency after a change can be quite large and sometimes prohibitive. We claim that inconsistency in large software systems is common during development, and that therefore we need methods to . inconsistency, rather than . it.作者: FATAL 時間: 2025-3-31 08:05 作者: addition 時間: 2025-3-31 12:07 作者: LINE 時間: 2025-3-31 16:56
