Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Towards a Plug and Play Architecture for TelecommunicationsAagesen, Finn Arve ; Helvik, Bjarne E. ; Wuwongse, Vilas ; Meling, Hein ; Bræk, Rolv ; Johansen, UlrikIntelligence in Networks, p.321-334Boston, MA: Springer USTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Bone Histomorphometry: Concepts and Common TechniquesAaron, Jean E. ; Shore, Patricia A.Handbook of Histology Methods for Bone and Cartilage, p.331-351Totowa, NJ: Humana PressTexto completo disponível |
|
3 |
Material Type: Livro
|
PARLE '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 ProceedingsAarts, Emile H. L ; Leeuwen, Jan van ; Rem, MartinBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
4 |
Material Type: Livro
|
PARLE '91 Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 ProceedingsAarts, Emile H. L ; Leeuwen, Jan van ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
5 |
Material Type: Livro
|
Parle '91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 ProceedingsAarts, Emile H. L ; van Leeuwen, Jan ; Rem, Martin Aarts, Emile H. L. ; Rem, Martin ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin / Heidelberg 1987Texto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Embedded System Design Issues in Ambient IntelligenceAarts, Emile ; Roovers, RafAmbient Intelligence: Impact on Embedded Sytem Design, p.11-29Boston, MA: Springer USTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Control of the Omnidirectional Mobile Robot MARGeAbdellatif, Houssem ; Weidemann, Dirk ; Michaelsen, Arne ; Grotjahn, Martin ; Heimann, BodoRomansy 14, p.101-108Vienna: Springer ViennaTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission ProtocolAbdulla, Parosh ; Annichini, Aurore ; Bouajjani, AhmedLecture notes in computer science, 1999, p.208-222 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
On-the-fly analysis of systems with unbounded, lossy FIFO channelsAbdulla, Parosh Aziz ; Bouajjani, Ahmed ; Jonsson, BengtComputer Aided Verification, 1998, p.305-318 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
A Time Driven Adder Generator ArchitectureAberbour, M. ; Houelle, A. ; Mehrez, H. ; Vaucher, N. ; Guyot, A.VLSI: Integrated Systems on Silicon, p.453-463Boston, MA: Springer USTexto completo disponível |