skip to main content

Idioma:

Resultados de 1 a 10 de 815 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Refinado por: Nome da Publicação: Lecture Notes in Computer Science

remover

nível superior: Revistas revisadas por pares

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning Isberner, Malte ; Howar, Falk ; Steffen, Bernhard Smolka, Scott A. ; Bonakdarpour, Borzoo Runtime Verification, p.307-322 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		Improving the Big Mac Attack on Elliptic Curve Cryptography Danger, Jean-Luc ; Guilley, Sylvain ; Hoogvorst, Philippe ; Murdica, Cédric ; Naccache, David Ryan, Peter Y. A. ; Naccache, David ; Quisquater, Jean-Jacques The New Codebreakers, 2016, p.374-386 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		Quantum Finite Automata: A Modern Introduction Say, A.C. Cem ; Yakaryılmaz, Abuzer Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, Iwama Computing with New Resources, p.208-222 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Synergistic Characteristic of Human Hand during Grasping Tasks in Daily Life Liu, Mingjin ; Xiong, Caihua Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin Intelligent Robotics and Applications, p.67-76 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		Aspects of Reversibility for Classical Automata Kutrib, Martin Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, Iwama Computing with New Resources, p.83-98 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		MassiveThreads: A Thread Library for High Productivity Languages Nakashima, Jun ; Taura, Kenjiro Agha, Gul ; Kobayashi, Naoki ; Matsuoka, Satoshi ; Taura, Kenjiro ; Masuhara, Hidehiko ; Igarashi, Atsushi ; Shibayama, Etsuya Concurrent Objects and Beyond, p.222-238 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Making Use of Design Principles Chandra Kruse, Leona ; Seidel, Stefan ; Purao, Sandeep Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, Jeffrey Tackling Society's Grand Challenges with Design Science, p.37-51 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		A Patient-Specific EMG-Driven Musculoskeletal Model for Improving the Effectiveness of Robotic Neurorehabilitation Ma, Ye ; Xie, Sheng Quan ; Zhang, Yanxin Liu, Honghai ; Wang, Nianfeng ; Chen, Zhong ; Zhang, Xianmin Intelligent Robotics and Applications, p.390-401 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation Bucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, Rocco Software, Services, and Systems, p.582-601 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students Nakamura, Shuya ; Tomoto, Takahito ; Akakura, Takako Yamamoto, Sakae 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 Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 815 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento