skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Evaluating finite state machine based testing methods on RBAC systems
Evaluating finite state machine based testing methods on RBAC systems
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Evaluating finite state machine based testing methods on RBAC systems

Damasceno, Carlos Diego Nascimento

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-05-09

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

2
Spatial Indexing on Flash-based Solid State Drives
Spatial Indexing on Flash-based Solid State Drives
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Spatial Indexing on Flash-based Solid State Drives

Carniel, Anderson Chaves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-12-21

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

3
Finite state machines
Finite state machines
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite state machines

Open University

Milton Keynes Open University Press 1973

Localização: ICMC - Inst. Ciên. Mat. Computação    (02C01 Open m202-9 e.1 )(Acessar)

4
Hybrid qualitative state plan problem and mission planning with UAVs
Hybrid qualitative state plan problem and mission planning with UAVs
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Hybrid qualitative state plan problem and mission planning with UAVs

Arantes, Márcio Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2017-08-11

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

5
Hierarchical featured state machines
Hierarchical featured state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hierarchical featured state machines

Vanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi

Science of Computer Programming Amsterdam : Elsevier B. V. v. 171, p. 67-88, Feb. 2019

Amsterdam 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2921266 )(Acessar)

6
Inferring finite state machines without reset using state identification sequences
Inferring finite state machines without reset using state identification sequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inferring finite state machines without reset using state identification sequences

Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)

Lecture Notes in Computer Science Cham : Springer v. 9447, p. 161-177, 2015

Cham Springer 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2797265 )(Acessar)

7
Marker-and-cell - the state of the art
Marker-and-cell - the state of the art
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Marker-and-cell - the state of the art

Sean Mckee Murilo Francisco Tomé; José Alberto Cuminato; Norberto Mangiavacchi; Biennial Engineering Mathematics and Applications Conference (5. 2002 Brisbane)

Proceedings Brisbane: The Institution of Engineers,2002

Brisbane The Institution of Engineers 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1307888 ) e outros locais(Acessar)

8
Amplified steady state bifurcations in feedforward networks
Amplified steady state bifurcations in feedforward networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Amplified steady state bifurcations in feedforward networks

Sören von der Gracht Eddie Nijhout; Bob Rink

Nonlinearity Bristol v. 35, n. 4, p. 2073-2120, Apr. 2022

Bristol 2022

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3069453 )(Acessar)

9
Echo state network performance analysis using non-random topologies
Echo state network performance analysis using non-random topologies
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Echo state network performance analysis using non-random topologies

Diana Carolina Roca Arroyo Alexander Ylnner Choquenaira Florez; Daniela Milón Flores; Roseli Aparecida Francelin Romero; Zhao Liang; IEEE Colombian Conference on Applications of Computational Intelligence - ColCACI (2020 Cali, Colombia)

Proceedings Danvers : IEEE, 2020

Danvers IEEE 2020

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3010721 )(Acessar)

10
Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

ASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany) Wolf Zimmermann; B Thalheim (Bernhard) 1952

Berlin Springer New York c2004

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.   

Mostrar Somente

  1. Recursos Online (38)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (162)
  2. Produções Acadêmicas  (121)
  3. Artigos  (111)
  4. Revistas  (4)
  5. Audiovisuais  (2)
  6. Produções Técnicas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1975  (23)
  2. 1975Até1988  (33)
  3. 1989Até1999  (75)
  4. 2000Até2011  (99)
  5. Após 2011  (168)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.