Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, ProceedingsHaeberer, Armando M Haeberer, Armando M.Berlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsRus, Teodor Rus, TeodorBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
3 |
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 |
4 |
Material Type: Livro
|
![]() |
Digital Libraries Current Issues: Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected PapersAdam, Nabil R ; Bhargava, Bharat K ; Yesha, Yelena Adam, Nabil R. ; Yesha, Yelena ; Bhargava, Bharat K.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Intelligent Hypertext: Advanced Techniques for the World Wide WebNicholas, Charles ; Mayfield, James Mayfield, James ; Nicholas, CharlesBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. ProceedingsCerri, Stefano A ; Clancey, William J ; Papadourakis, Giorgos ; Panourgia, Kitty-Kiriaki Papadourakis, Giorgos ; Cerri, Stefano A ; Panourgia, Kitty-Kiriaki ; Clancey, William J ; Clancey, William J. ; Cerri, Stefano A. ; Papadourakis, Giorgos ; Panourgia, KittyBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Languages and Compilers for Parallel Computing: 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised PapersDietz, Henry Gordon Dietz, Henry G.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976Mazurkiewicz, Antoni Mazurkiewicz, AntoniBerlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 ProceedingsPicco, Gian P Picco, Gian PietroBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, ProceedingsBertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, MiquelBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Texto completo disponível |