Filtrera

Språk
  • (9)
  • (6)
Ämne
  • (9)
  • (2)
  • (9)
  • (1)
Format
  • (5)
  • (10)
Utgivningsår
  • (2)
  • (13)
Pris
  • (1)
Leveranstid
  • (5)

Karl Meinke - Böcker

Visar alla böcker av Karl Meinke. Handla med fri frakt och snabb leverans!

Sortering:

  1. Tests and Proofs

    av Laura Kovacs, Karl Meinke

    Häftad, Engelska, 2022-06-22
    659
    Köp
    Skickas inom 7-10 vardagar.
    Tests and Proofs

    This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6...

    Läs mer »

  2. Tests and Proofs E-bok

    av Laura Kovacs, Karl Meinke

    E-bok, Engelska, 2022-06-21
    692
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Tests and Proofs

    This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022....

    Läs mer »

  3. Machine Learning for Dynamic Software Analysis: Potentials and Limits

    av Amel Bennaceur, Reiner Hahnle, Karl Meinke

    Häftad, Engelska, 2018-07-21
    776
    Köp
    Skickas inom 7-10 vardagar.
    Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that ca...

    Läs mer »

  4. Machine Learning for Dynamic Software Analysis: Potentials and Limits E-bok

    av Amel Bennaceur, Reiner Hahnle, Karl Meinke

    E-bok, Engelska, 2018-07-20
    769
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities.  Increased productivity in software engineering relies on the creation of new adaptive, scalable tools t...

    Läs mer »

  5. Taschenbuch der Hochfrequenztechnik

    av H H Meinke, F W Gundlach, Klaus Lange, Karl-Heinz Loecherer

    Häftad, Tyska, 1992-10-01
    1852
    Köp
    Skickas inom 7-10 vardagar.
    Taschenbuch der Hochfrequenztechnik

    F. W. Gundlach 1 Hinweise zur Benutzung 2 Physikalische Groessen, des Taschenbuchs ihre Einheiten und Formelzeichen Directions for the use of the book Physical quantities, units and syrnbols Zum Suchen kann man entweder das ausfuhrli- che Inhaltsv...

    Läs mer »

  6. Taschenbuch der Hochfrequenztechnik

    av H H Meinke, F W Gundlach, Klaus Lange, Karl-Heinz Loecherer

    Häftad, Tyska, 1992-10-01
    1698
    Köp
    Skickas inom 7-10 vardagar.
    Taschenbuch der Hochfrequenztechnik

    xxx

    Läs mer »

  7. Taschenbuch der Hochfrequenztechnik

    av H H Meinke, F W Gundlach, Klaus Lange, Karl-Heinz Loecherer

    Häftad, Tyska, 1992-10-01
    1698
    Köp
    Skickas inom 7-10 vardagar.
    Taschenbuch der Hochfrequenztechnik

    xxx

    Läs mer »

  8. Higher-Order Algebra, Logic, and Term Rewriting

    av Jan Heering, Karl Meinke, Bernhard Moeller, Tobias Nipkow

    Häftad, Engelska, 1994-07-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Higher-Order Algebra, Logic, and Term Rewriting

    This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasing...

    Läs mer »

  9. Computer Science Logic

    av Egon Boerger, Yuri Gurevich, Karl Meinke

    Häftad, Engelska, 1994-07-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Computer Science Logic

    This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected ...

    Läs mer »

  10. Higher-Order Algebra, Logic, and Term Rewriting

    av Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Moeller

    Häftad, Engelska, 1996-05-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Higher-Order Algebra, Logic, and Term Rewriting

    This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. T...

    Läs mer »

  11. Algebraic and Logic Programming

    av Michael Hanus, Jan Heering, Karl Meinke

    Häftad, Engelska, 1997-08-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Algebraic and Logic Programming

    This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampt...

    Läs mer »

  12. Principles of Declarative Programming

    av Catuscia Palamidessi, Hugh Glaser, Karl Meinke

    Häftad, Engelska, 1998-09-01
    699
    Köp
    Skickas inom 7-10 vardagar.
    Principles of Declarative Programming

    This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, AL...

    Läs mer »

  13. Taschenbuch der Hochfrequenztechnik E-bok

    av Klaus Lange, H H Meinke, Karl-Heinz Locherer, F W Gundlach

    E-bok, Tyska, 2013-11-27
    1346
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Taschenbuch der Hochfrequenztechnik

  14. Taschenbuch der Hochfrequenztechnik E-bok

    av Klaus Lange, H H Meinke, Karl-Heinz Locherer, F W Gundlach

    E-bok, Tyska, 2013-11-27
    1223
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Taschenbuch der Hochfrequenztechnik

    xxx

    Läs mer »

  15. Taschenbuch der Hochfrequenztechnik E-bok

    av Klaus Lange, H H Meinke, Karl-Heinz Locherer, F W Gundlach

    E-bok, Tyska, 2013-08-13
    400
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Taschenbuch der Hochfrequenztechnik