Resultados de 1 a 10 de 11 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2015)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Digital Tools for Heritage Preservation and Enhancement: The Integration of Processes and Technologies on 20th Century Buildings in Brazil and IndiaRossato, Luca Fresa, Antonella ; Liestøl, Gunnar ; Hagedorn-Saupe, Monika ; Ioannides, Marinos ; Grussenmeyer, Pierre ; Fink, Eleanor ; Moropoulou, Antonia ; Rajcic, VlatkaDigital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, p.567-578 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Property-Driven Fence Insertion Using Reorder Bounded Model CheckingJoshi, Saurabh ; Kroening, Daniel Bjørner, Nikolaj ; de Boer, FrankFM 2015: Formal Methods, p.291-307 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Modeling Universal Instruction SelectionHjort Blindell, Gabriel ; Castañeda Lozano, Roberto ; Carlsson, Mats ; Schulte, Christian Pesant, GillesPrinciples and Practice of Constraint Programming, 2015, p.609-626 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
GPU-Accelerated Database Systems: Survey and Open ChallengesBreß, Sebastian ; Heimel, Max ; Siegmund, Norbert ; Bellatreche, Ladjel ; Saake, Gunter Wagner, Roland ; Palpanas, Themis ; Hameurlain, Abdelkader ; Küng, Josef ; Vakali, Athena ; Catania, Barbara ; Pokorný, Jaroslav ; Guerrini, GiovannaTransactions on Large-Scale Data- and Knowledge-Centered Systems XV, 2014, Vol.8920, p.1-35 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Parallelizing Heuristics for Generating Synchronizing SequencesKarahoda, Sertaç ; Erenay, Osman Tufan ; Kaya, Kamer ; Türker, Uraz Cengiz ; Yenigün, Hüsnü Nica, Mihai ; Kushik, Natalia ; Wotawa, FranzTesting Software and Systems, p.106-122 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
The Unconventional Tribune Profiles in Architectural Designing of StadiumsPelczarski, Zdzislaw Stephanidis, Constantine ; Antona, MargheritaUniversal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices, p.315-326 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTWSong, Liang ; Huang, Hejiao ; Du, Hongwei Xu, Wen ; Du, Ding-Zhu ; Wu, Lidong ; Zhang, ZhaoCombinatorial Optimization and Applications, p.66-73 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Handling Revision Inconsistencies: Towards Better ExplanationsSchmidt, Fabian ; Gebhardt, Jörg ; Kruse, Rudolf Denoeux, Thierry ; Destercke, SébastienSymbolic and Quantitative Approaches to Reasoning with Uncertainty, p.257-266 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Using Blue Gene/P and GPUs to Accelerate Computations in the EULAG ModelWyrzykowski, Roman ; Rojek, Krzysztof ; Szustak, Łukasz Waśniewski, Jerzy ; Margenov, Svetozar ; Lirkov, IvanLarge-Scale Scientific Computing, p.670-677 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Corporate Innovation Engines: Tools and ProcessesDelic, Kemal A. ; Fulgham, Mark T. Karagiannis, Dimitris ; Reimer, UlrichLecture notes in computer science, 2004, p.220-226 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 11 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Assunto
- Computer Science (8)
- Science & Technology (8)
- Technology (8)
- Computer Science, Theory & Methods (5)
- Computer Science, Software Engineering (4)
- Computer Science, Hardware & Architecture (4)
- Computer Science, Artificial Intelligence (3)
- Logic (3)
- Science & Technology - Other Topics (3)
- Applied Sciences (2)
- Exact Sciences And Technology (2)
- Robotics (2)
- Computer Science; Control Theory; Systems (2)
- Modern Architecture (2)
- Assertion Violation (1)
- Approximation Algorithm (1)
- Artificial Intelligence (1)
- 20th Century Architecture (1)
- Architectural Designing (1)
- 3d Tools (1)
-
Mais opções
Data de Publicação
- Antes de2004 (1)
- 2004Até2011 (2)
- 2012Até2013 (1)
- 2014Até2015 (5)
- Após 2015 (3)
-
Mais opções
Base de Dados/Biblioteca
- Lecture Notes in Computer Science Archive (through to 1996) (11)
- Science Citation Index Expanded (Web of Science) (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
- Springer Books (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- IngentaConnect Journals (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 