skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

2
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Enabling continuous software engineering for embedded systems architectures with virtual prototypes

Pablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)

Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018

Cham Springer Nature Switzerland AG 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2917108 )(Acessar)

3
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning

Isberner, Malte ; Howar, Falk ; Steffen, Bernhard

Runtime Verification, p.307-322 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Improving the Big Mac Attack on Elliptic Curve Cryptography
Improving the Big Mac Attack on Elliptic Curve Cryptography
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving the Big Mac Attack on Elliptic Curve Cryptography

Danger, Jean-Luc ; Guilley, Sylvain ; Hoogvorst, Philippe ; Murdica, Cédric ; Naccache, David

The New Codebreakers, 2016, p.374-386 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Quantum Finite Automata: A Modern Introduction
Quantum Finite Automata: A Modern Introduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Finite Automata: A Modern Introduction

Say, A.C. Cem ; Yakaryılmaz, Abuzer

Computing with New Resources, p.208-222 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life
Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life

Liu, Mingjin ; Xiong, Caihua

Intelligent Robotics and Applications, p.67-76 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Aspects of Reversibility for Classical Automata
Aspects of Reversibility for Classical Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Aspects of Reversibility for Classical Automata

Kutrib, Martin

Computing with New Resources, p.83-98 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
MassiveThreads: A Thread Library for High Productivity Languages
MassiveThreads: A Thread Library for High Productivity Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

MassiveThreads: A Thread Library for High Productivity Languages

Nakashima, Jun ; Taura, Kenjiro

Concurrent Objects and Beyond, p.222-238 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation
A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation

Ma, Ye ; Xie, Sheng Quan ; Zhang, Yanxin

Intelligent Robotics and Applications, p.390-401 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Bucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga

Software, Services, and Systems, p.582-601 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (817)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (5)
  2. 1993Até1997  (5)
  3. 1998Até2001  (66)
  4. 2002Até2011  (631)
  5. Após 2011  (112)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (54)
  2. Russo  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.