skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

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

3
Modeling and analysis of communicating systems
Modeling and analysis of communicating systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Modeling and analysis of communicating systems

J. F. Groote (Jan Friso) 1965- Mohammad Reza Mousavi 1978-

Cambridge MIT Press c2014

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

4
Models for the modern power grid
Models for the modern power grid
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models for the modern power grid

Cardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1191204

2014

Acesso online

5
Fixed-parameter algorithms for graph constraint logic
Fixed-parameter algorithms for graph constraint logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fixed-parameter algorithms for graph constraint logic

Hatanaka, Tatsuhiko ; Hommelsheim, Felix ; Ito, Takehiro ; Kobayashi, Yusuke ; Mühlenthaler, Moritz ; Suzuki, Akira

Theoretical computer science, 2023-05, Vol.959, p.113863, Article 113863 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Modeling attacks on physical unclonable functions
Modeling attacks on physical unclonable functions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modeling attacks on physical unclonable functions

Rührmair, Ulrich ; Sehnke, Frank ; Sölter, Jan ; Dror, Gideon ; Devadas, Srinivas ; Schmidhuber, Jürgen

Proceedings of the 17th ACM conference on computer and communications security, 2010, p.237-249

ACM

Texto completo disponível

Citações Citado por
7
BlobSeer: Next-generation data management for large scale infrastructures
BlobSeer: Next-generation data management for large scale infrastructures
Material Type:
Artigo 		Adicionar ao Meu Espaço

BlobSeer: Next-generation data management for large scale infrastructures

Nicolae, Bogdan ; Antoniu, Gabriel ; Bougé, Luc ; Moise, Diana ; Carpen-Amarie, Alexandra

Journal of parallel and distributed computing, 2011-02, Vol.71 (2), p.169-184 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
8
Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding
Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding

Cayre, F. ; Bas, P.

IEEE transactions on information forensics and security, 2008-03, Vol.3 (1), p.1-15 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
A fixed-parameter algorithm for minimum quartet inconsistency
A fixed-parameter algorithm for minimum quartet inconsistency
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fixed-parameter algorithm for minimum quartet inconsistency

Gramm, Jens ; Niedermeier, Rolf

Journal of computer and system sciences, 2003-12, Vol.67 (4), p.723-741 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
10
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring

Gudmundsson, Bjarki Agust ; Magnusson, Tomas Ken ; Saemundsson, Bjorn Orri

Electronic notes in theoretical computer science, 2016-04, Vol.322, p.181-195

Elsevier B.V

Texto completo disponível

Citações Citado por
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 (697.215)
  2. Revistas revisadas por pares (435.662)
  3. Disponível na Biblioteca (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (359.255)
  2. Anais de Congresso  (277.056)
  3. Book Chapters  (44.142)
  4. magazinearticle  (12.570)
  5. Livros  (3.752)
  6. Resenhas  (336)
  7. Reports  (53)
  8. Conjunto de Dados  (21)
  9. Verbetes  (10)
  10. Videos  (9)
  11. Newsletter Articles  (6)
  12. Dissertações  (3)
  13. Web Resources  (2)
  14. Imagens  (2)
  15. Outros  (1)
  16. Mais opções open sub menu

Assunto 

  1. Science & Technology  (672.109)
  2. Technology  (648.669)
  3. Computer Science  (636.365)
  4. Computer Science, Theory & Methods  (583.433)
  5. Engineering  (212.615)
  6. Engineering, Electrical & Electronic  (184.434)
  7. Computer Science, Information Systems  (156.240)
  8. Computer Science, Artificial Intelligence  (127.592)
  9. Computer Science, Software Engineering  (120.659)
  10. Exact Sciences And Technology  (111.921)
  11. Applied Sciences  (100.773)
  12. Physical Sciences  (92.743)
  13. Computer Science, Hardware & Architecture  (91.085)
  14. Mathematics  (81.680)
  15. Computer Science; Control Theory; Systems  (77.778)
  16. Algorithms  (75.256)
  17. Software  (60.476)
  18. Computer Science, Interdisciplinary Applications  (52.149)
  19. Artificial Intelligence  (46.782)
  20. Telecommunications  (46.363)
  21. Computer Simulation  (35.009)
  22. Classification  (11.808)
  23. Machine Theory  (1.827)
  24. Aged  (732)
  25. Chemical Analysis  (99)
  26. Fault-Tolerant Computing  (60)
  27. Chemical Structure  (14)
  28. Cephalometry  (9)
  29. Temporal Automata  (7)
  30. Machine Theory  (3)
  31. Computer Simulation  (2)
  32. Fault-Tolerant Computing  (2)
  33. Temporal Automata  (2)
  34. Formal Methods (Computer Science)  (2)
  35. Derrida  (1)
  36. Derrida  (1)
  37. Drug Indication  (1)
  38. Relativity (Physics)  (1)
  39. Moléstias Infecciosas  (1)
  40. Food And Drug Administration  (1)
  41. Turismo Em Análise  (1)
  42. Chemical Structure  (1)
  43. Food And Drug Administration  (1)
  44. Transgressão  (1)
  45. Tinea  (1)
  46. Medical Photography  (1)
  47. Chemical Analysis  (1)
  48. Cephalometry  (1)
  49. Aged  (1)
  50. Classification  (1)
  51. Tooth Occlusion  (1)
  52. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (2.355)
  2. 1966Até1979  (6.494)
  3. 1980Até1993  (30.697)
  4. 1994Até2008  (216.362)
  5. Após 2008  (449.841)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (697.098)
  2. Japonês  (36.770)
  3. Português  (594)
  4. Espanhol  (516)
  5. Alemão  (316)
  6. Ndongo  (178)
  7. Turco  (143)
  8. Norueguês  (142)
  9. Francês  (141)
  10. Chinês  (117)
  11. Russo  (81)
  12. Árabe  (15)
  13. Coreano  (14)
  14. Polonês  (8)
  15. Italiano  (7)
  16. Holandês  (6)
  17. Malaio  (5)
  18. Sueco  (4)
  19. Tcheco  (2)
  20. Croatian  (2)
  21. Indeterminado  (1)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Ravagnani (Tradutor)
  2. Rodrigues, L
  3. Gregolin, M
  4. De Azevedo, L
  5. Chaves, M

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Computer Science, Theory & Methods
  5. Engineering

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

Buscando em bases de dados remotas. Favor aguardar.