skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic theory of processes
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic theory of processes

Matthew Hennessy

Cambridge, Mass MIT Press c1988

Localização: IME - Inst. Matemática e Estatística    (QA800 H515a )(Acessar)

2
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1443 ) e outros locais(Acessar)

3
Formal semantics and pragmatics for natural language querying
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics and pragmatics for natural language querying

James Clifford

Cambridge New York Cambridge University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA772 C637f ) e outros locais(Acessar)

4
Initial computability, algebraic specifications, and partial algebras
Material Type:
Livro
Adicionar ao Meu Espaço

Initial computability, algebraic specifications, and partial algebras

Horst Reichel

Oxford England Clarendon Press Oxford New York Oxford University Press c1987

Localização: IME - Inst. Matemática e Estatística    (QA816 R349i )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.