Mostrando 401 - 420 Resultados de 1,064 Para Buscar '"MIT Press"', tiempo de consulta: 1.95s Limitar resultados
  1. 401
  2. 402
    por Rodwin, Lloyd
    Publicado 1969
    Libro
  3. 403
    por Starr, G. Gabrielle, 1974-
    Publicado 2013
    Libro
  4. 404
    por Costikyan, Greg
    Publicado 2013
    Enlace del recurso
    Libro
  5. 405
    por Knauff, Markus
    Publicado 2013
    Libro
  6. 406
    Libro
  7. 407
    por Siegwart, Roland
    Publicado 2004
    Libro
  8. 408
    Publicado 2006
    Procedimiento de la Conferencia Libro
  9. 409
    Publicado 1995
    Libro
  10. 410
    por Blanchard, Olivier (Olivier J.)
    Publicado 1989
    Libro
  11. 411
    Publicado 1990
    Libro
  12. 412
    Publicado 1991
    Libro
  13. 413
    por Horwich, Paul
    Publicado 1987
    Enlace del recurso
    Libro
  14. 414
    Publicado 1994
    Procedimiento de la Conferencia Libro
  15. 415
    Publicado 1996
    Procedimiento de la Conferencia Libro
  16. 416
    Publicado 1997
    Libro
  17. 417
    por Bošnački, Dragan, Wijs, Anton
    Publicado 2018
    “…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
  18. 418
    Publicado 2002
    Libro
  19. 419
    Publicado 1999
    Procedimiento de la Conferencia Libro
  20. 420
    por Pauli, Wolfgang, 1869-1955
    Publicado 2000
    Enlace del recurso
    Libro
Herramientas de búsqueda: RSS