*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Language Engineering and Rigorous Software Development
    Language Engineering and Rigorous Software Development
    Jorge Sousa Pinto
    J.B. Metzler
    Taschenbuch
    BOD - 2 Tage

    to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abst...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Programming Languages
    Programming Languages
    Luis Soares Barbosa
    J.B. Metzler
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, ...

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Dynamic Logic. New Trends and Applications
    Dynamic Logic. New Trends and Applications
    Luís Soares Barbosa
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Artificial Intelligence Logic and Applications
    Artificial Intelligence Logic and Applications
    Songmao Zhang
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 4th International Conference on Artificial Intellige...

    87,63 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1