skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Computer Science eBooks 2016 English International remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Higher-Order Masking Schemes for Simon
Higher-Order Masking Schemes for Simon
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Higher-Order Masking Schemes for Simon

Qing, Sihan ; Okamoto, Eiji ; Kim, Kwangjo ; Liu, Dongmei

Information and Communications Security, 2016, Vol.9543, p.379-392 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
Lightweight Higher-Order Rewriting in Haskell
Lightweight Higher-Order Rewriting in Haskell
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Lightweight Higher-Order Rewriting in Haskell

Serrano, Manuel ; Hage, Jurriaan

Trends in Functional Programming, 2016, Vol.9547, p.1-21 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

änzle, Martin ; Kapur, Deepak ; Zhan, Naijun

Dependable Software Engineering: Theories, Tools, and Applications, 2016, Vol.9984, p.264-279 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
MOOCs in Higher Education Magazines: A Content Analysis of Internal Stakeholder Perspectives
MOOCs in Higher Education Magazines: A Content Analysis of Internal Stakeholder Perspectives
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

MOOCs in Higher Education Magazines: A Content Analysis of Internal Stakeholder Perspectives

Urrutia, Manuel León ; White, Steve ; White, Su

Computer Supported Education, p.395-405 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Online Density Estimation of Heterogeneous Data Streams in Higher Dimensions
Online Density Estimation of Heterogeneous Data Streams in Higher Dimensions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Online Density Estimation of Heterogeneous Data Streams in Higher Dimensions

Frasconi, Paolo ; Landwehr, Niels ; Manco, Giuseppe ; Vreeken, Jilles

Machine Learning and Knowledge Discovery in Databases, 2016, Vol.9851, p.65-80 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Higher Education
Higher Education
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Higher Education

Kurbanoğlu, Serap ; Boustany, Joumana ; Spiranec, Sonja ; Grassian, Esther ; Mizrachi, Diane ; Roy, Loriene ; Çakmak, Tolga

Information Literacy: Key to an Inclusive Society, 2017, Vol.676

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Higher Education
Higher Education
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Higher Education

Kurbanoğlu, Serap ; Boustany, Joumana ; Spiranec, Sonja ; Grassian, Esther ; Mizrachi, Diane ; Roy, Loriene ; Çakmak, Tolga

Information Literacy: Key to an Inclusive Society, 2017, Vol.676

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Higher Order Models
Higher Order Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Higher Order Models

Duggan, Jim

System Dynamics Modeling with R, 2016, p.73-96

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Higher-Order Theorem Proving
Higher-Order Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Higher-Order Theorem Proving

Olivetti, Nicola ; Tiwari, Ashish

Automated Reasoning, 2016, Vol.9706

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Formal Availability Analysis Using Theorem Proving
Formal Availability Analysis Using Theorem Proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formal Availability Analysis Using Theorem Proving

Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying

Formal Methods and Software Engineering, 2016, Vol.10009, p.226-242 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
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 (2.143)

Data de Publicação 

De até
Refinar
  1. Antes de2015  (1)
  2. 2015Até2015  (43)
  3. 2016Até2016  (3.606)
  4. 2017Até2018  (97)
  5. Após 2018  (1)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.