Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 ProceedingsLarsen, Kim G ; Skyum, Sven ; Winskel, Glynn Larsen, Kim G. ; Skyum, Sven ; Winskel, GlynnBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
12 |
Material Type: Livro
|
![]() |
Advanced Information Systems Engineering: 10th International Conference, CAiSE'98 Pisa, Italy, June 8–12, 1998 ProceedingsPernici, Barbara ; Thanos, Costantino Pernici, Barbara ; Thanos, CostantinoBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
13 |
Material Type: Livro
|
![]() |
ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 ProceedingsLamsweerde, Axel van ; Fugetta, Alfonso van Lamsweerde, Axel ; Fugetta, AlfonsoBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Information Processing in Medical Imaging: 13th International Conference, IPMI '93 Flagstaff, Arizona, USA, June 14–18, 1993 ProceedingsBarrett, Harrison H ; Gmitro, A. F Gmitro, A. F. ; Barrett, Harrison H.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
15 |
Material Type: Livro
|
![]() |
Database Theory — ICDT '92: 4th International Conference Berlin, Germany, October 14–16, 1992 ProceedingsBiskup, Joachim ; Hull, Richard Biskup, Joachim ; Hull, RichardBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Combinatorial Pattern Matching: 5th Annual Symposium, CPM 94 Asilomar, CA, USA, June 5–8, 1994 ProceedingsCrochemore, Maxime ; Gusfield, Dan Gusfield, Dan ; Crochemore, MaximeBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 ProceedingsCourcoubetis, Costas Courcoubetis, CostasBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 Toulouse, France, September 24–26, 1997 ProceedingsSteel, Sam ; Alami, Rachid Steel, Sam ; Alami, RachidBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Integer Programming and Combinatorial Optimization: 6th International IPCO Conference Houston, Texas, June 22-24, 1998 ProceedingsBixby, Robert E ; Boyd, Andrew E ; Rios-Mercado, Roger Z Bixby, Robert E. ; Ríos-Mercado, Roger Z. ; Boyd, E. AndrewBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Information and Communications Security: Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. ProceedingsOkamoto, Tatsuaki ; Zhou, Jianying Zhou, Jianying ; Qing, Sihan ; Okamoto, TatsuakiBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |