نمایه‌‌ها

نمایه‌‌ها

نمایه من کتابخانه من

Augusto Cesar Alves Sampaio

UFPE - Universidade Federal de Pernambuco

ایمیل تأیید شده در cin.ufpe.br

بیان شده در 3212 یافته

Engenharia de software métodos formais testes transformação de programas

Ana CV de Melo

Professor de Ciência da Computação, Universidade de São Paulo

ایمیل تأیید شده در ime.usp.br

بیان شده در 913 یافته

Engenharia de Software Métodos Formais Sistemas Concorrentes Reutilização de software

Manuel A. Martins

Departamento de Matemática, Universidade de Aveiro

ایمیل تأیید شده در ua.pt

بیان شده در 789 یافته

Lógica Algébrica Lógica Modal Métodos Formais

Kyller Costa Gorgonio

DEE / CEEI / UFCG

ایمیل تأیید شده در dee.ufcg.edu.br

بیان شده در 542 یافته

ciência da computação sistemas embarcados métodos formais redes de petri sistemas concorrentes

Mark Alan J. Song

Programa de Pós-Graduação em Informática

ایمیل تأیید شده در pucminas.br

بیان شده در 310 یافته

Métodos Formais Análise Formal de Conceitos Verificação Simbólica de Modelos

Silvio do Lago Pereira

Departamento de Tecnologia da Informação, FATEC-SP/CEETPS

ایمیل تأیید شده در fatecsp.br

بیان شده در 241 یافته

Inteligência Artificial Planejamento Automatizado Métodos Formais

Washington Luís Ribeiro de Carvalho Segundo

Coordenador Geral e Pesquisador no Ibict

ایمیل تأیید شده در ibict.br

بیان شده در 240 یافته

Teoria da Computação Métodos Formais Interoperabilidade Organização da Informação Ciência Aberta

Ana Paula Lüdtke Ferreira

Universidade Federal do Pampa

ایمیل تأیید شده در unipampa.edu.br

بیان شده در 168 یافته

Métodos Formais Agricultura Digital Educação em Computação

Thiago Carvalho de Sousa

Universidade Estadual do Piauí

ایمیل تأیید شده در ctu.uespi.br

بیان شده در 151 یافته

Engenharia de Software Informática aplicada à Educação Métodos Formais

Joabe Jesus

Universidade de Pernambuco

ایمیل تأیید شده در upe.br

بیان شده در 30 یافته

Engenharia de Software Métodos Formais

1 - 10