Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 ProceedingsGianni, P Gianni, P.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, ProceedingsForet, Annie ; Morrill, Glyn ; Muskens, Reinhard ; Osswald, Rainer ; Pogodalla, Sylvain Foret, Annie ; Muskens, Reinhard ; Morrill, Glyn ; Osswald, Rainer ; Foret, Annie ; Morrill, Glyn ; Pogodalla, Sylvain ; Muskens, Reinhard ; Osswald, RainerBerlin, Heidelberg: Springer Nature 2016Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected PapersCerioli, Maura ; Reggio, Gianna Cerioli, Maura ; Reggio, GiannaBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 ProceedingsAsperti, Andrea ; Buchberger, Bruno ; Davenport, James Harold Davenport, James Harold ; Buchberger, Bruno ; Asperti, AndreaBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Rewriting Techniques and Applications: 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 ProceedingsBook, Ronald V Book, Ronald V.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 6th International Conference, AAECC-6 Rome, Italy, July 4–8, 1988 ProceedingsMora, Teo Mora, TeoBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, ProceedingsMauri, Giancarlo ; Dennunzio, Alberto ; Manzoni, Luca ; Porreca, Antonio EBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Principles of Distributed Systems: 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, ProceedingsBaldoni, Roberto ; Flocchini, Paola ; Binoy, Ravindran Flocchini, Paola ; Binoy, Ravindran ; Baldoni, RobertoNetherlands: Springer Nature 2012Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Structural Information and Communication Complexity: 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected PapersMoscibroda, Thomas ; Rescigno, Adele A Moscibroda, Thomas ; Rescigno, Adele ANetherlands: Springer Nature 2013Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computational Noncommutative Algebra and ApplicationsByrnes, Jim Byrnes, JimDordrecht: Springer Netherlands 2004Texto completo disponível |