Mostrando
1 - 2
resultados de
2
para a busca '
'
Pular para o conteúdo
UPFind
0
registros
(Cheio)
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Título
Autor
Assunto
Área/Cota
ISBN/ISSN
Buscar
Avançada
SUBJECT:
Computer software
E
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Mostrar filtros (3)
SUBJECT:
Computer software
E
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Resultados da busca
Mostrando
1 - 2
resultados de
2
para a busca '
'
, tempo de busca: 0.01s
Refinar Resultados
Ordenar
Relevância
Newest to Oldest
Oldest to Newest
Autor
Título
Selecionar todos | selecionados:
E-mail
Exportar
Imprimir
Adicionar à cesta
Selcionar número de resultado 1
1
Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
Publicado em 2011
Área/Cota:
Carregando...
Localizado:
Carregando...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Adicionar à cesta
Retirar da cesta
Selcionar número de resultado 2
2
Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers
Publicado em 2011
Área/Cota:
Carregando...
Localizado:
Carregando...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Adicionar à cesta
Retirar da cesta
Selecionar todos | selecionados:
E-mail
Exportar
Imprimir
Adicionar à cesta
Ferramentas de busca:
Obter Feed RSS
—
Enviar busca por e-mail
Voltar
Refinar a Busca
CAMPUS
Diliman
2
DATABASE
Union Catalog (Buklod)
2
UNIT LIBRARY
College of Science
2
Diliman Main Library: Info. Services & Instruction Section
YEAR OF PUBLICATION
De:
Até:
SUBJECT
Computer input-output equipment
2
Computer software
Electronic books
2
Software architecture
Verification
2
Computer programs
1
AUTHOR
SpringerLink (Online service)
2
Barner, Sharon
1
International Haifa Verification Conference Haifa, Isarel
1
International Haifa Verification Conference Haifa, Israel
1
Namjoshi, Kedar S.
1
Zeller, Andreas
1
Ziv, Avi
1
Ver todos ...
RESOURCE TYPE
Electronic Resource
2
LANGUAGE
English
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Carregando...