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, 1978Winkowski, J Winkowski, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1978Texto completo disponível |
|
2 |
Material Type: Livro
|
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 ProceedingsGanzinger, H Ganzinger, H.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
3 |
Material Type: Livro
|
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 ProceedingsGlaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert Kuchen, Herbert ; Hartel, Pieter ; Glaser, HughBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
4 |
Material Type: Livro
|
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, ProceedingsNipkow, Tobias Nipkow, TobiasBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
5 |
Material Type: Livro
|
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 ProceedingsNielson, Hanne Riis Nielson, Hanne RiisBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
6 |
Material Type: Livro
|
Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 ProceedingsPalamidessi, Catuscia ; Glaser, Hugh ; Meinke, Karl Meinke, Karl ; Palamidessi, Catuscia ; Glaser, HughBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
7 |
Material Type: Livro
|
ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. ProceedingsBezivin, Jean ; Hullot, Jean-Marie ; Cointe, Pierre ; Lieberman, Henry Cointe, Pierre ; Hullot, Jean-Marie ; Bézivin, Jean ; Lieberman, HenryBerlin, Heidelberg: Springer Berlin / Heidelberg 1987Texto completo disponível |
|
8 |
Material Type: Livro
|
ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 ProceedingsKrieg-Brückner, Bernd Krieg-Brückner, BerndBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
9 |
Material Type: Livro
|
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : ProceedingsCousot, Patrick Cousot, PatrickBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
10 |
Material Type: Livro
|
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 ProceedingsDershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, NaomiBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |