A mostrar
61 - 63
resultados de
63
para a pesquisa '
"Software / Program Verification."
'
Ir para o conteúdo
UPFind
Saco de livros:
0
registos
(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
हिंदी
Palavra solta
Título
Autor
Assunto
Área/Cota
ISBN/ISSN
Pesquisar
Avançada
Resultados da pesquisa - "Software / Program Verification."
A mostrar
61 - 63
resultados de
63
para a pesquisa '
"Software / Program Verification."
'
, tempo de pesquisa: 0.02seg
Refinar resultados
Ordenar
Relevância
Newest to Oldest
Oldest to Newest
Autor
Título
Select Page
Email
Exportar
Imprimir
Adicionar ao Carrinho
Select result number 61
61
Modular design and verification of component-based mechatronic systems with online-reconfiguration.
Por
Giese, Holger
Publicado no
Software engineering notes.
Área/Cota:
loading...
Localização:
loading...
Artigo
loading...
Adicionar ao Carrinho
Retirar do Carrinho
Select result number 62
62
Heuristic-guided counterexample search in FLAVERS.
Por
Tan, Jianbin
Publicado no
Software engineering notes.
Área/Cota:
loading...
Localização:
loading...
Artigo
loading...
Adicionar ao Carrinho
Retirar do Carrinho
Select result number 63
63
Interval arithmetic From principles to implementation.
Por
Hickey, T.
Publicado no
Journal of the ACM
Área/Cota:
loading...
Localização:
loading...
Artigo
loading...
Adicionar ao Carrinho
Retirar do Carrinho
Select Page
Email
Exportar
Imprimir
Adicionar ao Carrinho
[1]
Anterior
1
2
3
4
5
6
7
Ferramentas de pesquisa:
Enviar pesquisa por email
Voltar
Refinar resultados
Page will reload when a filter is selected or excluded.
DATABASE
Union Catalog (Buklod)
63 results
63
YEAR OF PUBLICATION
De:
Até:
AUTHOR
Barnett, Mike
1 results
1
Berzal, Fernando
1 results
1
Bierhoff, Kevin
1 results
1
Blundell, Colin
1 results
1
Bradbury, Jeremy S.
1 results
1
Brim, Lubo?
1 results
1
Cannon, J.C
1 results
1
Ceballos, Rafael
1 results
1
Chaki, Sagar
1 results
1
Chalin, Patrice
1 results
1
Choi, Yunja
1 results
1
Christodorescu, Mihai
1 results
1
Coen-Porisini, Alberto
1 results
1
Collins, Michael
1 results
1
Dalal, Siddhartha R.
1 results
1
De Alfaro, Luca
1 results
1
Dingel, Juergen
1 results
1
Dykstra, Josiah
1 results
1
Feng, Yaodong
1 results
1
Fischer, Jeffrey
1 results
1
Fisler, Kathi
1 results
1
Freimut, Bernd
1 results
1
Giese, Holger
1 results
1
Guerrouat, Abdelaziz
1 results
1
Hamlet, Dick
1 results
1
Hampapuram, Hari
1 results
1
Henzinger, Thomas A.
1 results
1
Hickey, T.
1 results
1
Jagannathan, Ramesh
1 results
1
Kaveh, Nima
1 results
1
Ver todos...
RESOURCE TYPE
Artigo
63 results
63
LANGUAGE
English
63 results
63
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman