Search Results - "software"

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Subjects: “…Software Engineering…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Subjects: “…Software Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings /

Subjects: “…Software engineering.…”
Link to Metadata

Solving PDEs in Python The FEniCS Tutorial I by Langtangen, Hans Petter

Subjects: “…Mathematical Software…”
DOAB: download the publication
DOAB: description of the publication

Solving PDEs in Python The FEniCS Tutorial I by Langtangen, Hans Petter

Subjects: “…Mathematical Software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value / by Dennedy, Michelle, Fox, Jonathan, Finneran, Tom

Subjects: “…Software engineering.…”
Link to Metadata

Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine / by Ruan, Xiaoyu

Subjects: “…Software engineering.…”
Link to Metadata

A Practical Guide to TPM 2.0 Using the Trusted Platform Module in the New Age of Security / by Arthur, Will, Challener, David

Subjects: “…Software engineering.…”
Link to Metadata

Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips by Kirchner, Aljoscha

Subjects: “…Software engineering.…”
Link to Metadata

Coupled model transformations for QoS enabled component-based software design by Becker, Steffen

Subjects: “…model-driven software development…”
DOAB: download the publication
DOAB: description of the publication

Flexible Views for View-based Model-driven Development by Burger, Erik

Subjects: “…Modellgetriebene Software-Entwicklung…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Location-Based Information Systems Developing Real-Time Tracking Applications by Labrador, Miguel A.

Subjects: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Location-Based Information Systems Developing Real-Time Tracking Applications by Labrador, Miguel A.

Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond /

Subjects: “…Software engineering.…”
Link to Metadata

Building Better Interfaces for Remote Autonomous Systems An Introduction for Systems Engineers / by Oury, Jacob D., Ritter, Frank E.

Subjects: “…Software engineering.…”
Link to Metadata

Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software by Fischer, Till

Subjects: “…Eingebettete Software…”
DOAB: download the publication
DOAB: description of the publication

New Methods to Improve Large-Scale Microscopy Image Analysis with Prior Knowledge and Uncertainty by Stegmaier, Johannes

Subjects: “…Software…”
DOAB: download the publication
DOAB: description of the publication

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

Subjects: “…Application software.…”
Link to Metadata