skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Generalizing the DS-Methods for testing non-deterministic FSMs
Generalizing the DS-Methods for testing non-deterministic FSMs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalizing the DS-Methods for testing non-deterministic FSMs

Alexandre Petrenko Adenilso da Silva Simão

The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015

London 2015

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

2
ArchSORS a software process for designing software architectures of service-oriented robotic systems
ArchSORS a software process for designing software architectures of service-oriented robotic systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

ArchSORS a software process for designing software architectures of service-oriented robotic systems

Lucas Bueno Ruas Oliveira Elena Leroux; Katia Romero Felizardo; Flavio Oquendo; Elisa Yumi Nakagawa

The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 60, n. 9, p. 1363-1381, Set. 2017

London 2017

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

3
Reducing FSM-based test suites with guaranteed fault coverage
Reducing FSM-based test suites with guaranteed fault coverage
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reducing FSM-based test suites with guaranteed fault coverage

Jorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de Souza

The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016

London 2016

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

4
Extending HSI test generation method for software product lines
Extending HSI test generation method for software product lines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending HSI test generation method for software product lines

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

The Computer Journal : Section A : Computer Science Theory, Methods and Tools London : British Computer Society v. 62, n. 1, p. 109-129, Jan. 2019

London 2019

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

5
Computational Algebra and Number Theory
Computational Algebra and Number Theory
Computational Algebra and Number Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Algebra and Number Theory

M. Bosma, Wieb van der Poorten, Alf Hazewinkel Wieb Bosma; Alf van der Poorten

Springer Netherlands 1995

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

6
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4763 ) e outros locais(Acessar)

7
Data compression methods and theory
Data compression methods and theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Data compression methods and theory

James A. Storer 1953- (James Andrew)

Rockville, Md. Computer Science Press c1988

Localização: IME - Inst. Matemática e Estatística    (QA810 S884d )(Acessar)

8
Theoretical computer science essays in memory of Shimon Even
Theoretical computer science essays in memory of Shimon Even
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical computer science essays in memory of Shimon Even

Shimon Even; Oded Goldreich; Arnold L Rosenberg 1941; Alan L Selman

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3895 ) e outros locais(Acessar)

9
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Chris Hankin; I Mackie (Ian); R Nagarajan (Rajagopal); Imperial College of Science, Technology, and Medicine (Great Britain) Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd 1994 Cambridge, England)

London Imperial College Press Singapore River Edge, NJ Distributed by World Scientific c1995

Localização: IF - Instituto de Física    (005.106 W926t 2nd )(Acessar)

10
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof Theory of Modal Logic

Dov M. Barwise, Jon Wansing, Heinrich Gabbay Jon Barwise; Heinrich Wansing

Springer Netherlands 1996

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

Mostrar Somente

  1. Disponível na Biblioteca (91)
  2. Recursos Online (21)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (84)
  2. Artigos  (5)
  3. Produções Acadêmicas  (4)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (10)
  2. 1991Até1998  (13)
  3. 1999Até2004  (21)
  4. 2005Até2011  (34)
  5. Após 2011  (16)
  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.