| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Ebooks. |
|
Data corrente: |
16/06/2011 |
|
Data da última atualização: |
04/02/2013 |
|
Autoria: |
SUZUKI, K.; HIGASHINO, T.; YASUMOTO, K.; EL-FAKIH, Khaled. |
|
Afiliação: |
Kenji Suzuki; Teruo Higashino; Keiichi Yasumoto. |
|
Título: |
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings |
|
Ano de publicação: |
2008 |
|
Fonte/Imprenta: |
Springer eBooks. |
|
Descrição Física: |
v.: digital |
|
Série: |
Lecture Notes in Computer Science,5048 |
|
ISBN: |
9783540688556 |
|
Idioma: |
Inglês |
|
Palavras-Chave: |
Computer Communication Networks; Logic design; Logics and Meanings of Programs; Operating Systems; Operating systems (Computers); Software Engineering. |
|
Thesaurus Nal: |
computer science. |
|
Categoria do assunto: |
-- |
|
URL: |
https://dx.doi.org/10.1007/978-3-540-68855-6
|
|
Marc: |
LEADER 00865nam a2200253 a 4500
001 1891926
005 2013-02-04
008 2008 bl uuuu u0uu1 u #d
020 $a9783540688556
100 1 $aSUZUKI, K.
245 $aFormal Techniques for Networked and Distributed Systems – FORTE 2008$b28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings$h[electronic resource]
260 $aSpringer eBooks.$c2008
300 $cv.: digital
490 $aLecture Notes in Computer Science,5048
650 $acomputer science
653 $aComputer Communication Networks
653 $aLogic design
653 $aLogics and Meanings of Programs
653 $aOperating Systems
653 $aOperating systems (Computers)
653 $aSoftware Engineering
700 1 $aHIGASHINO, T.
700 1 $aYASUMOTO, K.
700 1 $aEL-FAKIH, Khaled.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Ebooks (Ebooks) |
|
|
Nenhum exemplar cadastrado para este documento. |
Voltar
|
|
|
| Registros recuperados : 3 | |
| 2. |  | LIMA, J. F.; GOMES, H. B.; CULLEN JUNIOR, L.; BELTRAME, T. P. MOSCOGLIATO, A. V. Café com floresta "criando trampolins agroecológicos de café sombreado". In: CONGRESSO BRASILEIRO DE SISTEMAS AGROFLORESTAIS, 5., 2004, Curitiba. SAFs: desenvolvimento com proteção ambiental: anais. Colombo: Embrapa Florestas, 2004. p. 326-328. (Embrapa Florestas. Documentos, 98).| Biblioteca(s): Embrapa Florestas. |
|   |
| Registros recuperados : 3 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
