skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recommender Systems and Linked Open Data
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Recommender Systems and Linked Open Data

Di Noia, Tommaso ; Ostuni, Vito Claudio Paschke, Adrian ; Faber, Wolfgang

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.88-113 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

2
Horn Clause Solvers for Program Verification
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Horn Clause Solvers for Program Verification

Bjørner, Nikolaj ; Gurfinkel, Arie ; McMillan, Ken ; Rybalchenko, Andrey Beklemishev, Lev D. ; Dershowitz, Nachum ; Blass, Andreas ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

3
Stakeholders Approach to Smart Cities: A Survey on Smart City Definitions
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Stakeholders Approach to Smart Cities: A Survey on Smart City Definitions

Fernandez-Anez, Victoria Chicano, Francisco ; Alba, Enrique ; Luque, Gabriel

Smart Cities, 2016, Vol.9704, p.157-167 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

4
Recent Advances in Graph Partitioning
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Recent Advances in Graph Partitioning

Buluç, Aydın ; Meyerhenke, Henning ; Safro, Ilya ; Sanders, Peter ; Schulz, Christian Sanders, Peter ; Kliemann, Lasse

Algorithm Engineering, 2016, Vol.9220, p.117-158 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

5
Meta-Interpretive Learning of Data Transformation Programs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Meta-Interpretive Learning of Data Transformation Programs

Cropper, Andrew ; Tamaddoni-Nezhad, Alireza ; Muggleton, Stephen H. Inoue, Katsumi ; Yamamoto, Akihiro ; Ohwada, Hayato

Inductive Logic Programming, 2016, Vol.9575, p.46-59 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

6
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Ontology-Mediated Query Answering with Data-Tractable Description Logics

Bienvenu, Meghyn ; Ortiz, Magdalena Paschke, Adrian ; Faber, Wolfgang

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.218-307 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

7
On the Size of Pairing-Based Non-interactive Arguments
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Size of Pairing-Based Non-interactive Arguments

Groth, Jens Fischlin, Marc ; Coron, Jean-Sébastien

Advances in Cryptology - EUROCRYPT 2016, 2016, Vol.9666, p.305-326 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

8
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors

Libert, Benoît ; Ling, San ; Nguyen, Khoa ; Wang, Huaxiong Fischlin, Marc ; Coron, Jean-Sébastien

Advances in Cryptology - EUROCRYPT 2016, 2016, Vol.9666, p.1-31 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

9
An ICT-Based Reference Model for E-grocery in Smart Cities
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

An ICT-Based Reference Model for E-grocery in Smart Cities

Tadei, Roberto ; Fadda, Edoardo ; Gobbato, Luca ; Perboli, Guido ; Rosano, Mariangela Chicano, Francisco ; Alba, Enrique ; Luque, Gabriel

Smart Cities, 2016, Vol.9704, p.22-31 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

10
Route Planning in Transportation Networks
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Route Planning in Transportation Networks

Bast, Hannah ; Delling, Daniel ; Goldberg, Andrew ; Müller-Hannemann, Matthias ; Pajor, Thomas ; Sanders, Peter ; Wagner, Dorothea ; Werneck, Renato F. Sanders, Peter ; Kliemann, Lasse

Algorithm Engineering, 2016, Vol.9220, p.19-80 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (10.289)

Data de Publicação 

De até
  1. Antes de1994  (93)
  2. 1994Até2000  (1.414)
  3. 2001Até2007  (2.957)
  4. 2008Até2015  (3.755)
  5. Após 2015  (2.406)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (294)
  2. Norueguês  (13)
  3. Russo  (2)
  4. Francês  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.