Filter

Kompilatorer

Filter
  • Conceptual Modeling - ER 2010

    E-bok, 2010, Engelska, ISBN 9783642163739

    th This publication comprises the proceedings of the 29 International Conference on Conceptual Modeling (ER 2010), which was held this year in Vancouver, British Columbia, Canada.

  • Programming Languages and Systems

    E-bok, 2009, Engelska, ISBN 9783642005909

    This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint

  • Generative and Component-Based Software Engineering

    häftad, 2000, Engelska, ISBN 9783540411727

    This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Generative and Component-Based Software Engineering, GCSE'99, held in Erfurt,

  • Hardware and Software: Verification and Testing

    häftad, 2016, Engelska, ISBN 9783319490519

    This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

  • Coordination Models and Languages

    häftad, 2018, Engelska, ISBN 9783319924076

    This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of

  • Turbo Pascal Tools

    av

    häftad, 1990, Tyska, ISBN 9783528245436

    Minimierung, das sogenannte "Fitting". ausgiebig behandelt werden. Ich habe festge- stellt. daB die meisten Leute, die mit solchen Programmen zur Datenanalyse arbeiten, nicht

  • Reachability Problems

    E-bok, 2012, Engelska, ISBN 9783642335129

    This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full

  • Infinity in Logic and Computation

    E-bok, 2009, Engelska, ISBN 9783642030925

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on

  • Dantons Tod

    av

    E-bok, 2022, Tyska, ISBN 9783986773090

    Dantons Tod Georg Büchner - Diese Aussage Karl Gutzkows, seiner Kritik zu Dantons Tod im Phönix 1836entstammend, weist bereits auf die Originalität und Virtuosität hin, deren man

  • Computational Logic in Multi-Agent Systems

    häftad, 2012, Engelska, ISBN 9783642328961

    This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012.