Tum

Results: 2953



#Item
161

Handling Infinitely Branching WSTS? Michael Blondin1 , Alain Finkel2 , and Pierre McKenzie1 1 Universit´e de Montr´eal and ENS Cachan {blondimi, mckenzie}@iro.umontreal.ca

Add to Reading List

Source URL: www7.in.tum.de

Language: English - Date: 2016-09-23 11:32:44
    162

    Presseinformation Freising-Weihenstephan, den 17. November 2009 TUM-Kindervilla erhält Nachwuchs: Friedrich Schiedel-Stiftung stiftet zweiten Bauabschnitt an – Neubau ab Frühjahr 2010

    Add to Reading List

    Source URL: www.fundraising.tum.de

    Language: German - Date: 2011-03-15 10:31:36
      163

      Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1

      Add to Reading List

      Source URL: www7.in.tum.de

      Language: English - Date: 2016-09-23 11:33:03
        164

        Lecture 4: Video Applications Topological Time Series Analysis - Theory And Practice Jose Perea, Michigan State University. Chris Tralie, Duke University

        Add to Reading List

        Source URL: www-m15.ma.tum.de

        Language: English - Date: 2016-07-27 06:37:52
          165

          TUM-Richtlinien zur Bestellung von Honorarprofessoren und Honorarprofessorinnen StandDie Ernennung von Honorarprofessoren und Honorarprofessorinnen obliegt dem Präsidenten; das vorangehende Verfahren liegt i

          Add to Reading List

          Source URL: www.professoren.tum.de

          Language: German - Date: 2018-02-25 20:16:41
            166

            Microsoft Word - wiss_Fehlverhalten_DE-EN_131115.docx

            Add to Reading List

            Source URL: www.chancengleichheit.tum.de

            Language: German - Date: 2016-09-23 05:32:13
              167

              Counter-Example Guided Inductive Synthesis Approach for Stabilization Hadi Ravanbakhsh Mohamed Amin Ben Sassi Sriram Sankaranarayanan University of Colorado, Boulder

              Add to Reading List

              Source URL: www.hcs.ei.tum.de

              Language: English - Date: 2015-12-15 09:05:38
                168

                Microsoft Word - Merkblatt_Spendensammelaktion TUM Universitätsstiftung.docx

                Add to Reading List

                Source URL: www.fundraising.tum.de

                Language: German - Date: 2018-05-15 10:02:43
                  169

                  O R G A N I S ATO R I S C H E HINWEISE VERKEHRSVERBINDUNGEN Tagungsleitung

                  Add to Reading List

                  Source URL: www.wirtschaftsethik.edu.tum.de

                  Language: German - Date: 2018-01-10 07:47:21
                    170

                    Curriculum vitae Bernhard Küster, Univ. Prof. Dr, Dipl.-Chem. Positions and education June 2014

                    Add to Reading List

                    Source URL: proteomics.wzw.tum.de

                    Language: English - Date: 2016-01-20 08:48:17
                      UPDATE