skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Nudité et pudeur le mythe du processus de civilisation
Material Type:
Livro
Adicionar ao Meu Espaço

Nudité et pudeur le mythe du processus de civilisation

Hans Peter Duerr Véronique Bodin

Paris Maison des sciences de l'homme c1998

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (C11.33.30 )(Acessar)

2
Product experience
Product experience
Material Type:
Livro
Adicionar ao Meu Espaço

Product experience

Hendrik N. J. Schifferstein Paul Hekkert; Hendrik Schifferstein

Elsevier 2008

Acesso online

3
El nuevo horno VPB para productos cerámicos
Material Type:
Artigo
Adicionar ao Meu Espaço

El nuevo horno VPB para productos cerámicos

Bodin, V.

Materiales de construcción (Madrid), 2017-04, Vol.7 (79), p.21-25

Consejo Superior de Investigaciones Científicas

Texto completo disponível

4
The language dynamic-real and its application for verification of SDL-specified distributed systems
Material Type:
Artigo
Adicionar ao Meu Espaço

The language dynamic-real and its application for verification of SDL-specified distributed systems

Nepomniaschy, V. A. ; Bodin, E. V. ; Veretnov, S. O.

Programming and computer software, 2015, Vol.41 (1), p.41-48 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

5
Platform-independent Specification and Verification of the Standard Mathematical Square Root Function
Material Type:
Artigo
Adicionar ao Meu Espaço

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

Shilov, Nikolay V. ; Kondratyev, Dmitry A. ; Anureev, Igor S. ; Bodin, Eugene V. ; Promsky, Alexei V.

Modelirovanie i analiz informacionnyh sistem, 2018-12, Vol.25 (6), p.637-666 [Periódico revisado por pares]

Yaroslavl State University

Texto completo disponível

6
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function
Material Type:
Artigo
Adicionar ao Meu Espaço

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

Shilov, N. V. ; Kondratyev, D. A. ; Anureev, I. S. ; Bodin, E. V. ; Promsky, A. V.

Automatic control and computer sciences, 2019-12, Vol.53 (7), p.595-616 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

7
Time to Pregnancy among Partners of Men Exposed to di(2-ethylhexyl)Phthalate
Material Type:
Artigo
Adicionar ao Meu Espaço

Time to Pregnancy among Partners of Men Exposed to di(2-ethylhexyl)Phthalate

MODIGH, Cecilia M ; BODIN, S. Lennart V ; LILLIENBERG, Linnéa ; DAHLMAN-HÖGLUND, Anna ; AKESSON, Bengt ; AXELSSON, Gösta

Scandinavian Journal of Work, Environment & Health, 2002-12, Vol.28 (6), p.418-428 [Periódico revisado por pares]

Helsinki: Scandinavian Journal of Work, Environment & Health

Texto completo disponível

8
Using SPIN for Verification of Multi-agent Data Analysis
Material Type:
Artigo
Adicionar ao Meu Espaço

Using SPIN for Verification of Multi-agent Data Analysis

Garanina, N. O. ; Bodin, E. V. ; Sidorova, E. A.

Modelirovanie i analiz informacionnyh sistem, 2014-12, Vol.21 (6), p.31-43 [Periódico revisado por pares]

Yaroslavl State University

Texto completo disponível

9
CTOF measurements and Monte Carlo analyses of neutron spectra for the backward direction from a lead target irradiated with 200–1000 MeV protons
Material Type:
Artigo
Adicionar ao Meu Espaço

CTOF measurements and Monte Carlo analyses of neutron spectra for the backward direction from a lead target irradiated with 200–1000 MeV protons

Azhgirey, I.L. ; Belyakov-Bodin, V.I. ; Degtyarev, I.I. ; Sherstnev, V.A. ; Mashnik, S.G. ; Gallmeier, F.X. ; Lu, W.

Nuclear instruments & methods in physics research. Section B, Beam interactions with materials and atoms, 2010-11, Vol.268 (22), p.3426-3433 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

10
Generation of correctness conditions for imperative programs
Material Type:
Artigo
Adicionar ao Meu Espaço

Generation of correctness conditions for imperative programs

Shilov, N. V. ; Anureev, I. S. ; Bodin, E. V.

Programming and computer software, 2008-11, Vol.34 (6), p.307-321 [Periódico revisado por pares]

Dordrecht: SP MAIK Nauka/Interperiodica

Texto completo disponível

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  (321)
  2. Anais de Congresso  (11)
  3. Reports  (7)
  4. Book Chapters  (5)
  5. Livros  (3)
  6. Web Resources  (1)
  7. Resenhas  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1991  (9)
  2. 1991Até1998  (30)
  3. 1999Até2006  (51)
  4. 2007Até2015  (138)
  5. Após 2015  (123)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (327)
  2. Francês  (25)
  3. Japonês  (20)
  4. Russo  (3)
  5. Espanhol  (1)
  6. Norueguês  (1)
  7. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hekkert, P
  2. Bodin, V
  3. Schifferstein, H
  4. Duerr, H

Buscando em bases de dados remotas. Favor aguardar.