Saarland

Results: 3122



#Item
681

Synthese und Struktur-Wirkungs-Beziehungen von Boswelliasäuren und deren Derivaten Dissertation zur Erlangung des Grades des Doktors der Naturwissenschaften

Add to Reading List

Source URL: scidok.sulb.uni-saarland.de

Language: German - Date: 2012-02-16 06:43:24
    682

    Distributed Similarity Search in High Dimensions Using Locality Sensitive Hashing∗ Parisa Haghani Sebastian Michel

    Add to Reading List

    Source URL: qid3.mmci.uni-saarland.de

    Language: English - Date: 2010-03-19 03:18:47
      683

      Enhancing Locality Sensitive Hashing with Peek-Probing and Nearest Neighbor Links ∗ Aleksandar Stupar Sebastian Michel

      Add to Reading List

      Source URL: qid3.mmci.uni-saarland.de

      Language: English - Date: 2012-06-11 09:53:16
        684

        Human-Oriented Proof Techniques are Relevant for Proof Tutoring (Extended Abstract) Marvin Schiller and Christoph Benzm¨uller Saarland University, Germany and Articulate Software, USA Automated theorem proving technique

        Add to Reading List

        Source URL: www.marvin-schiller.de

        Language: English - Date: 2010-09-26 13:55:32
          685

          Towards Computer-Assisted Proof Tutoring∗ Marvin Schiller1 , Dominik Dietrich1 , and Christoph Benzm¨ uller1,2 1 Dept. of Computer Science, Saarland University,

          Add to Reading List

          Source URL: www.marvin-schiller.de

          Language: English - Date: 2008-12-29 05:40:51
            686

            9. Illinger City-Lauf Frank Müller AWO Saarland erreichte beim illvital-Hauptlauf in einer Zeit von 48:19 min

            Add to Reading List

            Source URL: www.llgwustweiler.de

            - Date: 2015-05-17 05:54:25
              687

              newsletter Ausgabegruender-campus-saar.de

              Add to Reading List

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

              Language: German
                688

                Sparkasse Saarbrücken Frank Saar 12. Oktober 2015 Seite 1

                Add to Reading List

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

                Language: German - Date: 2015-10-28 04:34:33
                  689

                  Conditional Reactive Simulatability⋆ Michael Backes1 , Markus Dürmuth1, Dennis Hofheinz2, and Ralf Küsters3 1 Saarland University, Saarbrücken, Germany, {backes|duermuth}@cs.uni-sb.de 2

                  Add to Reading List

                  Source URL: www.kjdf.de

                  Language: English - Date: 2014-06-10 05:37:40
                    690

                    Entschließung der 91. Konferenz der unabhängigen Datenschutzbehörden des Bundes und der Länder Schwerin, denAprilStärkung des Datenschutzes in Europa – nationale Spielräume nutzen

                    Add to Reading List

                    Source URL: datenschutz.saarland.de

                    Language: German - Date: 2016-04-07 08:49:09
                      UPDATE