Resultados de búsqueda - "software engineer"

Introduction to Scientific Programming with Python por Sundnes, Joakim

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

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

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

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

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

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

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

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

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

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

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

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

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

Materias: “…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

Materias: “…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

Materias: “…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...

Materias: “…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...

Materias: “…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 /

Materias: “…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 /

Materias: “…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...

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

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

Materias: “…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...

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

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

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

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

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