Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Symmetries of Second- and Third-Order Ordinary Differential EquationsSchwarz, FritzLecture notes in computer science, 2003, p.108-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Automatic Derivation of Platform Noninterference PropertiesSchwarz, Oliver ; Dam, MadsPROSPER, 2016, p.27-44 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A Pattern Approach to Conquer the Data Complexity in Simulation Workflow DesignReimann, Peter ; Schwarz, Holger ; Mitschang, BernhardOn the Move to Meaningful Internet Systems: OTM 2014 Conferences, p.21-38 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
SOA Applied: Engineering Software as Processing Unit of a Serious GameSchwarz, Daniel ; Söbke, Heinrich ; Hofmann, Andreas F. ; Angermair, Gerald ; Schnatmann, Lars ; Londong, JörgGames and Learning Alliance, p.177-186 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Increasing Flexibility of Mobile Manipulation and Intuitive Human-Robot Interaction in RoboCup@HomeStückler, Jörg ; Droeschel, David ; Gräve, Kathrin ; Holz, Dirk ; Schreiber, Michael ; Topalidou-Kyniazopoulou, Angeliki ; Schwarz, Max ; Behnke, SvenRoboCup 2013: Robot World Cup XVII, p.135-146 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Federated Transaction Management with Snapshot IsolationSchenkel, Ralf ; Weikum, Gerhard ; Weißenberg, Norbert ; Wu, XuequnLecture notes in computer science, 2000, p.1-25 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |