Sava

Results: 440



#Item
61

— Design of Correct Circuits, Budapest 2008 — Defining Elastic Circuits with Negative Delays Sava Krsti´ c∗, Jordi Cortadella∗∗, Mike Kishinevsky∗, John O’Leary∗

Add to Reading List

Source URL: www.csee.ogi.edu

Language: English - Date: 2008-12-15 19:15:34
    62

    Deciding Array Formulas with Frugal Axiom Instantiation Amit Goel1 , Sava Krsti´c1 , and Alexander Fuchs2 1 Strategic CAD Labs, Intel Corporation

    Add to Reading List

    Source URL: www.csee.ogi.edu

    Language: English - Date: 2008-12-15 17:42:24
      63

      Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract

      Add to Reading List

      Source URL: www.csee.ogi.edu

      Language: English - Date: 2004-02-02 13:41:00
        64

        Synchronous Elastic Networks Sava Krsti´c Jordi Cortadella Mike Kishinevsky, John O’Leary

        Add to Reading List

        Source URL: www.csee.ogi.edu

        Language: English - Date: 2006-12-15 00:54:00
          65

          PDPARMothers of Pipelines Sava Krsti´c, Robert B. Jones, and John O’Leary 1 ,2

          Add to Reading List

          Source URL: www.csee.ogi.edu

          Language: English - Date: 2006-12-15 01:03:21
            66

            PDF Document

            Add to Reading List

            Source URL: www.sava-hotels-resorts.com

            Language: German - Date: 2014-03-19 17:32:28
              67

              Defining Elastic Circuits with Negative Delays Sava Krsti´c1 , Jordi Cortadella2 , Mike Kishinevsky1 , and John O’Leary1 1 Strategic CAD Labs, Intel Corporation, Hillsboro, Oregon, USA 2

              Add to Reading List

              Source URL: www.csee.ogi.edu

              Language: English - Date: 2008-12-15 19:15:59
                68

                Microsoft Word - CV_Sava_RO.doc

                Add to Reading List

                Source URL: www.geoecomar.ro

                Language: Romanian - Date: 2012-04-13 18:34:22
                  69

                  — TTVSI, London 2008 — Decision Procedures for Parametric Theories Sava Krsti´ c∗ , Amit Goel∗, Jim Grundy∗ , Cesare Tinelli∗∗

                  Add to Reading List

                  Source URL: www.csee.ogi.edu

                  Language: English - Date: 2008-12-15 19:19:13
                    70Bačka / Geography of Vojvodina / Banat / Bács-Kiskun / International Commission for the Protection of the Danube River / Danube / Groundwater / Sava / River / Water / Geography of Serbia / Hydrology

                    crosoft PowerPoint - 1 ICPDR_GW-SW-Interaction.ppt [Re6im kompatibility]

                    Add to Reading List

                    Source URL: www.vuvh.sk

                    Language: English - Date: 2015-04-30 10:55:10
                    UPDATE