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 Books remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems: Special Track at ISoLA 2016
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems: Special Track at ISoLA 2016
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems: Special Track at ISoLA 2016

Howar, Falk ; Meinke, Karl ; Rausch, Andreas Margaria, Tiziana ; Steffen, Bernhard

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, 2016, p.651-654 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
PVS: A prototype verification system
PVS: A prototype verification system
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

PVS: A prototype verification system

Owre, S. ; Rushby, J. M. ; Shankar, N. Kapur, Deepak

Automated Deduction—CADE-11, 2005, p.748-752 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Agent Environments for Multi-agent Systems – A Research Roadmap
Agent Environments for Multi-agent Systems – A Research Roadmap
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Agent Environments for Multi-agent Systems – A Research Roadmap

Weyns, Danny ; Michel, Fabien Weyns, Danny ; Michel, Fabien

Agent Environments for Multi-Agent Systems IV, 2015, p.3-21 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
The Operator 4.0: Human Cyber-Physical Systems & Adaptive Automation Towards Human-Automation Symbiosis Work Systems
The Operator 4.0: Human Cyber-Physical Systems & Adaptive Automation Towards Human-Automation Symbiosis Work Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Operator 4.0: Human Cyber-Physical Systems & Adaptive Automation Towards Human-Automation Symbiosis Work Systems

Romero, David ; Bernus, Peter ; Noran, Ovidiu ; Stahre, Johan ; Fast-Berglund, Åsa Nääs, Irenilza ; Silva, Márcia Terra ; Gonçalves, Rodrigo Franco ; Mendes Reis, João ; Vendrametto, Oduvaldo ; Kiritsis, Dimitris ; von Cieminski, Gregor

Advances in Production Management Systems. Initiatives for a Sustainable World, 2016, Vol.488, p.677-686

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Output Regulation of Arneodo-Coullet Chaotic System
Output Regulation of Arneodo-Coullet Chaotic System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Output Regulation of Arneodo-Coullet Chaotic System

Vaidyanathan, Sundarapandian Meghanathan, Natarajan ; Kaushik, Brajesh Kumar ; Nagamalai, Dhinaharan

Advanced Computing, p.98-107 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Output Regulation of the Unified Chaotic System
Output Regulation of the Unified Chaotic System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Output Regulation of the Unified Chaotic System

Vaidyanathan, Sundarapandian Meghanathan, Natarajan ; Wyld, David C. ; Wozniak, Michal ; Nagamalai, Dhinaharan ; Chaki, Nabendu

Advances in Computing and Information Technology, p.1-9 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Modelica — A unified object-oriented language for system modeling and simulation
Modelica — A unified object-oriented language for system modeling and simulation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modelica — A unified object-oriented language for system modeling and simulation

Fritzson, Peter ; Engelson, Vadim Jul, Eric

ECOOP’98 — Object-Oriented Programming, 2006, p.67-90 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Mechanical property characterization of a 3D printing manufacturing system
Mechanical property characterization of a 3D printing manufacturing system
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mechanical property characterization of a 3D printing manufacturing system

M. S. Ribeiro, Luiz H ; Claeys, Claus ; Fabro, Adriano T ; Chronopoulos, Dimitrios ; F. Arruda, José Roberto

Proceedings of the 6th International Symposium on Uncertainty Quantification and Stochastic Modelling, 2023, p.122-129

Springer, Cham

Texto completo disponível

Citações Citado por
9
A Survey on Testing for Cyber Physical System
A Survey on Testing for Cyber Physical System
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Survey on Testing for Cyber Physical System

Abbaspour Asadollah, Sara ; Inam, Rafia ; Hansson, Hans El-Fakih, Khaled ; Barlas, Gerassimos ; Yevtushenko, Nina

SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems, 2015, p.194-207 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
From Particle Systems to Partial Differential Equations II: Particle Systems and PDEs II, Braga, Portugal, December 2013
From Particle Systems to Partial Differential Equations II: Particle Systems and PDEs II, Braga, Portugal, December 2013
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Particle Systems to Partial Differential Equations II: Particle Systems and PDEs II, Braga, Portugal, December 2013

Soares, Ana Jacinta ; Gonçalves, Patrícia

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.   

Mostrar Somente

  1. Revistas revisadas por pares (15.057)

Data de Publicação 

De até
Refinar
  1. Antes de1978  (43)
  2. 1978Até1988  (755)
  3. 1989Até1999  (1.941)
  4. 2000Até2011  (9.839)
  5. Após 2011  (13.876)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (26.485)
  2. Japonês  (190)
  3. Russo  (4)
  4. Alemão  (2)
  5. Dinamarquês  (1)
  6. Sueco  (1)
  7. Espanhol  (1)
  8. Norueguês  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.