Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
|
2 |
Material Type: Livro
|
![]() |
Database programming languages: 9th International Workshop, DBPL 2003 : Potsdam, Germany September 6-8, 2003 : revised papersLausen, Georg ; Suciu, DanSpringer 1900Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Foundations of Logic ProgrammingEncarnaçáo, J ; Loveland, D. W ; Bolc, LBerlin/Heidelberg: Springer Berlin / Heidelberg 1955Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Practical aspects of declarative languages: 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedingsJayaraman, BharatSpringer 1900Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Reasoning about program transformationsCollard, Jean-FrancoisSpringer 1900Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, ProceedingsGiacobazzi, RobertoSpringer 1900Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, ProceedingsDiaz, Josep ; Karhumaki, Juhani ; Lepisto, Arto ; Sannella, DonaldSpringer 1900Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Domain-specific program generation: international seminar, Dagstuhl Castle, Germany, March 23-28 2003 : revised papersLengauer, Christian ; Batory, Don ; Consel, Charles ; Odersky, MartinSpringer 1900Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programmingPerlis, A. J. ; Samelson, K.Numerische Mathematik, 1959-12, Vol.1 (1), p.41-60 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Programming Language Theoretic Security in the Real World: A Mirage or the Future?Cyber Warfare, 1900The Netherlands: Springer International Publishing AGTexto completo disponível |