Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 ProceedingsDix, Jürgen ; Furbach, Ulrich ; Nerode, Anil Furbach, Ulrich ; Dix, Jürgen ; Nerode, AnilBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Parallelization in Inference Systems: International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 ProceedingsFronhöfer, B ; Wrightson, G Wrightson, G. ; Fronhöfer, B.Berlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Transactions and Database Dynamics: 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 Selected PapersSaake, Gunter ; Schwarz, Kerstin ; Türker, Can Türker, Can ; Saake, Gunter ; Schwarz, KerstinBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Operating Systems of the 90s and Beyond: International Workshop Dagstuhl Castle, Germany, July 8–12 1991 ProceedingsKarshmer, Arthur ; Nehmer, Jürgen Karshmer, Arthur ; Nehmer, JürgenBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Advances in Plan-Based Control of Robotic Agents: International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised PapersBeetz, Michael ; Guibas, Leonidas ; Herztberg, Joachim ; Ghallab, Malik ; Pollack, Martha E Pollack, Martha E. ; Ghallab, Malik ; Beetz, Michael ; Hertzberg, JoachimBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Theory and Practice in Distributed Systems: International Workshop Dagstuhl Castle, Germany, September 5–9, 1994 Selected PapersBirman, Kenneth P ; Mattern, Friedemann ; Schiper, André Birman, Kenneth P. ; Schiper, André ; Mattern, FriedemannBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Underpinning and RetentionLITTLEJOHN, S. Thorburn A. N. D. G. S ; Littlejohn, G. SNew York, NY: Springer 2013Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Dutch Silver: Embossed Plaquettes Tazze and Dishes from the Renaissance Until the End of the Eighteenth CenturyFrederiks, J. WDordrecht: Springer Netherlands 1952Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Creating Web Portals with BEA WebLogicCastle, Rob ; Block, Howard ; Hritz, DavidBerkeley, CA: Apress L. P 2008Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Advanced Techniques for Embedded Systems Design and TestLópez, Juan C ; Hermida, Román ; Geisselhardt, WalterNew York, NY: Springer 1998Texto completo disponível |