Seite 1 von 94.923 Ergebnissen

Sortieren nach: Relevanz | Aktualität | Titel

Treffer filtern

Externe Quellen

Suchen...
  1.  

    LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

    Sanchez, A. / Sanchez, C. | British Library Online Contents | 2014
    Sonstige Beteiligte: Biere, A.
  2.  

    Formal Verification of Skiplists with Arbitrary Many Levels

    Sanchez, A. / Sanchez, C. | British Library Conference Proceedings | 2014
  3.  

    LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

    Sanchez, A. / Sanchez, C. | British Library Conference Proceedings | 2014
  4.  

    Formal Verification of Skiplists with Arbitrary Many Levels

    Sanchez, A. / Sanchez, C. | British Library Online Contents | 2014
  5.  

    Storage box for household use

    Freier Zugriff
    SANCHEZ-VIZCAINO ANGEL SANCHEZ | Europäisches Patentamt | 2018
  6.  

    Laundry basket

    Freier Zugriff
    SANCHEZ-VIZCAINO ANGEL SANCHEZ | Europäisches Patentamt | 2016
  7.  

    Storage box for household use

    Freier Zugriff
    SANCHEZ-VIZCAINO ANGEL SANCHEZ | Europäisches Patentamt | 2016
  8.  

    A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes

    Sanchez, A. / Sanchez, C. | British Library Conference Proceedings | 2011
  9.  

    Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems

    Sánchez, A. / Sánchez, C. s. | British Library Online Contents | 2017
  10.  

    A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes

    Sanchez, A. / Sanchez, C. | British Library Online Contents | 2011
  11.  

    Parametrized invariance for infinite state processes

    Sánchez, A. / Sánchez, C. s. | British Library Online Contents | 2015
  12.  

    Decision Procedures for the Temporal Verification of Concurrent Lists

    Sanchez, A. / Sanchez, C. | British Library Online Contents | 2010
  13.  

    Decision Procedures for the Temporal Verification of Concurrent Lists

    Sanchez, A. / Sanchez, C. | British Library Conference Proceedings | 2010
  14.  

    Single-Chain Polymer Nanoparticles via Non-Covalent and Dynamic Covalent Bonds

    Sanchez-Sanchez, A. / Pomposo, J. A. | British Library Online Contents | 2014
  15.  

    Improving force tracking control performance in cooperative robots

    Freier Zugriff
    Pablo Sánchez-Sánchez / Marco A Arteaga-Pérez | DOAJ | 2017
  16.  

    PCP50 - PERFORMANCE INDICATORS IN THE MONITORING OF OUTSOURCED PUBLIC HEALTH SERVICES

    Sánchez-Soliño, A. / Sanchez-Solino, O. | British Library Online Contents | 2018
  17.  

    Hydration of lignocellulosic biomass. Modelling and experimental validation

    Sanchez, A. / Hernandez-Sanchez, P. / Puente, R. | CEABA® | 2019

Ergebnisse anzeigen: 10 | 20 | 50