Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Inteligencia artificial
43
Filosofía
20
Historia
18
Cognición
15
Política económica
14
Aspectos sociales
13
Ciencia cognoscitiva
11
Modelos matemáticos
11
Arquitectura
10
Programación (Computadoras)
10
Redes neurales (Informática)
10
Urbanismo
10
Economía
8
Matemáticas
8
Robótica
8
Semántica
8
Simulación por computadoras
8
Aspectos económicos
7
Innovaciones tecnológicas
7
Procesamiento de datos
7
Robots
7
Teoría de los juegos
7
Algoritmos en informática
6
Congresos
6
Finanzas
6
Procesamiento electrónico de datos
6
Procesamiento paralelo (Computadoras electrónicas)
6
Psicolingüística
6
Sintaxis
6
Arquitectura moderna
5
-
401
-
402
-
403
-
404
-
405
-
406
-
407
-
408Publicado 2006Procedimiento de la Conferencia Libro
-
409
-
410
-
411
-
412
-
413
-
414Publicado 1994Procedimiento de la Conferencia Libro
-
415Publicado 1996Procedimiento de la Conferencia Libro
-
416
-
417“…Model checking (Baier and Katoen in Principles of model checking, MIT Press, Cambridge, 2008; Clarke et al. in Model checking, MIT Press, Cambridge, 2001) is an automatic technique to formally verify that a given specification of a concurrent system meets given functional properties. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
418
-
419
-
420