Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Historia 2,050
- History 1,509
- Història 804
- Filosofía 719
- Crítica e interpretación 624
- Management 482
- TFM 444
- Derecho 435
- Education 423
- Development 418
- Medicine 412
- Biblia 405
- Application software 389
- Study and teaching 372
- Research 370
- Philosophy 350
- Science: general issues 349
- Política y gobierno 346
- Universidad Pontificia de Salamanca (España) 337
- Politics and government 317
- Social aspects 314
- Law 308
- Information technology 305
- Ensenyament 304
- TFG 296
- Artificial intelligence 282
- History and criticism 266
- Leadership 262
- Iglesia Católica 249
- Economics 248
-
1541Publicado 2019“…Sustainable multilingualism 2019…”
Libro electrónico -
1542
-
1543
-
1544
-
1545Publicado 2019Tabla de Contenidos: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Completion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution)…”
Libro electrónico -
1546
-
1547Publicado 1999Materias: “…Sánchez Ferlosio, Rafael, 1927-2019 Crítica i interpretació…”
Libro -
1548por Oliver, Mary, 1935-2019Materias: “…Oliver, Mary 1935-2019 Autobiografías…”
Publicado 2021
Libro -
1549Publicado 2023Materias: “…Ferrer, Mariano, 1939-2019 estudios y conferencias…”
Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca de la Universidad de Navarra)Libro -
1550
-
1551
-
1552
-
1553
-
1554
-
1555
-
1556Publicado 2021Biblioteca Universidad Eclesiástica San Dámaso (Otras Fuentes: Red de Bibliotecas de la Diócesis de Córdoba, Universidad Loyola - Universidad Loyola Granada, Biblioteca Universidad de Deusto)Libro
-
1557
-
1558Publicado 2019“…Sant Bartomeu 2019…”
Libro -
1559
-
1560
