This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.;Th...
详细信息
ISBN:
(数字)9783540487852
ISBN:
(纸本)9783540584261
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.;The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.
ISBN:
(数字)9783030378738
ISBN:
(纸本)9783030378721
This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.
Data compression is now indispensable to products and services of many industries including computers, communications, healthcare, publishing and entertainment. This invaluable resource introduces this area to info...
详细信息
ISBN:
(数字)9781461560319
ISBN:
(纸本)9780412085512;9781461377641
Data compression is now indispensable to products and services of many industries including computers, communications, healthcare, publishing and entertainment. This invaluable resource introduces this area to information system managers and others who need to understand how it is changing the world of digital systems. For those who know the technology well, it reveals what happens when data compression is used in real-world applications and provides guidance for future technology development.
The purpose of this annual series, Applied and Computational control, Signals, and Circuits, is to keep abreast of the fast-paced developments in computational mathematics and scientific computing and their increasing...
详细信息
ISBN:
(数字)9781461205715
ISBN:
(纸本)9780817639549;9781461268222
The purpose of this annual series, Applied and Computational control, Signals, and Circuits, is to keep abreast of the fast-paced developments in computational mathematics and scientific computing and their increasing use by researchers and engineers in control, signals, and circuits. The series is dedicated to fostering effective communication between mathematicians, computer scientists, computational scientists, software engineers, theorists, and practicing engineers. This interdisciplinary scope is meant to blend areas of mathematics (such as linear algebra, operator theory, and certain branches of analysis) and computational mathematics (numerical linear algebra, numerical differential equations, large scale and parallel matrix computations, numerical optimization) with control and systems theory, signal and image processing, and circuit analysis and design. The disciplines mentioned above have long enjoyed a natural synergy. There are distinguished journals in the fields of control and systems the ory, as well as signal processing and circuit theory, which publish high quality papers on mathematical and engineering aspects of these areas; however, articles on their computational and applications aspects appear only sporadically. At the same time, there has been tremendous recent growth and development of computational mathematics, scientific comput ing, and mathematical software, and the resulting sophisticated techniques are being gradually adapted by engineers, software designers, and other scientists to the needs of those applied disciplines.
This book constitutes the refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.
ISBN:
(数字)9783030380434
ISBN:
(纸本)9783030380427
This book constitutes the refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.
Für euch, Kinder der Wissenschaft und der Weisheit, haben wir dieses geschrieben. Erforschet das Buch und suchet euch unsere Ansicht zusammen, die wir verstreut und an mehreren Orten dargetan haben; was euch an e...
详细信息
ISBN:
(数字)9783709140543
Für euch, Kinder der Wissenschaft und der Weisheit, haben wir dieses geschrieben. Erforschet das Buch und suchet euch unsere Ansicht zusammen, die wir verstreut und an mehreren Orten dargetan haben; was euch an einem Orte verborgen bleibt, das haben wir an einem anderen offenge/egt, damit es faßbar werde für eure Weisheit. Heinrich Cornelius Agrippa von Nettesheim, "De occulta philosophia". Angesichts einer wahren Flut von Büchern über Informatik erhebt sich die berechtig te Frage, was vier in der Informatiker-Ausbildung an der Technischen Universität Wien tätige Autoren veranlaßt, beinahe ein ganzes Jahr ihrer ohnedies knappen Zeit zu opfern und ein weiteres zu schreiben H ••• damit es faßbar werde für eure Weisheit"? Initiales Moment für die Beschäftigung mit dieser Idee war das Problem, den Hörern der für das erste Semester vorgesehenen Vorlesung "Einführung in die Informa tik I" geeignete schriftliche Unterlagen empfehlen zu müssen. Die Ziele dieser insge samt sechsstündigen Lehrveranstaltung haben, im Gegensatz zu der parallel stattfin denden "Einführung in das Programmieren", jedoch kaum etwas mit der Entwicklung von Software zu tun. Vielmehr werden hier gen au jene Aspekte der Informatik abge deckt, die nicht die eigentliche Programmierung betreffen. Nun erwies sich aber ein Großteil der in der letzten Zeit erschienenen (guten) Bücher über Informatik als zu anspruchsvoll beziehungsweise zu spezialisiert; etwa 80% der in technischen Buchhandlungen zu findenden Werke sind eigentlich Pro gramm- oder Hardware-Beschreibungen.
暂无评论