skip to main content
Resultados 1 2 3 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Mathematical foundations of computer science, 1978 proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science, 1978 proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

Symposium on Mathematical Foundations of Computer Science (1972- ) (7th 1978 Zakopane, Poland) Józef Winkowski 1934-

Berlin New York Springer-Verlag 1978

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

2
Formal Semantics and Pragmatics for Natural Language Querying
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 Cambridge University Press 1990

Acesso online. A biblioteca também possui exemplares impressos.

3
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)

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)

5
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Livro
Adicionar ao Meu Espaço

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

Acesso online. A biblioteca também possui exemplares impressos.

6
Complementary definitions of programming language semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Complementary definitions of programming language semantics

James Edward Donahue 1947-

Berlin New York Springer-Verlag 1976

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.42 ex.2 ) e outros locais(Acessar)

7
International Symposium on Theoretical Programming [Proceedings held on August 7-11, 1972]
Material Type:
Livro
Adicionar ao Meu Espaço

International Symposium on Theoretical Programming [Proceedings held on August 7-11, 1972]

International Symposium on Theoretical Programming 1972 Novosibirsk A. P Ershov (Andreæi Petrovich); Valerii Aleksandrovich Nepomnëiìashchiæi 1939-

Berlin Springer-Verlag New York 1974

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

8
MetaSoft primer towards a metalanguage for applied denotational semantics
Material Type:
Livro
Adicionar ao Meu Espaço

MetaSoft primer towards a metalanguage for applied denotational semantics

Andrzej Blikle

Berlin New York Springer-Verlag c1987

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

9
Coroutines a programming methodology, a language design, and an implementation
Material Type:
Livro
Adicionar ao Meu Espaço

Coroutines a programming methodology, a language design, and an implementation

Christopher D. Marlin 1952-

Berlin New York Springer-Verlag 1980

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

10
Understanding Z a specification language and its formal semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Understanding Z a specification language and its formal semantics

J. M. Spivey

Cambridge Cambridgeshire New York Cambridge University Press 1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.05 S761u e.1 ) e outros locais(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
  1. Antes de1976  (3)
  2. 1976Até1978  (4)
  3. 1979Até1986  (4)
  4. 1987Até1993  (7)
  5. Após 1993  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.