skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
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

Winkowski, J Winkowski, J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1978

Texto completo disponível

2
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Ganzinger, H Ganzinger, H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

3
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 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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 Proceedings

Glaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert Kuchen, Herbert ; Hartel, Pieter ; Glaser, Hugh

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

4
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Nipkow, Tobias Nipkow, Tobias

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

5
Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Nielson, Hanne Riis Nielson, Hanne Riis

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

6
Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Palamidessi, Catuscia ; Glaser, Hugh ; Meinke, Karl Meinke, Karl ; Palamidessi, Catuscia ; Glaser, Hugh

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

7
ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings

Bezivin, Jean ; Hullot, Jean-Marie ; Cointe, Pierre ; Lieberman, Henry Cointe, Pierre ; Hullot, Jean-Marie ; Bézivin, Jean ; Lieberman, Henry

Berlin, Heidelberg: Springer Berlin / Heidelberg 1987

Texto completo disponível

8
ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings

Krieg-Brückner, Bernd Krieg-Brückner, Bernd

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

9
Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Static Analysis: 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : Proceedings

Cousot, Patrick Cousot, Patrick

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

10
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Dershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, Naomi

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Resultados 1 2 3 next page

Buscando em bases de dados remotas. Favor aguardar.