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

Creating Static Sites with Pelican at LIPN
Avatar for Jaime Arias Almeida himito
0
8
CosyVerif : Vers une Cohabitation des Formalismes: Séminaire des 20 ans de MeFoSyLoMa
Avatar for Jaime Arias Almeida himito
0
11
Heure ProDev : AdonisJS
Avatar for Jaime Arias Almeida himito
0
12
Preserving the World’s Software: A Hands-On Introduction to Software Heritage
Avatar for Jaime Arias Almeida himito
0
5
Journée Vue.js
Avatar for Jaime Arias Almeida himito
0
15
Deterministic Finite Automata
Avatar for Jaime Arias Almeida himito
0
19
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
40
CosyVerif: The Path to Formalisms Cohabitation
Avatar for Jaime Arias Almeida himito
0
50
Towards a Rewriting Logic Semantics for Interactive Scores
Avatar for Jaime Arias Almeida himito
0
46
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
140
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
Avatar for Jaime Arias Almeida himito
0
100
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
360
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
140
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

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