Kovács

Results: 379



#Item
41

Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline

Add to Reading List

Source URL: www.complang.tuwien.ac.at

Language: English - Date: 2015-03-18 10:53:43
    42

    New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei Voronkov

    Add to Reading List

    Source URL: www.complang.tuwien.ac.at

    Language: English - Date: 2011-08-03 05:21:47
      43

      Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline

      Add to Reading List

      Source URL: www.complang.tuwien.ac.at

      Language: English - Date: 2015-03-17 10:00:02
        44

        Testable JavaScript James Kovacs Technical Evangelist, JetBrains @jameskovacs | jameskovacs.com

        Add to Reading List

        Source URL: jameskovacs.com

        - Date: 2014-02-19 21:25:28
          45

          Hands-On Git James Kovacs Technical Evangelist, JetBrains @jameskovacs | jameskovacs.com

          Add to Reading List

          Source URL: jameskovacs.com

          Language: English - Date: 2014-02-19 21:25:30
            46

            Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline

            Add to Reading List

            Source URL: www.complang.tuwien.ac.at

            Language: English - Date: 2015-03-10 06:19:39
              47

              Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Decision Procedures for Propositional Satisfiability

              Add to Reading List

              Source URL: www.complang.tuwien.ac.at

              Language: English - Date: 2015-03-11 10:32:44
                48

                Microsoft Word - Biomedical Engineering Seminar-kovacs

                Add to Reading List

                Source URL: bme.arizona.edu

                Language: English - Date: 2012-11-14 17:54:42
                  49

                  Replication of HVT-AI(HA) vector vaccine in different species of waterfowl Vilmos Palya, Edit Kovács, Tímea Tatár-Kis, Zalán Homonnay, Tamás Mató, Yannick Gardin Waterfowl plays a key role in the epidemiology of H5

                  Add to Reading List

                  Source URL: www.vectormune.com

                  Language: English
                    50

                    Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Problems – Where are we now?

                    Add to Reading List

                    Source URL: www.complang.tuwien.ac.at

                    Language: English - Date: 2015-03-19 10:24:38
                      UPDATE