.de

Results: 1916769



#Item
1

BPWT-Logo_de-en_positiv.eps

Add to Reading List

Source URL: www.businesslocationcenter.de

Language: German - Date: 2016-11-07 05:07:31
    2Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

    DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

    Add to Reading List

    Source URL: www.react.uni-saarland.de

    Language: English - Date: 2017-08-02 04:54:12
    3

    Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Verfügung

    Add to Reading List

    Source URL: www.weko.admin.ch

    Language: German
      4Classical control theory / Controllability / Least squares / OLS

      ! Ecole Doctorale des Sciences Fondamentales Title of the thesis: Resolution of non-linear systems using Least-squares type methods. Supervisor : Arnaud Münch Laboratory : UMR 6620 – Laboratoire de Mathématiques - C

      Add to Reading List

      Source URL: recherche.math.univ-bpclermont.fr

      Language: English - Date: 2018-03-06 08:58:14
      5Algebra / Abstract algebra / Mathematics / Representation theory / Lie algebras / Matrices / KacMoody algebra / AuslanderReiten theory / Cartan matrix / Symmetric matrix / Sheaf / Semisimple Lie algebra

      Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof Geiß

      Add to Reading List

      Source URL: eta.impa.br

      Language: English - Date: 2018-07-25 13:17:42
      6

      Los días 18 y 19 de septiembre se celebrará el VI Congreso de la AIAF en Derecho del Fútbol con la colaboración del despacho Kellerhals Carrard. Estructura del Congreso : Contratos de futbolistas Hacerlos y romperlos

      Add to Reading List

      Source URL: www.kellerhals-carrard.ch

      Language: Spanish - Date: 2018-10-03 10:22:42
        7Numerical software / Model checking / Neuropsychology / Solver / Problem solving

        The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

        Add to Reading List

        Source URL: www.react.uni-saarland.de

        Language: English - Date: 2017-08-02 04:54:12
        8Algebra / Abstract algebra / Geometry / Algebraic geometry / Hodge structure / Birational geometry / Projective variety / Hodge theory / Divisor / D-module / Multiplier ideal / Mihnea Popa

        Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–802) D-MODULES IN BIRATIONAL GEOMETRY Mihnea Popa

        Add to Reading List

        Source URL: eta.impa.br

        Language: English - Date: 2018-07-25 13:17:42
        9

        LE THÉORÈME DE FINITUDE DE WIESEND par Jean-Baptiste Teyssier Cette note détaille la preuve du théorème de finitude de Wiesend suivant [Ker11]. Théorème. — Soit X un schéma arithmétique régulier et soit U un

        Add to Reading List

        Source URL: jbteyssier.com

        Language: French - Date: 2014-01-03 15:37:43
          10

          Infoblatt und Anmeldung Schulung Leicht verständliche Texte selber machen

          Add to Reading List

          Source URL: www.capito-nordbayern.de

          Language: German - Date: 2018-10-15 06:49:55
            UPDATE