Amin

Results: 1116



#Item
61

Computing with an SMT solver Nada Amin 0 , K. Rustan M. Leino 1 , and Tiark Rompf 0,2 0 EPFL, Lausanne, Switzerland

Add to Reading List

Source URL: research.microsoft.com

- Date: 2014-04-02 22:56:02
    62

    Computer-Aided Design for Multilayer Microfluidic Chips by Nada Amin Submitted to the Department of Electrical Engineering and Computer

    Add to Reading List

    Source URL: groups.csail.mit.edu

    - Date: 2009-01-29 13:06:37
      63

      Function Interval Arithmetic Jan Duracz1 , Amin Farjudian2 , Michal Koneˇcný3 , and Walid Taha4 1 , http://duracz.net/jan

      Add to Reading List

      Source URL: duracz.net

      - Date: 2014-05-26 03:35:10
        64

        Generative Programming: from High-Performance to Safety-Critical Applications LMS-Verify: Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf

        Add to Reading List

        Source URL: lampwww.epfl.ch

        - Date: 2016-10-31 05:50:57
          65

          Das Forschungsinstitut für biologischen Landbau, Fibl, und deren Mitarbeiter bei der Arbeit, amin Frick.

          Add to Reading List

          Source URL: www.biofach.fibl.org

          - Date: 2015-03-04 05:17:35
            66

            LICHT(KUNST)REGION HELLWEG - ein LICHTWEG Pressevorankündigung Gebündelte Lichtkunst mit großer Strahlkraft WICHTIGER TERMIN – BITTE VORMERKEN! Erste große Nacht der Lichtkunst amin der Hellweg-Region (

            Add to Reading List

            Source URL: www.hellweg-ein-lichtweg.de

            - Date: 2016-08-02 13:55:28
              67

              Veranstalter & Organisation 4. Fachwerkstatt – „Qualitätssicherung im Leerstandsmanagement – Ortskernentwicklung, Eigentümeraktivierung und Attraktivitätssteigerung“ amin Dannenberg/Elbe 1

              Add to Reading List

              Source URL: metropolregion.hamburg.de

                68

                Textentwürfe für Newsletter & Co Feminess Business Kongressim Waldaupark in stuttgart Netzwerkveranstaltung für Frauen von Frauen: Der Feminess Business Kongress amin Stuttgart Amfi

                Add to Reading List

                Source URL: www.feminess-kongress.de

                - Date: 2015-06-18 09:23:04
                  69

                  Familien-Sport-Fest amin Maiersdorf

                  Add to Reading List

                  Source URL: sbcpernitz.gmxhome.de

                  - Date: 2010-09-29 11:48:34
                    70

                    Dr. Hartmut K n ü p p e l Dipl.-Wirtschaftsingenieur geboren amin Biberach/Riss verheiratet, zwei Kinder 1971

                    Add to Reading List

                    Source URL: www.zertifikateforum.at

                    - Date: 2015-03-09 06:25:53
                      UPDATE