- Home
- Content associated with Hinari
Content associated with Hinari
Hinari offers access to thousands of journals, books, and other information resources in biomedical and health sciences topics. The journals and books can be searched through a special version of PubMed (Medline) and through other databases.
! Formal Method: Industrial Used from Model to the Code
Author(s):
Boulanger
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848213623
Publication Date:
2012
Book
! Formal Methods Applied to Complex Systems
Author(s):
Boulanger
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848217096
Publication Date:
2014
Book
! Formal Methods Applied to Industrial Complex Systems
Author(s):
Boulanger
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848216327
Publication Date:
2014
Book
! Formal Methods for Industrial Critical Systems: A Survey of Applications
Author(s):
Gnesi
Editor(s):
Hatcher, M.(IEEE-CS)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780470876183
Publication Date:
2012
Book
! Formal Methods in System Design
Information Provider:
Springer Nature - Springer publications
ISSN: 9259856
E-ISSN: 15728102
Journal
! Formal Semantics
Author(s):
PORTNER
Editor(s):
Greenberg, R.Ling UK
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780631215417
Publication Date:
2002
Book
! Formal Semantics in Modern Type Theories
Author(s):
Chatzikyriakidi
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781786301284
Publication Date:
2020
Book
f Formaldehyde, 2-Butoxyethanol and 1-tert-Butoxypropan-2-ol [IARC Monographs on the Evaluation of Carcinogenic Risks to Humans, v. 88]
Information Provider:
International Agency for Research on Cancer (IARC)/WHO-Open
ISBN: 9789283212881
Publication Date:
2006
Book
! Formalism and the Sources of International Law
Author(s):
d'Aspremont
Information Provider:
Oxford University Press
ISBN: 9780199696314
Publication Date:
2011
Book
! Formalizing Natural Languages: The NooJ Approach
Author(s):
Silberztein
Editor(s):
Grayson, S. (ISTE)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781848219021
Publication Date:
2016
Book
f Formare | Firenze University Press
Information Provider:
Directory of Open Access Journals (DOAJ)
E-ISSN: 18257321
Journal
! Formation and Evolution of Cosmic Structures
Author(s):
Röser
Editor(s):
VCH (Weinheim)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9783527409105
Publication Date:
2009
Book
! Formation and Evolution of Exoplanets
Author(s):
Barnes
Editor(s):
VCH (Weinheim)
Information Provider:
John Wiley & Sons (Books)
ISBN: 9783527408962
Publication Date:
2010
Book
! Formation and Evolution of Multiple Tidal Inlets, Coastal and Estuarine Studies Volume 44
Author(s):
Aubrey
Editor(s):
Bose, R.
Information Provider:
John Wiley & Sons (Books)
ISBN: 9780875902586
Publication Date:
1993
Book
! Formation Testing: Low Mobility Pressure Transient Analysis
Author(s):
Chin
Editor(s):
Scrivener Co-Pub
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781118925942
Publication Date:
2015
Book
! Formation Testing: Pressure, Transient, and Contamination Analysis
Author(s):
Chin
Editor(s):
Scrivener Co-Pub
Information Provider:
John Wiley & Sons (Books)
ISBN: 9781118831137
Publication Date:
2014
Book
f Formação Docente (Associação Nacional de Pós-Graduação e Pesquisa em Educação) | Associação Nacional de Pós-graduação e Pequisa em Educação
Information Provider:
Directory of Open Access Journals (DOAJ)
E-ISSN: 21764360
Journal
! Forming Femininity in Antiquity
Author(s):
Arbel
Information Provider:
Oxford University Press
ISBN: 9780199837779
Publication Date:
2012
Book
f Formosan Journal of Surgery | Wolters Kluwer Health/LWW
Information Provider:
Directory of Open Access Journals (DOAJ)
ISSN: 1682606x
E-ISSN: 22135413
Journal
No more items...