| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Ebooks. |
|
Data corrente: |
16/06/2011 |
|
Data da última atualização: |
16/06/2011 |
|
Autoria: |
LIU, S.; MAIBAUM, T.; ARAKI, K. |
|
Afiliação: |
Shaoying Liu; Tom Maibaum; Keijiro Araki. |
|
Título: |
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings |
|
Ano de publicação: |
2008 |
|
Fonte/Imprenta: |
Springer eBooks. |
|
Descrição Física: |
v.: digital |
|
Série: |
Lecture Notes in Computer Science,5256 |
|
ISBN: |
9783540881940 |
|
Idioma: |
Inglês |
|
Palavras-Chave: |
Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Models and Principles; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering. |
|
Thesaurus Nal: |
computer science; computer software. |
|
Categoria do assunto: |
-- |
|
URL: |
https://dx.doi.org/10.1007/978-3-540-88194-0
|
|
Marc: |
LEADER 00920nam a2200253 a 4500
001 1893131
005 2011-06-16
008 2008 bl uuuu u0uu1 u #d
020 $a9783540881940
100 1 $aLIU, S.
245 $aFormal Methods and Software Engineering$b10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings$h[electronic resource]
260 $aSpringer eBooks.$c2008
300 $cv.: digital
490 $aLecture Notes in Computer Science,5256
650 $acomputer science
650 $acomputer software
653 $aAlgorithm Analysis and Problem Complexity
653 $aMathematical Logic and Formal Languages
653 $aModels and Principles
653 $aProgramming Languages, Compilers, Interpreters
653 $aProgramming Techniques
653 $aSoftware Engineering
700 1 $aMAIBAUM, T.
700 1 $aARAKI, K.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Ebooks (Ebooks) |
|
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
|
| Registros recuperados : 3 | |
| 1. |  | LACAPE, J. M.; GAWRYSIAK, G.; CAO, T. V.; VIOT, C.; LIEWELLYN, D.; LIU, S.; JACOBS, J.; BECKER, D.; BARROSO, P. A. V.; ASSUNCAO, J. H. de; PALAI, O.; GEORGES, S.; JEAN, J.; GIBAND, M. Mapping QTLs for traits related to phenology, morphology and yield components in an inter-specific Gossypium hirsutum × G. barbadense cotton RIL population. Field Crops Research, v. 144, p. 256?267, 2013.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Algodão. |
|    |
| 2. | | LACAPE, J.- M.; LLEWELLYN, D.; JACOBS, J.; ARIOLI, T.; BECKER, D.; CALHOUN, S.; AL-GHAZI, Y.; LIU, S.; PALAI, O.; GEORGES, S.; GIBAND, M.; ASSUNÇÃO, H. de; BARROSO, P. A. V.; CLAVERIE, M.; GAWRYZIAK, G.; JEAN, J.; VIALLE, M.; VIOT, C. Meta-analysis of cotton fiber quality QTLs across diverse environments in a Gossypium hirsutum x G. barbadense RIL population. BMC Plant Biology, v.10, n. 132, p. 1-24, 2010.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Algodão. |
| |
| 3. | | YOUNG, N. D.; JEX, A. R.; LI, B.; LIU, S.; YANG, L.; XIONG, Z.; LI, Y.; CANTACESSI, C.; HALL, R. S.; XU, X.; CHEN, F.; WU, X.; ZERLOTINI, A.; OLIVEIRA, G.; HOFMANN, A.; ZHANG, G.; FANG, X.; KANG, Y.; CAMPBELL, B. E.; LOUKAS, A.; RANGANATHAN, S.; ROLLINSON, D.; RINALDI, G.; BRINDLEY, P. J.; YANG, H.; WANG, J.; WANG, J.; GASSER, R. B. Whole-genome sequence of Schistosoma haematobium. Nature Genetics, v. 44, n. 2, p. 221-225, Feb. 2012.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Agricultura Digital. |
|  |
| Registros recuperados : 3 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
