skip to main content
Refinado por: tipo de recurso: Conjunto de Dados remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Functional Programming for Distributed Systems with XC (Artifact)
Material Type:
Dataset
Adicionar ao Meu Espaço

Functional Programming for Distributed Systems with XC (Artifact)

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko Winter, Stefan ; Gorla, Alessandra

Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2022

Texto completo disponível

2
Synchron - An API and Runtime for Embedded Systems (Artifact)
Material Type:
Dataset
Adicionar ao Meu Espaço

Synchron - An API and Runtime for Embedded Systems (Artifact)

Sarkar, Abhiroop ; Svensson, Bo Joel Winter, Stefan ; Gorla, Alessandra

Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2022

Texto completo disponível

3
Data for "Toatie --- Functional Hardware Description with Dependent Types"
Material Type:
Dataset
Adicionar ao Meu Espaço

Data for "Toatie --- Functional Hardware Description with Dependent Types"

Ramsay, Craig

University of Strathclyde 2023

Texto completo disponível

4
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)
Material Type:
Dataset
Adicionar ao Meu Espaço

Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)

Van den Vonder, Sam ; Renaux, Thierry ; Oeyen, Bjarno ; De Koster, Joeri ; De Meuter, Wolfgang Rigger, Manuel ; Do, Lisa Nguyen Quang

Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2020

Texto completo disponível

5
ПРИМЕНЕНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ «САМОКОНТРОЛЬ ФУНКЦИОНАЛЬНОГО СОСТОЯНИЯ СПОРТСМЕНА» В УПРАВЛЕНИИ ТРЕНИРОВОЧНЫМ ПРОЦЕССОМ
Material Type:
Dataset
Adicionar ao Meu Espaço

ПРИМЕНЕНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ «САМОКОНТРОЛЬ ФУНКЦИОНАЛЬНОГО СОСТОЯНИЯ СПОРТСМЕНА» В УПРАВЛЕНИИ ТРЕНИРОВОЧНЫМ ПРОЦЕССОМ

Мутаева Ильсияр Шафиковна ; Халиков Газинур Зиннурович ; Герасимова Ирина Геннадьевна ; Бекмансуров Раиль Хадиярович

Известия Тульского государственного университета. Физическая культура. Спорт 2022

Texto completo disponível

6
Multiparty Session Programming with Global Protocol Combinators (Artifact)
Material Type:
Dataset
Adicionar ao Meu Espaço

Multiparty Session Programming with Global Protocol Combinators (Artifact)

Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji Rigger, Manuel ; Do, Lisa Nguyen Quang

Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2020

Texto completo disponível

7
Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the Genome
Material Type:
Dataset
Adicionar ao Meu Espaço

Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the Genome

Coons, Laurel

Mendeley 2019

Texto completo disponível

8
Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the Genome
Material Type:
Dataset
Adicionar ao Meu Espaço

Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the Genome

Coons, Laurel

Mendeley 2019

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.