skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: Springer Books remover tipo de recurso: Anais de Congresso remover SpringerLink Fully Open Access Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
TOOLympics 2019: An Overview of Competitions in Formal Methods
TOOLympics 2019: An Overview of Competitions in Formal Methods
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, Ezio ; Beyer, Dirk ; Black, Paul ; Fedyukovich, Grigory ; Garavel, Hubert ; Hartmanns, Arnd ; Huisman, Marieke ; Kordon, Fabrice ; Nagele, Julian ; Sighireanu, Mihaela ; Steffen, Bernhard ; Suda, Martin ; Sutcliffe, Geoff ; Weber, Tjark ; Yamada, Akihisa

Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3-24 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
A Learning Analytics Study of the Effect of Group Size on Social Dynamics and Performance in Online Collaborative Learning
A Learning Analytics Study of the Effect of Group Size on Social Dynamics and Performance in Online Collaborative Learning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Learning Analytics Study of the Effect of Group Size on Social Dynamics and Performance in Online Collaborative Learning

Saqr, Mohammed ; Nouri, Jalal ; Jormanainen, Ilkka

Transforming Learning with Meaningful Technologies, 2019, p.466-479 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
3
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
Java Pathfinder at SV-COMP 2019 (Competition Contribution)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Artho, Cyrille ; Visser, W.

25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Identifying Factors for Master Thesis Completion and Non-completion Through Learning Analytics and Machine Learning
Identifying Factors for Master Thesis Completion and Non-completion Through Learning Analytics and Machine Learning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Identifying Factors for Master Thesis Completion and Non-completion Through Learning Analytics and Machine Learning

Nouri, Jalal ; Larsson, Ken ; Saqr, Mohammed

Transforming Learning with Meaningful Technologies, 2019, p.28-39 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction
Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction

Nilsson Tengstrand, Sara ; Tomaszewski, Piotr ; Borg, Markus ; Jabangwe, Ronald Lassenius, Casper ; Gregory, Peggy ; Kruchten, Philippe ; Wang, Xiaofeng

22nd International Conference on Agile Software Development, XP 2021,Virtual, Online,2021-06-14 - 2021-06-18, 2021, Vol.419 LNBIP, p.157

Texto completo disponível

Citações Citado por
6
Taking into account users' perceptions in the design process: Principles to create a digital design tool
Taking into account users' perceptions in the design process: Principles to create a digital design tool
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Taking into account users' perceptions in the design process: Principles to create a digital design tool

Fonseca Livramento da Silva, Renato ; Dias Leao Costa, Angelina ; Thomann, Guillaume

Sem texto completo

Citações Citado por
7
Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture
Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture

Brownbill, Robert ; Roberts, Adam

IFIP Advances in Information and Communication Technology, 2021, Vol.AICT-620, p.168-183

Springer International Publishing

Sem texto completo

Citações Citado por
8
A New Reconfigurable Architecture with Applications to IoT and Mobile Computing
A New Reconfigurable Architecture with Applications to IoT and Mobile Computing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A New Reconfigurable Architecture with Applications to IoT and Mobile Computing

Gharehbaghi, Amir Masoud ; Maruoka, Tomohiro ; Fujita, Masahiro

IFIP Advances in Information and Communication Technology, 2019, Vol.AICT-548, p.133-146

Springer International Publishing

Sem texto completo

Citações Citado por
9
An Analysis of Accountability Concepts for Open Development
An Analysis of Accountability Concepts for Open Development
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An Analysis of Accountability Concepts for Open Development

Bentley, Caitlin

IFIP Advances in Information and Communication Technology, 2017, Vol.AICT-504, p.793-802

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

de Supinski, Bronis R ; Abramson, David

Springer Nature 2019

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.