for at udvide
kategorilisten.
Dataarkitektur og logisk design
-
Advances in High Performance Computing: Proceedings of the NATO Advanced Research Workshop on High Performance Computing - Technology and Applications, Cetraro, Italy, 24-26 June 1996 (Bog, Hardback, Engelsk)
Discussing some key scientific and technological developments in high performance computing, identifying significant trends, and defining desirable research objectives, this text covers general concepts and emerging systems, software technology, algorithms and applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interpolating Cubic Splines (Bog, Hardback, Engelsk)
The study of spline functions is an outgrowth of basic mathematical concepts arising from calculus, analysis and numerical analysis. Spline modelling affects a number of fields: statistics; computer graphics; CAD programming, and other areas of applied mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mitigating the Risks of AI Deepfakes (Bog, Hardback, Engelsk)
Artificial intelligence (AI) has become deeply embedded in modern life, with autonomous systems now controlling many crucial functions in healthcare, transportation, and industry. However, the incredible power of AI also enables new forms of manipulation, deception, and harm.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ethics and Governance of Artificial Intelligence: Frameworks, Risks, and Society (Bog, Hardback, Engelsk)
This book offers a comprehensive discussion of the growing importance of ethical considerations in algorithmic systems to introduce practical frameworks and tools for identifying ethical risks, ensuring fair outcomes, and maintaining transparency in algorithmic processes.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Research Advances in Network Technologies: Volume 3 (Bog, Hardback, Engelsk)
In the digital age, information is the most vital asset and network technologies are the invisible threads that connect our world. From homes and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Einfuhrung in die Entwurfsautomatisierung fur Quantencomputer (Bog, Hardback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verstandnis und Anwendungen (Bog, Hardback, Tysk)
Der Leser erhält einen Überblick über die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
In-Memory-Computing: Synthese und Optimierung (Bog, Hardback, Tysk)
Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Blocks: Auf dem Weg zu Energieeffizienten, Grobkornigen, Rekonfigurierbaren Architekturen (CGRA) (Bog, Hardback, Tysk)
Dieses Buch beschreibt eine neue, grobkörnige rekonfigurierbare Architektur (CGRA), genannt Blocks, und stellt sie in den Kontext von Computerarchitekturen und insbesondere von anderen CGRAs.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic of Computation (Bog, Hardback, Engelsk)
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Introduzione al Progetto di Sistemi a Microprocessore (Bog, Hardback, Italiensk)
Il libro di testo è concepito per studenti di un primo corso sullo sviluppo di sistemi a microprocessore, nelle Facoltà di Ingegneria e di Scienze.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic and Set Theory: Applying Formalized Logic to Analysis (Bog, Hardback, Engelsk)
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
Levering: Skaffevare (forvent 14 - 30 hverdage)
