Search Results - "software"

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

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

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

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

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

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

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

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

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

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

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

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

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

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

Cyber Security 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers /

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

Rechtliche Voraussetzungen der Nutzung von Open-Source-Software in der öffentlichen Verwaltung, insbesondere des Kantons Bern by Poledna, Tomas

Subjects: “…open-source software…”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

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

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer

Subjects: “…software engineering…”
DOAB: download the publication
DOAB: description of the publication

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

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

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

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

Rechtliche Voraussetzungen der Nutzung von Open-Source-Software in der öffentlichen Verwaltung, insbesondere des Kantons Bern by Poledna, Tomas

Subjects: “…open-source software…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

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

Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceed...

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

Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games by Hofmann, Julia

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

Professionalism in the Information and Communication Technology Industry by Weckert, John

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