Materias dentro de su búsqueda.
Buscar alternativas:
"Distinguished dissertations in computer science" » "Distinguished dissertatio in computer science" (Expander búsqueda)
Mostrando 1 - 12 Resultados de 12 Para Buscar '"Distinguished dissertations in computer science"', tiempo de consulta: 0.11s Limitar resultados
  1. 1
    Action refinement in process algebras
    por Aceto, Luca
    Publicado 1992
    “…Distinguished dissertations in computer science…”
    Libro
  2. 2
    Specification and proof in real-time CSP
    por Davies, Jim, 1964-
    Publicado 1993
    “…Distinguished dissertations in computer science…”
    Libro
  3. 3
    Three-dimensional integrated circuit layout
    Publicado 1991
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  4. 4
    Logic programming : operational semantics and proof theory
    Publicado 1992
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  5. 5
    Qualified types : theory and practice
    Publicado 1994
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  6. 6
    The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitative evaluation
    Publicado 1996
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  7. 7
    A compositional approach to performance modelling
    Publicado 1996
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  8. 8
    Projection factorisations in partial evaluation
    Publicado 1991
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  9. 9
    Affine analysis of image sequences
    Publicado 1995
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  10. 10
    Specification and proof in real-time CSP
    Publicado 1993
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  11. 11
    Axiomatic domain theory in categories of partial maps
    Publicado 1996
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
  12. 12
    Efficient algorithms for listing combinatorial structures
    Publicado 1993
    “…Distinguished dissertations in computer science…”
    Conectar con la versión electrónica
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda