Georg

Results: 4491



#Item
31

Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

Add to Reading List

Source URL: www.georg.weissenbacher.science

Language: English - Date: 2013-06-17 11:22:26
    32

    IASLonline Diskussionsforum Probleme der Geschichtsschreibung des Buchhandels GEORG JÄGER Keine Kulturtheorie ohne Geldtheorie.

    Add to Reading List

    Source URL: www.iasl.uni-muenchen.de

    Language: German - Date: 2007-05-13 10:23:58
      33

      Gekennzeichnete Ankunfts- und Abfahrtszeiten der ÖBB gibt es an Samstagen nicht. Montag bis Freitag (wenn Werktag) Montag bis Samstag (wenn Werktag) FAHRPLAN LINIE 1 GEORG

      Add to Reading List

      Source URL: www.stadtbuseisenstadt.at

      Language: German - Date: 2018-04-16 02:56:40
        34

        UNIVERSITÄTSBUND GÖTTINGEN e.V. Eine gemeinnützige Einrichtung zur Förderung der Georg-August-Universität Göttingen Auszug aus dem Protokoll über die Sitzung der Mitgliederversammlung des Universitätsbundes Gött

        Add to Reading List

        Source URL: www.unibund.gwdg.de

        Language: German - Date: 2006-08-02 11:00:08
          35

          Boolean Satisfiability Solvers: Techniques and Extensions Georg WEISSENBACHER a and Sharad MALIK a a Princeton University Abstract. Contemporary satisfiability solvers are the corner-stone of many successful applications

          Add to Reading List

          Source URL: www.georg.weissenbacher.science

          Language: English - Date: 2012-02-28 17:50:50
            36

            Beyond the Nash Equilibrium Barrier ´ Tardos1 Robert Kleinberg1 Katrina Ligett1 Georgios Piliouras2 Eva Department of Computer Science, Cornell University, Ithaca NYDepartment of Electrical Engineering, Georg

            Add to Reading List

            Source URL: rsrg.cms.caltech.edu

            Language: English - Date: 2012-12-13 11:37:52
              37

              International Young Physicists’ Tournament IYPT Georg Hofferek Association AYPT-Forschungsforum junger Physiker p.A. University of Vienna, Faculty of Physics, Physics

              Add to Reading List

              Source URL: iypt.org

              Language: English - Date: 2018-02-16 18:55:32
                38

                Strafe Art. LThK erw_2013.doc Georg Mohr „Strafe“ erweiterte Fassung des Artikels „Strafe – I. Philosophisch-anthropologisch“, in: Lexikon für Theologie und Kirche, 3. Aufl., Bd. 9, Freiburg/Br.: Herder, 2000

                Add to Reading List

                Source URL: www.philosophie.uni-bremen.de

                Language: German - Date: 2014-02-13 05:27:06
                  39

                  Universität Innsbruck - Institut für Christliche Philosophie Gastvortrag Organisation und Kontakt: Georg Gasser Andrew Pinsent (Oxford):

                  Add to Reading List

                  Source URL: www.uibk.ac.at

                  Language: English - Date: 2016-04-08 06:15:55
                    40

                    7KH&RUQHOO(5/3URMHFW Georg Hoffstaetter (for the Cornell ERL endeavor)

                    Add to Reading List

                    Source URL: www-mpy.desy.de

                    Language: English - Date: 2004-09-18 07:43:41
                      UPDATE