Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Jaime Arias Almeida

Jaime Arias Almeida

himito
1 Stars

Decks

CosyVerif : Vers une Cohabitation des Formalismes: Séminaire des 20 ans de MeFoSyLoMa
Avatar for Jaime Arias Almeida himito
0
3
Heure ProDev : AdonisJS
Avatar for Jaime Arias Almeida himito
0
7
Preserving the World’s Software: A Hands-On Introduction to Software Heritage
Avatar for Jaime Arias Almeida himito
0
3
Journée Vue.js
Avatar for Jaime Arias Almeida himito
0
7
Deterministic Finite Automata
Avatar for Jaime Arias Almeida himito
0
8
Journée Respire - CI/CD at LIPN
Avatar for Jaime Arias Almeida himito
0
14
Software Heritage key infrastructure for Open Science and Software Science
Avatar for Jaime Arias Almeida himito
0
34
CosyVerif: The Path to Formalisms Cohabitation
Avatar for Jaime Arias Almeida himito
0
42
Towards a Rewriting Logic Semantics for Interactive Scores
Avatar for Jaime Arias Almeida himito
0
42
ICFEM2022
Avatar for Jaime Arias Almeida himito
0
100
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
Avatar for Jaime Arias Almeida himito
0
130
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
Avatar for Jaime Arias Almeida himito
0
97
Continuous Integration & Deployment
Avatar for Jaime Arias Almeida himito
1
110
Hunting Moby Dick: An introduction to Docker at LIPN
Avatar for Jaime Arias Almeida himito
1
340
Git: A Distributed Revision Control System
Avatar for Jaime Arias Almeida himito
1
180
Hunting Moby Dick: An Introduction to Docker
Avatar for Jaime Arias Almeida himito
0
130
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of Hemodynamic Response Function
Avatar for Jaime Arias Almeida himito
0
240
A tree-based Operational Semantics for Interactive Multimedia Scores
Avatar for Jaime Arias Almeida himito
0
110

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade