Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99 Zurich, Switzerland, October 11-13, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, GerhardBerlin/Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
21st century learning for 21st century skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18 - 21, 2012. ProceedingsRavenscroft, Andrew ; Lindstaedt, Stefanie ; Kloos, Carlos Delgado ; Hernández-Leo, Davinia Kloos, Carlos Delgado ; Lindstaedt, Stefanie ; Ravenscroft, Andrew ; Hernández-Leo, DaviniaBerlin, Heidelberg: Springer 2012Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage PreservationIoannides, Marinos ; Quak, Ewald Ioannides, Marinos ; Quak, EwaldBerlin, Heidelberg: Springer Nature 2014Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
3D Research Challenges in Cultural Heritage II: How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural HeritageMünster, Sander ; Pfarr-Harfst, Mieke ; Kuroczyński, Piotr ; Ioannides, Marinos Kuroczyński, Piotr ; M'nster, Sander ; Ioannides, Marinos ; Pfarr-Harfst, MiekeCham: Springer Nature 2016Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
3D Structure from Multiple Images of Large-Scale Environments: European Workshop, SMILE'98, Freiburg, Germany, June 6-7, 1998, ProceedingsKoch, Reinhard ; Gool, Luc van ; van Leeuwen, Jan Van Gool, Luc ; Koch, ReinhardBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980Bibel, Wolfgang ; Kowalski, Robert Bibel, Wolfgang ; Kowalski, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982Loveland, D. W Loveland, D. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 ProceedingsBjøorner, Dines Bjøorner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, ProceedingsButler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos Mashkoor, Atif ; Biro, Miklos ; Butler, Michael ; Schewe, Klaus-DieterCham: Springer Nature 2016Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsAit Ameur, Yamine ; Schewe, Klaus-Dieter Schewe, Klaus-Dieter ; Ait Ameur, YamineNetherlands: Springer Nature 2014Texto completo disponível |