IPS

Results: 1731



#Item
131

Automata-Based Analysis of Recursive Programs with Threads Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 25 Years of Combining Concurrency and Compositionality Königswinter, 7.-9. August 2013

Add to Reading List

Source URL: www.ips.tu-braunschweig.de

- Date: 2013-08-13 02:41:33
    132

    Markov Automata and Distribution Bisimulations Christian Eisentraut Dependable Systems and Software Group Saarland University

    Add to Reading List

    Source URL: www.ips.tu-braunschweig.de

    - Date: 2013-08-13 02:41:30
      133

      IST5_ReisigHC.indd

      Add to Reading List

      Source URL: www.ips.tu-braunschweig.de

      - Date: 2012-06-11 08:17:49
        134

        ACCESO Y DESCARGA DE UN EBOOK EN LA PLATAFORMA DAWSONERA A los ebooks adquiridos por la UPSA se pueden acceder mediante dos OPCIONES: A.- Pulsando en el link del ebook dentro de una de las IPs de su entidad, es decir des

        Add to Reading List

        Source URL: drupal.upsa.es

        - Date: 2014-07-18 04:53:48
          135

          Reversing Events - Joint work with Irek Ulidowski (University of Leicester) and Shoji Yuen (Nagoya University)

          Add to Reading List

          Source URL: www.ips.tu-braunschweig.de

          - Date: 2013-08-13 02:39:12
            136

            Arbeitspapiere der GMD 320 Ernst-Rudiger Olderog, Ursula Goltz,

            Add to Reading List

            Source URL: www.ips.tu-braunschweig.de

            - Date: 2013-04-30 07:38:46
              137

              Fine-grained and coarse-grained reactive bisimilarity Pejman Attar & Ilaria Castellani INRIA Sophia Antipolis Méditerranée (Longer version to be presented at TGC’13)

              Add to Reading List

              Source URL: www.ips.tu-braunschweig.de

              - Date: 2013-09-10 10:58:30
                138

                Michigan Middle School Physical Science Benchmarks Summer, 2000

                Add to Reading List

                Source URL: www.sci-ips.com

                - Date: 2012-02-13 17:49:02
                  139

                  Number 4 March 2007 SCI eTIPS for Teachers Tips for Teaching IPS and FM&E

                  Add to Reading List

                  Source URL: www.sci-ips.com

                  - Date: 2012-02-13 17:46:07
                    140

                    (Do not print this document – just read it!) Using the Central the infotec Printer User Guide for WindowsThe infotec MP C5503 should have been installed on your PC by the administrator. If not, please tell him

                    Add to Reading List

                    Source URL: www.ips.unibe.ch

                    - Date: 2016-07-07 09:10:48
                      UPDATE