Saarland

Results: 3122



#Item
711

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification Gert Smolka1 and Tobias Tebbi1 1 Saarland University, Saarbrücken, Germany

Add to Reading List

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

Language: English - Date: 2013-05-02 14:37:03
    712

    A boolean function r eq uirin g 3n network size by No rbert Blum AJune 82 Fachbereich 10

    Add to Reading List

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

    Language: English - Date: 2012-02-16 07:06:44
      713

      Vernetzungsstellen Schulverpflegung Arbeitshilfe zur schulinternen Qualitätssicherung der Mittagsverpflegung Mit Praxisbeispielen und Lösungsansätzen

      Add to Reading List

      Source URL: www.vernetzungsstelle-saarland.de

      Language: German - Date: 2012-08-24 06:57:34
        714

        Konsultationseinrichtungen im Saarland zur Umsetzung des Saarländischen Bildungsprogramms Qualitätsinitiative „Lernen von der Praxis für die Praxis“

        Add to Reading List

        Source URL: www.saarland.de

        Language: German - Date: 2016-04-16 22:18:29
          715

          Bewilligte Projekte 2015 verwendete Abkürzungen Bundesländer: Niedersachsen Nordrhein-Westfalen Rheinland-Pfalz Saarland

          Add to Reading List

          Source URL: www.stiftung-woeb.de

          Language: German - Date: 2016-03-10 11:40:07
            716

            Infobrief Vernetzungsstelle Schulverpflegung Saarland AusgabeJuli) Verbindliche Einführung des DGE-Qualitätsstandards für die Schulverpflegung Liebe Infobrief-Leser,

            Add to Reading List

            Source URL: www.vernetzungsstelle-saarland.de

            Language: German - Date: 2014-02-10 00:50:15
              717

              Relax and Let the Database do the Partitioning Online Alekh Jindal and Jens Dittrich Information Systems Group, Saarland University http://infosys.cs.uni-saarland.de

              Add to Reading List

              Source URL: jindal-web.appspot.com

              Language: English
                718

                Tagungsreader »Kinder –­Essen ist fertig!« Doch wo bleibt der Kompetenzerwerb?

                Add to Reading List

                Source URL: www.vernetzungsstelle-saarland.de

                Language: German - Date: 2013-03-06 03:44:15
                  719

                  Completeness and Decidability Results for CTL in Coq Christian Doczkal Gert Smolka

                  Add to Reading List

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

                  Language: English - Date: 2015-06-17 11:47:27
                    720

                    Die Nährstoffoptimierung beruht auf der 3. Auflage des DGE-Qualitätsstandard 2 Nährstoffoptimierter Vierwochenspeisenplan für die Primarstufe (Warmverpflegung)

                    Add to Reading List

                    Source URL: www.vernetzungsstelle-saarland.de

                    Language: German - Date: 2014-12-01 08:42:20
                      UPDATE