Sökresultat - electronic design automation

Safety in the Digital Age Sociotechnical Perspectives on Algorithms and Machine Learning /

Link to Metadata

Beleuchtungsverfahren zur problemspezifischen Bildgewinnung für die automatische Sichtprüfung av Gruna, Robin

DOAB: download the publication
DOAB: description of the publication

Implementing Industry 4.0 in SMEs Concepts, Examples and Applications /

Link to Metadata

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

DOAB: download the publication
DOAB: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

OAPEN Library: download the publication
OAPEN Library: description of the publication

Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /

Link to Metadata

Development of a Health Information Technology Tool for Behavior Change to Address Obesity and Prevent Chronic Disease Among Adolescents: Designing for Dissemination and Sustainmen... av Maura M. Kepper, Maura M. Kepper, Callie Walsh-Bailey, Ross C. Brownson, Ross C. Brownson, Ross C. Brownson, Bethany M. Kwan, Elaine H. Morrato, Elaine H. Morrato, Jane Garbutt, Jane Garbutt, Lisa de las Fuentes, Russell E. Glasgow, Marcelo A. Lopetegui, Randi Foraker, Randi Foraker, Randi Foraker

Connect to this object online.

Bikes and Bloomers Victorian Women Inventors and their Extraordinary Cycle Wear av Jungnickel, Kat

DOAB: download the publication
DOAB: description of the publication

Bikes and Bloomers Victorian Women Inventors and their Extraordinary Cycle Wear av Jungnickel, Kat

OAPEN Library: download the publication
OAPEN Library: description of the publication

Cyber-Physical Systems: A Model-Based Approach av Taha, Walid M.

DOAB: download the publication
DOAB: description of the publication

Cyber-Physical Systems: A Model-Based Approach av Taha, Walid M.

OAPEN Library: download the publication
OAPEN Library: description of the publication

Future Intelligence The World in 2050 - Enabling Governments, Innovators, and Businesses to Create a Better Future /

Link to Metadata

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction av Weiß, Benjamin

DOAB: download the publication
DOAB: description of the publication

DevOps for Digital Leaders Reignite Business with a Modern DevOps-Enabled Software Factory / av Ravichandran, Aruna, Taylor, Kieran, Waterhouse, Peter

Link to Metadata

Gamification and Advanced Technology to Enhance Motivation in Education

DOAB: download the publication
DOAB: description of the publication

Swarms and Network Intelligence

DOAB: download the publication
DOAB: description of the publication

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems av Mendoza Cervantes, Francisco

DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Link to Metadata

Technological Imagination in the Green and Digital Transition

Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Link to Metadata