skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

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

2
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Material Type:
Livro
Adicionar ao Meu Espaço

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems

Heinrich Rust

Berlin Springer New York c2005

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

3
Practice and theory of automated timetabling V 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Practice and theory of automated timetabling V 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers

International Conference on the Practice and Theory of Automated Timetabling (5th 2004 Pittsburgh, Pa.) Edmund Burke Ph. D; Michael A Trick

Berlin Springer New York c2005

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

4
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.

5
Much ado about nothing theories of space and vacuum from the Middle Ages to the scientific revolution
Material Type:
Livro
Adicionar ao Meu Espaço

Much ado about nothing theories of space and vacuum from the Middle Ages to the scientific revolution

Edward Grant 1926-

Cambridge Cambridge University Press 2008

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

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Où commencer ?

Fred Guzda

Convergences Francophones, 01 December 2014, Vol.1(2), pp.60-69 [Periódico revisado por pares]

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Dose-dependent effects of light on hyperthymic temperament

Kohno, Kentaro ; Baba, Hajime ; Inoue, Takeshi ; Nakai, Yukiei ; Toyomaki, Atsuhito ; Suzuki, Toshihito ; Hatano, Koji ; Arai, Heii ; Terao, Takeshi

Journal of Affective Disorders, 20 June 2014, Vol.162, pp.26-29 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Psychometric properties of the Hong Kong Chinese (Cantonese) TEMPS-A in medical students

Leung, Chi Ming ; Mak, Arthur D.P ; Xiang, Yu Tao ; Lee, Sing ; Yan, Connie T.Y ; Leung, Tony ; Bessonov, Daniel ; Akiskal, Kareen K ; Akiskal, Hagop S

Journal of Affective Disorders, 01 January 2015, Vol.170, pp.23-29 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

TEMPS-A and long-term lithium response: Positive correlation with hyperthymic temperament

Rybakowski, Janusz K ; Dembinska, Daria ; Kliwicki, Sebastian ; Akiskal, Kareen K ; Akiskal, Hagop H

Journal of Affective Disorders, 20 February 2013, Vol.145(2), pp.187-189 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Affective temperament profile in psoriasis patients in Tunisia using TEMPS-A

Litaiem, Noureddine ; Youssef, Soumaya ; Jabeur, Kahena ; Dhaoui, Mouhamed Raouf ; Doss, Nejib

Journal of Affective Disorders, October 2013, Vol.151(1), pp.321-324 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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  (5.433)
  2. Dissertações  (978)
  3. Resenhas  (798)
  4. Imagens  (780)
  5. Outros  (532)
  6. Recursos Textuais  (430)
  7. Livros  (171)
  8. Anais de Congresso  (134)
  9. Audiovisuais  (54)
  10. Book Chapters  (22)
  11. Artigos de Jornal  (17)
  12. Relatórios Técnicos  (3)
  13. Mapas  (3)
  14. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1965  (782)
  2. 1965Até1981  (64)
  3. 1982Até1994  (1.125)
  4. 1995Até2008  (3.102)
  5. Após 2008  (3.144)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (4.247)
  2. Francês  (3.212)
  3. Catalão  (600)
  4. Espanhol  (530)
  5. Japonês  (466)
  6. Alemão  (156)
  7. Português  (62)
  8. Coreano  (23)
  9. Italiano  (13)
  10. Polonês  (9)
  11. Eslovaco  (8)
  12. Tcheco  (7)
  13. Serbian  (6)
  14. Russo  (5)
  15. Holandês  (4)
  16. Árabe  (2)
  17. Turco  (2)
  18. Romeno  (2)
  19. Norueguês  (1)
  20. Grego  (1)
  21. Hebraico  (1)
  22. Chinês  (1)
  23. Dinamarquês  (1)
  24. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.