Resultados da pesquisa - "specification"

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Assuntos: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Assuntos: “...Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Assuntos: “...specifications...”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Assuntos: “...specifications...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Semiotische Effizienz interfachlicher Sprache-Bild-Textsorten Schreibprozesse bei Pflichtenheften technischer Ausschreibungen Por Holste, Alexander

Assuntos: “...text type requirement specification...”
DOAB: download the publication
DOAB: description of the publication

Semiotische Effizienz interfachlicher Sprache-Bild-Textsorten Schreibprozesse bei Pflichtenheften technischer Ausschreibungen Por Holste, Alexander

Assuntos: “...text type requirement specification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Rural Development Contemporary Issues and Practices

Assuntos: “...Management of specific areas...”
DOAB: download the publication
DOAB: description of the publication

Management of Technological Innovation in Developing and Developed Countries

Assuntos: “...Management of specific areas...”
DOAB: download the publication
DOAB: description of the publication

Sustainable Management Practices

Assuntos: “...Management of specific areas...”
DOAB: download the publication
DOAB: description of the publication

Specifications for street roadway pavements with instructions to inspectors on street paving work Por Whinery, Samuel, 1845-

Assuntos: “...Pavements -- Specifications...”
Obter o texto integral

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

Assuntos: “...specification and verification techniques...”
DOAB: download the publication
DOAB: description of the publication

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

Assuntos: “...specification and verification techniques...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Imagining Consumers Design and Innovation from Wedgwood to Corning Por Blaszczyk, Regina Lee

Assuntos: “...History of specific companies / corporate history bicssc...”
DOAB: download the publication
DOAB: description of the publication

Adolescentes infractoras. La perspectiva de género ante los procesos de conflicto con la ley. Un estudio de la Comunidad Valenciana Por Reina Giménez, Eva

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication

Educación y atención a la primera infancia en la ciudad de Valencia Por Gabaldón Estevan, Daniel

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: description of the publication

El concepto del interés superior del niño y su dimensión constitucional Por Santamaría, María Luisa

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication

El interés superior del niño y su recepción en los contextos nacionales Análisis a la luz del derecho comparado Por Sedano Tapia, Joaquín

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication

El perfil profesional de los educadores en los centros de menores de la Comunidad Valenciana Por Tarin Cayuela, Manuel

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication

APROXIMACIÓN HISTÓRICA A LA CONSTRUCCIÓN SOCIOJURÍDICA DE LA CATEGORÍA INFANCIA Por Ravetllat Ballesté, Isaac

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication

ITINERARIOS DE EMPODERAMIENTO PARA LA TRANSFORMACIÓN SOCIAL Por Quiroga Raimúndez, Violeta

Assuntos: “...Laws of Specific jurisdictions bicssc...”
DOAB: download the publication
DOAB: description of the publication