skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: data de publicação: Após 2011 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.

Salmon, Arianna Zoila Olivera

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-04-18

Acesso online. A biblioteca também possui exemplares impressos.

2
Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.
Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.

Ortega, Fábio José Muneratti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-09-25

Acesso online. A biblioteca também possui exemplares impressos.

3
Sistema de controle para diagnóstico e tratamento de falhas em dispositivos de assistência ventricular.
Sistema de controle para diagnóstico e tratamento de falhas em dispositivos de assistência ventricular.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Sistema de controle para diagnóstico e tratamento de falhas em dispositivos de assistência ventricular.

Cavalheiro, André César Martins

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-14

Acesso online. A biblioteca também possui exemplares impressos.

4
Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.
Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Baumgartner Neto, August

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2015-04-27

Acesso online. A biblioteca também possui exemplares impressos.

5
Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático.
Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático.

Basbaum, Rosimarci Pacheco Tonaco

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2015-07-13

Acesso online. A biblioteca também possui exemplares impressos.

6
Proposta de um método para o controle de coalizão de recursos virtuais baseado em multi-agentes no contexto I4.0.
Proposta de um método para o controle de coalizão de recursos virtuais baseado em multi-agentes no contexto I4.0.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Proposta de um método para o controle de coalizão de recursos virtuais baseado em multi-agentes no contexto I4.0.

Veiga, Jackson Tavares

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2022-10-04

Acesso online

7
Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP
Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Um Estudo Conceitual Acerca da Automatização dos Restaurantes Universitários da USP; Conceptual Study on the Automation of University Restaurants at USP

Almeida, Gabriel Dias De; Cursino, Gabriel Morth; Mendes, Iago Baldim

Mecatrone; v. 6 n. 1 (2023); 1-11

Universidade de São Paulo. Escola Politécnica. 2023-12-31

Acesso online

8
Property-preserving petri net process algebra in software engineering
Property-preserving petri net process algebra in software engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Property-preserving petri net process algebra in software engineering

Hejiao Huang

Singapore World Scientific Hackensack, N.J. c2012

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (519.179.2 P945 )(Acessar)

9
Uma arquitetura baseada em espaço de tuplas para redes IMS.
Uma arquitetura baseada em espaço de tuplas para redes IMS.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Uma arquitetura baseada em espaço de tuplas para redes IMS.

Rondini, Rogério Augusto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-11-23

Acesso online. A biblioteca também possui exemplares impressos.

10
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Proposta de metodologia para modelagem e análise de sistemas para controle de geração de energia elétrica.

Siqueira, Ricardo Alves De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2014-09-29

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4.670)
  2. Anais de Congresso  (1.012)
  3. Book Chapters  (307)
  4. Newsletter Articles  (79)
  5. Livros  (58)
  6. Dissertações  (34)
  7. Conjunto de Dados  (33)
  8. Produções Acadêmicas  (21)
  9. Reports  (13)
  10. magazinearticle  (9)
  11. Videos  (6)
  12. Recursos Textuais  (4)
  13. Web Resources  (1)
  14. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2011  (7)
  2. 2011Até2013  (1.308)
  3. 2014Até2016  (1.419)
  4. 2017Até2020  (2.099)
  5. Após 2020  (1.484)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.142)
  2. Japonês  (163)
  3. Português  (61)
  4. Espanhol  (36)
  5. Chinês  (22)
  6. Francês  (12)
  7. Russo  (7)
  8. Tcheco  (5)
  9. Indonésio  (4)
  10. Alemão  (4)
  11. Persa  (2)
  12. Coreano  (2)
  13. Croatian  (2)
  14. Polonês  (1)
  15. Sueco  (1)
  16. Árabe  (1)
  17. Ucraniano  (1)
  18. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Miyagi, P
  2. Silva, J
  3. Santos Filho, D
  4. Junqueira, F
  5. Ruggiero, W

Neste Assunto:

  1. Petri Nets
  2. Science & Technology
  3. Technology
  4. Computer Science
  5. Engineering

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.