Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Mathematical foundations of computer science, 1978 proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978Symposium on Mathematical Foundations of Computer Science (1972- ) (7th 1978 Zakopane, Poland) Józef Winkowski 1934-Berlin New York Springer-Verlag 1978Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.64 ex.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedingsInternational Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G WinskelGOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer London c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1443 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Initial computability, algebraic specifications, and partial algebrasHorst ReichelOxford England Clarendon Press Oxford New York Oxford University Press c1987Localização: IME - Inst. Matemática e Estatística (QA816 R349i )(Acessar) |
|
5 |
Material Type: Livro
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Complementary definitions of programming language semanticsJames Edward Donahue 1947-Berlin New York Springer-Verlag 1976Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.42 ex.2 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
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 1974Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.5 e.2 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
MetaSoft primer towards a metalanguage for applied denotational semanticsAndrzej BlikleBerlin New York Springer-Verlag c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.288 ex.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Coroutines a programming methodology, a language design, and an implementationChristopher D. Marlin 1952-Berlin New York Springer-Verlag 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.95 ex.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Understanding Z a specification language and its formal semanticsJ. M. SpiveyCambridge Cambridgeshire New York Cambridge University Press 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.05 S761u e.1 ) e outros locais(Acessar) |