Resultados de 1 a 10 de 2.128 para Busca Geral
Mostrar Somente
- Recursos Online (2.127)
- Revistas revisadas por pares (498)
Refinado por:
Base de dados/Biblioteca:
Springer Nature - Springer Computer Science eBooks 2015 English International
Springer Books
Springer Books
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
O-PSI: Delegated Private Set Intersection on Outsourced DatasetsAbadi, Aydin ; Terzis, Sotirios ; Dong, ChangyuICT Systems Security and Privacy Protection, 2015, Vol.AICT-455, p.3-17Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human ErrorsAbascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, MarcoHuman-Computer Interaction - INTERACT 2015, 2015, Vol.9299 (Part IV), p.192-212 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Social Interaction Design Patterns for Urban Media ArchitectureAbascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, MarcoHuman-Computer Interaction - INTERACT 2015, 2015, Vol.9298 (Part III), p.596-613 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
A Survey on Testing for Cyber Physical SystemAbbaspour Asadollah, Sara ; Inam, Rafia ; Hansson, HansLecture Notes in Computer Science, 2015, Vol.LNCS-9447, p.194-207 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Graph-Transformational Swarms with Stationary MembersAbdenebaoui, Larbi ; Kreowski, Hans-Jörg ; Kuske, SabineIFIP Advances in Information and Communication Technology, 2015, Vol.AICT-450, p.137-144Cham: Springer International PublishingTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Norn: An SMT Solver for String ConstraintsAbdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Chen, Yu-Fang ; Holík, Lukáš ; Rezine, Ahmed ; Rümmer, Philipp ; Stenman, JariCOMPUTER AIDED VERIFICATION, PT I, 2015, p.462-469 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
On the Use of Safety Certification Practices in Autonomous Field Robot Software Development: A Systematic Mapping StudyAbrahamsson, Pekka ; Corral, Luis ; Oivo, Markku ; Russo, BarbaraProduct-Focused Software Process Improvement, 2015, Vol.9459Switzerland: Springer International Publishing AGTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Variability Management Strategies to Support Efficient Delivery and Maintenance of Embedded SystemsAbrahamsson, Pekka ; Corral, Luis ; Oivo, Markku ; Russo, BarbaraProduct-Focused Software Process Improvement, 2015, Vol.9459Switzerland: Springer International Publishing AGTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Lessons Learned from Industry-Research CollaborationsAbrahamsson, Pekka ; Corral, Luis ; Oivo, Markku ; Russo, BarbaraProduct-Focused Software Process Improvement, 2015, Vol.9459Switzerland: Springer International Publishing AGTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
Characterising Users Through an Analysis of On-line Technical Support ForumsAbrahamsson, Pekka ; Corral, Luis ; Oivo, Markku ; Russo, BarbaraProduct-Focused Software Process Improvement, 2015, Vol.9459Switzerland: Springer International Publishing AGTexto completo disponível |
Resultados de 1 a 10 de 2.128 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2.127)
- Revistas revisadas por pares (498)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (1.657)
- Anais de Congresso (329)
- Livros (140)
- Artigos (2)
-
Mais opções
Assunto
- Information Architecture (1.341)
- Computer Science (858)
- Technology (701)
- Science & Technology (700)
- Computer Security (684)
- Computer Science, Theory & Methods (491)
- Computer Science, Hardware & Architecture (468)
- Data Encryption (449)
- Software Engineering (411)
- Computer Science, Information Systems (330)
- Telecommunications (267)
- Network Hardware (255)
- Information Retrieval (251)
- Business Mathematics & Systems (231)
- Computer Science, Interdisciplinary Applications (184)
- Computer Science, Software Engineering (160)
- Computers (123)
- Public Administration (112)
- Operational Research (110)
- Engineering: General (109)
-
Mais opções
Data de Publicação
- Antes de2013 (1)
- 2013Até2013 (1)
- 2014Até2014 (3)
- 2015Até2016 (2.158)
- Após 2016 (1)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2014) (970)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (970)
- SpringerLINK Lecture Notes in Computer Science (2015) (970)
- Lecture Notes in Computer Science Archive (through to 1996) (289)
- Recercat (7)
- SpringerLink Fully Open Access Books (1)
- Gale eBooks (1)
- Springer Open Access Journals (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- DOAB: Directory of Open Access Books (1)
- OAPEN (1)
-
Mais opções
Nome da Publicação
- Computer-Aided Architectural Design Futures. The Next City - New Technologies And The Future Of The Built Environment (2)
- Computer-Aided Architectural Design: The Next City - New Technologies And The Future Of The Built Environment, Caad Futures 2015 (2)
- Communications In Computer And Information Science (2)
- Computer-Aided Architectural Design Futures. The Next City - New Technologies And The Future Of The Built Environment 16th International Conference, Caad Futures 2015, São Paulo, Brazil, July 8-10, 2015. Selected Papers (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 