Materias dentro de su búsqueda.
Buscar alternativas:
interpol » interior (Expander búsqueda)
Mostrando 1 - 10 Resultados de 10 Para Buscar '"Interpol"', tiempo de consulta: 0.07s Limitar resultados
  1. 1
    Introduction to numerical analysis and scientific computing
    Publicado 2013
    Tabla de Contenidos: “… Interpolation and Splines Fitting; Chapter 5: Numerical Differentiation and Integration; Chapter 6: Advanced…”
    Libro electrónico
  2. 2
    Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
    por Kobayashi, Naoki
    Publicado 2024
    Tabla de Contenidos: “… -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory…”
    Libro electrónico
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    Publicado 2018
    Tabla de Contenidos: “…) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM…”
    Libro electrónico
  4. 4
    Practical scientific computing
    por Muhammad, Ali
    Publicado 2011
    Tabla de Contenidos: “… Error estimation and control; 10.6 Exercises; 11 Interpolation and approximation…”
    Libro electrónico
  5. 5
    Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    Publicado 2010
    Tabla de Contenidos: “… to Discover Interval Linear Equalities -- Interpolant Strength -- Checking Bounded Reachability…”
    Libro electrónico
  6. 6
    Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
    por Beyer, Dirk
    Publicado 2024
    Tabla de Contenidos: “… Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) -- Ultimate…”
    Libro electrónico
  7. 7
    Common Lisp Recipes : A Problem-Solution Approach
    por Weitz, Edmund. author
    Publicado 2016
    Tabla de Contenidos: “…2-4. Using List Interpolation2-5. Adding Objects to the End of a List; The Tail Wagging the List; 2…”
    Libro electrónico
  8. 8
    Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    Tabla de Contenidos: “… -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation…”
    Libro electrónico
  9. 9
    Information technology and computer application engineering
    Publicado 2014
    Tabla de Contenidos: “…; Equivalent interpolation algorithm for NIRS data; Improvement and implementation of the MD5 algorithm based…”
    Libro electrónico
  10. 10
    Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
    Publicado 2023
    Tabla de Contenidos: “… and Interpolation based Verifier for Concurrent Programs (Competition Contribution) -- Ultimate Automizer…”
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda