Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Nudité et pudeur le mythe du processus de civilisationHans Peter Duerr Véronique BodinParis Maison des sciences de l'homme c1998Localização: FEA - Fac. Econ. Adm. Contab. e Atuária ACERVO DELFIM NETTO (C11.33.30 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Product experienceHendrik N. J. Schifferstein Paul Hekkert; Hendrik SchiffersteinElsevier 2008Acesso online |
3 |
Material Type: Artigo
|
![]() |
El nuevo horno VPB para productos cerámicosBodin, V.Materiales de construcción (Madrid), 2017-04, Vol.7 (79), p.21-25Consejo Superior de Investigaciones CientíficasTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
The language dynamic-real and its application for verification of SDL-specified distributed systemsNepomniaschy, 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 PublishingTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Platform-independent Specification and Verification of the Standard Mathematical Square Root FunctionShilov, 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 UniversityTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Platform-Independent Specification and Verification of the Standard Mathematical Square Root FunctionShilov, 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 PublishingTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Time to Pregnancy among Partners of Men Exposed to di(2-ethylhexyl)PhthalateMODIGH, Cecilia M ; BODIN, S. Lennart V ; LILLIENBERG, Linnéa ; DAHLMAN-HÖGLUND, Anna ; AKESSON, Bengt ; AXELSSON, GöstaScandinavian Journal of Work, Environment & Health, 2002-12, Vol.28 (6), p.418-428 [Periódico revisado por pares]Helsinki: Scandinavian Journal of Work, Environment & HealthTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Using SPIN for Verification of Multi-agent Data AnalysisGaranina, 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 UniversityTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
CTOF measurements and Monte Carlo analyses of neutron spectra for the backward direction from a lead target irradiated with 200–1000 MeV protonsAzhgirey, 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.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Generation of correctness conditions for imperative programsShilov, 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/InterperiodicaTexto completo disponível |