Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976Samelson, K Samelson, K.Berlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
|
2 |
Material Type: Livro
|
Constraint Processing: Selected PapersMeyer, Manfred Meyer, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
3 |
Material Type: Livro
|
Discovery Science: 5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, ProceedingsLange, Steffen ; Satoh, Ken ; Smith, Carl H Lange, Steffen ; Satoh, Ken ; Smith, Carl H.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
4 |
Material Type: Livro
|
Discovery Science: 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004. ProceedingsSuzuki, Einoshin ; Arikawa, Setsuo Suzuki, Einoshin ; Arikawa, SetsuoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
5 |
Material Type: Livro
|
Computer Security — ESORICS 98: 5th European Symposium on Research in Computer Security Louvain-la-Neuve, Belgium September 16–18, 1998 ProceedingsQuisquater, Jean-Jacques ; Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter Deswarte, Yves ; Meadows, Catherine ; Gollmann, Dieter ; Quisquater, Jean-JacquesBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
6 |
Material Type: Livro
|
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 ProceedingsNichols, Howard ; Simpson, Dan Simpson, Dan ; Nichols, HowardBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
7 |
Material Type: Livro
|
Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected PapersCuny, Janice ; Ehrig, Hartmut ; Engels, Gregor ; Rozenberg, Grzegorz Ehrig, Hartmut ; Rozenberg, Grzegorz ; Cuny, Janice ; Engels, GregorBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
8 |
Material Type: Livro
|
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 ProceedingsGunter, Elsa L ; Felty, Amy Gunter, Elsa L. ; Felty, AmyBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
|
9 |
Material Type: Livro
|
Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 ProceedingsDíaz de Ilarraza Sánchez, Arantza ; Fernández de Castro, Isabel Fernández de Castro, Isabel ; Díaz de Ilarraza Sánchez, ArantzaBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
10 |
Material Type: Livro
|
Computer Security — ESORICS 96: 4th European Symposium on Research in Computer Security Rome, Italy, September 25–27, 1996 ProceedingsBertino, Elisa ; Kurth, Helmut ; Martella, Giancarlo ; Montolivo, Emilio Bertino, Elisa ; Kurth, Helmut ; Montolivo, Emilio ; Martella, GiancarloBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |