Georg

Results: 4491



#Item
971

Digitale Signaturen Georg Grasegger Matheseminar, 9. MaiGeorg Grasegger

Add to Reading List

Source URL: www.matheseminar.jku.at

Language: German - Date: 2014-09-18 04:07:28
    972

    L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers)

    Add to Reading List

    Source URL: www.georg.weissenbacher.name

    Language: English - Date: 2010-10-22 10:59:31
      973

      Neue Wege der wissenschaftlichen Kommunikation und Dokumentation im Netz Georg Hohmann Germanisches Nationalmuseum Referat für Museums- und Kulturinformatik

      Add to Reading List

      Source URL: www.mai-tagung.lvr.de

      Language: German - Date: 2014-05-31 07:31:02
        974

        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.name

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

          Der Vorsitzende Georg Ott-Stelzner Diözesanbibliothek der Diözese Rottenburg-Stuttgart Karmeliterstraße 9

          Add to Reading List

          Source URL: www.akthb.de

          Language: German - Date: 2015-06-23 12:59:35
            976

            Georg Simmel Métropoles et mentalité Georg Simmel

            Add to Reading List

            Source URL: lpdme.org

            Language: French - Date: 2013-11-05 05:22:42
              977

              A Hundred and One Natural History Books That You Should Read Before You Die 9. Georg Wilhelm Steller’s Journal of a Voyage with Bering, Marcel Robischon

              Add to Reading List

              Source URL: naturalhistorynetwork.org

              Language: English - Date: 2014-05-18 18:08:42
                978

                SUPPLEMENTAL MATERIAL Stringing High Dimensional Data for Functional Analysis ¨ Kun CHEN, Kehui CHEN, Hans-Georg MULLER

                Add to Reading List

                Source URL: anson.ucdavis.edu

                Language: English - Date: 2010-12-23 07:01:46
                  979

                  To appear in FM 2015 | 20th International Symposium on Formal Methods Semantics-Preserving Simplification of Real-World Firewall Rule Sets Cornelius Diekmann, Lars Hupel, and Georg Carle

                  Add to Reading List

                  Source URL: www.net.in.tum.de

                  Language: English - Date: 2015-03-31 05:17:37
                    980

                    Dr. med. Georg Eckert AugenarztSenden Hauptstr. I lc

                    Add to Reading List

                    Source URL: www.maximusweb.org

                      UPDATE