skip to main content
Idioma:
previous page 1 Resultados 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
11
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
12
Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students
Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students

Nakamura, Shuya ; Tomoto, Takahito ; Akakura, Takako

Human Interface and the Management of Information. Information and Knowledge in Context, p.370-377 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
13
A Study of EMG-Based Neuromuscular Interface for Elbow Joint
A Study of EMG-Based Neuromuscular Interface for Elbow Joint
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Study of EMG-Based Neuromuscular Interface for Elbow Joint

Tao, Ran ; Xie, Sheng Quan ; Pau, James W. L.

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
14
Design of an Anthropomorphic Prosthetic Hand with EMG Control
Design of an Anthropomorphic Prosthetic Hand with EMG Control
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of an Anthropomorphic Prosthetic Hand with EMG Control

Wang, Nianfeng ; Lao, Kunyi ; Zhang, Xianmin

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
15
Abstract Interpretation
Abstract Interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Interpretation

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard

Deductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
16
First-Order Logic
First-Order Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

First-Order Logic

Schmitt, Peter H.

Deductive Software Verification – The KeY Book, 2016-12, p.23-47 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
17
Living Modeling of IT Architectures: Challenges and Solutions
Living Modeling of IT Architectures: Challenges and Solutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Living Modeling of IT Architectures: Challenges and Solutions

Trojer, Thomas ; Farwick, Matthias ; Häusler, Martin ; Breu, Ruth

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
18
Proof Search with Taclets
Proof Search with Taclets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Search with Taclets

Rümmer, Philipp ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.107-147 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
19
Computing Boolean Functions via Quantum Hashing
Computing Boolean Functions via Quantum Hashing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing Boolean Functions via Quantum Hashing

Ablayev, Farid ; Vasiliev, Alexander

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
20
Anthropometric and Anthropomorphic Features Applied to a Mechanical Finger
Anthropometric and Anthropomorphic Features Applied to a Mechanical Finger
Material Type:
Artigo 		Adicionar ao Meu Espaço

Anthropometric and Anthropomorphic Features Applied to a Mechanical Finger

Prudencio, Alejandro ; Morales, Eduardo ; García, Mario A. ; Lozano, Alejandro

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

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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  (824)
  2. Livros  (1)
  3. Mais opções open sub menu

Idioma 

  1. Japonês  (52)
  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.