- Semantics of programming languages 14
- Semántica de lenguajes de programación 12
- Mathematical logic-Computation 6
- Deducción y prueba de teoremas 5
- Deduction and theorem proving 5
- Lenguajes de programación 5
- Lógica matemática-Computación 5
- Programming languages 5
- Formal languages 4
- Lenguajes formales 4
- Lógica matemática 4
- Mathematical logic 4
- Programas-Especificación 4
- Programs-Specification 4
- programación 4
- Automatic programming 3
- Language classifications 3
- Language constructs and features 3
- Logics and meanings of programs 3
- Lógica y significado de programas 3
- Programación automática 3
- Programación-Técnicas 3
- Programming techniques 3
- programming 3
- ANTROPOLOGIA 2
- Algebraic manipulation 2
- Clasificación de lenguajes 2
- Concurrent programming 2
- Formal definitions and theory 2
- Grammars and other rewriting systems 2
-
21
Sistema de seguimiento y generación de pistas para radar track while scan
Published 2019Get full text
info:eu-repo/semantics/publishedVersion -
22
A theory for the semantics of stochastic and non-deterministic continuous systems
Published 2021Get full text
acceptedVersion -
23
Análisis e integración de información de datos biológicos mediante análisis funcional
Published 2019Get full text
info:eu-repo/semantics/publishedVersion -
24
-
25
-
26
High-resolution ethograms, accelerometer recordings, and behavioral time series of Japanese quail
Published 2024Get full text
Get full text
Get full text
info:eu-repo/semantics/publishedVersion -
27
Knowledge discovery applying text mining techniques in Psychology
Published 2017Get full text
Online -
28
-
29
-
30
Programming languages : implementations, logics and programs : Proceedings /
Published 1995Conference Proceeding Book -
31
Verification, model checking and abstract interpretation : proceedings /
Published 2009Conference Proceeding Book -
32
-
33
-
34
-
35
-
36
Computational Thinking. New challenges for 21st century education
Published 2020Get full text
Online -
37
-
38
-
39
-
40