*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Manuel Núñez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 20th International Workshop on Formal Methods for In...

    51,36 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Networked and Distributed Systems - FORTE 2004
    Formal Techniques for Networked and Distributed Systems - FORTE 2004
    David De Frutos-Escrig
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specifica...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Emisión Monetaria Personal
    Emisión Monetaria Personal
    José Manuel Fernández Núñez
    Editorial Académica Española
    Taschenbuch
    BOD - 2 Tage

    La EMP es el más importante descubrimiento en materia monetaria y de Desarrollo Humano, en la his...

    49,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Software validation is one of the most cost-intensive tasks in modern software production process...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computational Collective Intelligence
    Computational Collective Intelligence
    Manuel Núñez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This two-volume  set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th In...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computational Collective Intelligence
    Computational Collective Intelligence
    Manuel Núñez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This two-volume  set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th In...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Testing of Software and Communication Systems
    Testing of Software and Communication Systems
    Manuel Nunez
    Springer, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Steve Counsell
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the revised selected papers of the collocated workshops of the 11th Interna...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Applying Formal Methods: Testing, Performance, and M/E-Commerce
    Applying Formal Methods: Testing, Performance, and M/E-Commerce
    Manuel Núnez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    TheFormEMC.- Formal Analysis of the Internet Open Trading Protocol.- Life-Cycle E-commerce Testin...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Web Services and Formal Methods
    Web Services and Formal Methods
    Mario Bravetti
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    InvitedPapers.- DecSerFlow: Towards a Truly Declarative Service Flow Language.- Service QoS Compo...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Marco de interoperabilidad empresarial para la cadena de suministro
    Marco de interoperabilidad empresarial para la cadena de suministro
    Jairo Nuñez Rodriguez
    Editorial Académica Española
    Taschenbuch
    BOD - 2 Tage

    Con la globalización, el mundo se ha convertido en un lugar constantemente cambiante, los mercado...

    54,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Reforma Educativa en México¿utopía o demagogia estatal?el caso Oaxaca
    Reforma Educativa en México¿utopía o demagogia estatal?el caso Oaxaca
    Sonia Comboni S.
    Editorial Académica Española
    Taschenbuch
    BOD - 2 Tage

    Los movimientos indigenistas de los u¿ltimos 30 an¿os han producido verdaderas transformaciones s...

    26,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5