skip to main content
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Communication and concurrency

R Milner

Prentice Hall New York 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M25.30 M659c e.1 )(Acessar)

2
A calculus of communicating systems
Material Type:
Livro
Adicionar ao Meu Espaço

A calculus of communicating systems

R. Milner 1934- (Robin)

Berlin New York Springer-Verlag 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.92 e.1 )(Acessar)

3
The definition of standard ML revised
Material Type:
Livro
Adicionar ao Meu Espaço

The definition of standard ML revised

R Milner 1934- (Robin)

Cambridge, Mass. MIT Press 1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N15.01 M659ds e.1 )(Acessar)

4
Edinburgh LCF a mechanised logic of computation
Material Type:
Livro
Adicionar ao Meu Espaço

Edinburgh LCF a mechanised logic of computation

Michael J. C. Gordon 1948- R Milner 1934- (Robin); Christopher P Wadsworth

Berlin New York Springer-Verlag 1979

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.78 e.1 )(Acessar)

5
Applicable mathematics a course for scientists and engineers
Material Type:
Livro
Adicionar ao Meu Espaço

Applicable mathematics a course for scientists and engineers

R. J Goult (Raymond John); R. F Hoskins (Roland Frank) 1926; J. A Milner

London Macmillan 1973

Localização: EPBC - Esc. Politécnica-Bib Central    (51 Ap58 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.