Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dataset
|
Functional Programming for Distributed Systems with XC (Artifact)Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko Winter, Stefan ; Gorla, AlessandraSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
|
2 |
Material Type: Dataset
|
Synchron - An API and Runtime for Embedded Systems (Artifact)Sarkar, Abhiroop ; Svensson, Bo Joel Winter, Stefan ; Gorla, AlessandraSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
|
3 |
Material Type: Dataset
|
Data for "Toatie --- Functional Hardware Description with Dependent Types"Ramsay, CraigUniversity of Strathclyde 2023Texto completo disponível |
|
4 |
Material Type: Dataset
|
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 QuangSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
|
5 |
Material Type: Dataset
|
ПРИМЕНЕНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ «САМОКОНТРОЛЬ ФУНКЦИОНАЛЬНОГО СОСТОЯНИЯ СПОРТСМЕНА» В УПРАВЛЕНИИ ТРЕНИРОВОЧНЫМ ПРОЦЕССОММутаева Ильсияр Шафиковна ; Халиков Газинур Зиннурович ; Герасимова Ирина Геннадьевна ; Бекмансуров Раиль ХадияровичИзвестия Тульского государственного университета. Физическая культура. Спорт 2022Texto completo disponível |
|
6 |
Material Type: Dataset
|
Multiparty Session Programming with Global Protocol Combinators (Artifact)Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji Rigger, Manuel ; Do, Lisa Nguyen QuangSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
|
7 |
Material Type: Dataset
|
Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the GenomeCoons, LaurelMendeley 2019Texto completo disponível |
|
8 |
Material Type: Dataset
|
Decoding the Inversion Symmetry Underlying Transcription Factor DNA-Binding Specificity and Functionality in the GenomeCoons, LaurelMendeley 2019Texto completo disponível |