Verification – alle Bücher, LPs und CDs, Seite 6 online kaufen

Rolf Drechsler: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes, Buch

Rolf Drechsler, Pascal Pieper
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Machine Learning Applications in Electronic Design Automation

This book serves as a single-source reference to key machine learning (ML) applications and methods in digital and analog design and verification. Experts from academia and industry cover a wide range of …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science -Band 14414

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers present…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Formal Aspects of Component Software

Lecture Notes in Computer Science -Band 15189

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full paper…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

National Academies of Sciences Engineering and Medicine, Division of Behavioral and Social Sciences and Education, Policy And Global Affairs, Division on Engineering and Physical Sciences
Facial Recognition Technology

Facial recognition technology is increasingly used for identity verification and identification, from aiding law enforcement investigations to identifying potential security threats at large venues. Howev…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 53,04*

Model Checking Software

Lecture Notes in Computer Science -Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science -Band 14952

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9 13, 2024. The 14 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Theoretical Aspects of Computing ¿ ICTAC 2024

Lecture Notes in Computer Science -Band 15373

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25 29, 2024. The 21 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Farimah Farahmandi, Mark Tehranipoor, Sree Ranjani Rajendran, M. Sazadur Rahman
CAD for Hardware Security

This book provides an overview of current hardware security problems and highlights how these issues can be efficiently addressed using computer-aided design (CAD) tools. Authors are from CAD developers, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 74,66*

Agents and Robots for reliable Engineered Autonomy

Communications in Computer and Information Science -Band 2230

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conj…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 65,71*

Rewriting Logic and Its Applications

Lecture Notes in Computer Science -Band 14953

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Integrated Formal Methods

Lecture Notes in Computer Science -Band 15234

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers p…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

Michael Anderson, Nick Reva, Shrikant Pandhare
Securing Cloud Native Apps

A no-fluff guide to implementing best practices for securing cloud native services. What are the best practices to secure microservices, the latest popular wave of innovation in software engineering? Thi…

lieferbar ab 5.8.2025.

Buch

EUR 60,32*

Application and Theory of Petri Nets and Concurrency

Lecture Notes in Computer Science -Band 14628

This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science -Band 14988

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Engineering of Complex Computer Systems

Lecture Notes in Computer Science -Band 14784

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19 21, 2024. The 18 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Concurrency, Specification and Programming

Studies in Computational Intelligence -Band 1091

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their imp…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Zhang Dan
Advanced Logic Design Techniques

Advanced Logic Design Techniques," authored by Zhang Dan, delves into sophisticated approaches and cutting-edge tactics required for mastering digital system design. This thorough guide navigates readers …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 27,11*

Alexander Arnfinn Olsen
Subsea Pipeline Systems

Synthesis Lectures on Ocean Systems Engineering

This book is a comprehensive guide to the classification, design, construction, and maintenance of subsea pipeline systems. It provides an in-depth exploration of offshore pipeline architecture, serviceab…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 35,19*

Cemal Basaran
Introduction to Unified Mechanics Theory with Applications

This second edition adds new sections on derivation of dynamic equilibrium equations in unified mechanics theory and solution of an example, derivation of very high cycle fatigue thermodynamic fundamental…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Verification – alle Bücher, LPs und CDs, Seite 6

Ihre Suche nach "verification" ergab 138 Treffer