Mostrando
1 - 3
Resultados de
3
Para Buscar '
Visser, W.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Visser, W.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Visser, W.
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Geological nomenclature.English-Dutch-French-German-Spanish
por
Visser
,
W
.A
Publicado 1980
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca (Fundación M. Lillo)
Libro
Cargando...
2
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
por
Rosner, N.
,
Geldenhuys, J.
,
Aguirre, N.M.
,
Visser
,
W
.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
3
GEOLOGICAL nomenclature : english, dutch, french, german, spanish /
Publicado 1980
Otros Autores:
“
...
Visser
,
W
. A....
”
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Bibliotecas UNSJ
Libro
Cargando...
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
ALEMAN
Complex data structures
Concretes
Data structures
FRANCES
Formal logic
GEOLOGIA
GEOLOGIA-NOMENCLATURA
INGLES
Model checking
NOMENCLATURA GEOLOGICA
Novel techniques
Orders of magnitude
Satisfiability
Symbolic PathFinder
Symbolic execution
lazy initialization
tight field bounds
Cargando...