Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
EasyLiving: Technologies for Intelligent EnvironmentsThomas, Peter ; Gellersen, Hans-WHandheld and Ubiquitous Computing, 2000, Vol.1927, p.12-29 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Secure Mobile Agent Using Strong Non-designated Proxy SignatureGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, JanInformation Security and Privacy, 2001, Vol.2119, p.474-486 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Gamma and the Chemical Reaction Model: Fifteen Years AfterCalude, Christian S ; Paun, Gheorghe ; Rozenberg, Grzegorz ; Salomaa, ArtoMultiset Processing, 2001, Vol.2235, p.17-44 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Modal Transition Systems: A Foundation for Three-Valued Program AnalysisSands, DavidLecture notes in computer science, 2001, Vol.2028, p.155-169 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
CybreMinder: A Context-Aware System for Supporting RemindersThomas, Peter ; Gellersen, Hans-WHandheld and Ubiquitous Computing, 2000, Vol.1927, p.172-186 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
The Advantages of Landscape Neutrality in Digital Circuit EvolutionMiller, Julian F ; Thompson, Adrian ; Thomson, Peter ; Fogarty, Terence CEvolvable Systems: From Biology to Hardware, 2000, Vol.1801, p.252-263 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Service Oriented Programming: A New Paradigm of Software ReuseGacek, CristinaLecture notes in computer science, 2002, Vol.2319, p.269-280 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
A Systematic Approach to Static Access ControlSands, DavidLecture notes in computer science, 2001, Vol.2028, p.30-45 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Software Architecture Quality Analysis MethodsGacek, CristinaLecture notes in computer science, 2002, Vol.2319, p.337-338 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Formal Analysis of Architectural PatternsOquendo, Flavio ; Warboys, Brian ; Morrison, RonLecture notes in computer science, 2004, Vol.3047, p.10-24 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |