Swan

Results: 4020



#Item
261

Asynchronous Router Specification Faron Moller Computing Science Department ABSTRACT

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Language: English - Date: 2015-01-31 10:11:02
    262

    Verification of Scheme Plans using CSP||B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK

    Add to Reading List

    Source URL: www-compsci.swan.ac.uk

    Language: English - Date: 2016-01-26 08:32:40
      263

      Dynamic Definability Sebastian Siebertz TU Berlin Erich Gr¨adel RWTH Aachen

      Add to Reading List

      Source URL: www.cs.swan.ac.uk

      Language: English - Date: 2015-05-05 07:12:16
        264

        Microsoft Word - APS acceptance letter

        Add to Reading List

        Source URL: swan-nano.org

        Language: English - Date: 2016-03-03 10:52:20
          265

          Convert JPG to PDF online - convert-jpg-to-pdf.net

          Add to Reading List

          Source URL: www.swan-forum.com

          - Date: 2015-10-21 04:39:30
            266

            Ri~ Newcastle + University Mr Harri Weeks Athena SWAN Charter Co-ordinator

            Add to Reading List

            Source URL: www.ncl.ac.uk

            Language: English
              267

              Athena Forum workshop for professional institutions, learned societies and research funders on good practice in supporting STEMM departments with SWAN submissions To be held in the Kohn Centre at the Royal Society, on Fr

              Add to Reading List

              Source URL: www.athenaforum.org.uk

              Language: English - Date: 2014-10-29 08:24:23
                268

                Not long ago the Wye Valley was silent. The Trumpeter Swan had not been seen in this area for over 200 years. NOW the Valley resonates with the triumphant call of this majestic species thanks to the support from communit

                Add to Reading List

                Source URL: www.wyemarsh.com

                Language: English - Date: 2014-12-18 15:00:58
                  269

                  Under consideration for publication in Math. Struct. in Comp. Science A Light-Weight Integration of Automated and Interactive Theorem Proving K A R I M K A N S O1† and A N T O N S E T Z E R2‡ {cskarim1 ,A.G.Setzer2

                  Add to Reading List

                  Source URL: www.cs.swan.ac.uk

                  Language: English - Date: 2011-02-15 14:22:58
                    270

                    Third Wave Accessibility – The Next Black Swan? World Usability Day November 13, 2008 “Accessibility provides the opportunity to disrupt your competitors, capture new markets and

                    Add to Reading List

                    Source URL: usability.msu.edu

                    Language: English - Date: 2013-02-21 15:44:12
                      UPDATE