Computer-Aided Verification – alle Bücher

Ihre Suche nach "Computer-Aided Verification" ergab 6 Treffer

Computer Aided Verification

Lecture Notes in Computer Science -Band 14683

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Menge ändern

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Menge ändern

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Menge ändern

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Artikel merken

In den Warenkorb

Menge ändern

IoT Enabled Computer-Aided Systems for Smart Buildings

EAI/Springer Innovations in Communication and Computing

This book focuses on the integration of IoT and computer aided systems for the development of smart buildings. The scope of the book includes, but is not restricted to, advanced technologies for monitorin…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Artikel merken

In den Warenkorb

Menge ändern

Andrzej Handkiewicz

Methods and Tools for Computer-Aided Design of Multidimensional Filters in Signal Processing

Understand and apply the tools of computer-aided design to analog signal processing Signal processing is done mostly with digital circuits, but because the signals generated by our environment are themsel…

lieferbar ab 24.12.2024.

Buch

EUR 161,03*

Artikel merken

In den Warenkorb

Menge ändern