Search Results - "Software engineering."

AXMEDIS 2008 Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-Channel Distribution.Workshops, Panels and Industrial Applicat...

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

ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment

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

Electronic Imaging & the Visual Arts. EVA 2015 Florence 13-14 May 2015

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

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, 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

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 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

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

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.…”
Link to Metadata

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

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

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 o...

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

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

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

Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant by Chlipala, Adam

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

Models and Analysis of Vocal Emissions for Biomedical Applications 6th International Workshop, 2009

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

Models and Analysis of Vocal Emissions for Biomedical Applications 6th International Workshop, 2009

Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: 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...

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

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

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 I /

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

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

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

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