Cis

Results: 5683



#Item
311

Case Study: Subject Reduction for Mini-ML with References, in Isabelle/HOL + Hybrid Alan J. Martin Department of Mathematics and Statistics, University of Ottawa

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2008-11-07 16:49:39
    312

    PRESSEAUSSENDUNG Größtes Security-Symposium in Österreich: „Vorsprung mit ISO-Standardisierung“ Key Note: Neue zivil- und strafrechtl. Verantwortung von CIOs – Prof. Forgó, Hannover Wien, - „Secur

    Add to Reading List

    Source URL: ch.cis-cert.com

    - Date: 2014-01-21 07:34:36
      313

      ROZDZIAŁ II WZÓR UMOWY UMOWA NRCIS-WAGW dniu ......... .......................... 2016 r., w wyniku rozstrzygnięcia postępowania o udzielenie zamówienia publicznego w trybie przetargu nieograni

      Add to Reading List

      Source URL: cis.stat.gov.pl

        314

        December 5, :55 WSPC/115-IJPRAI SPI-J068International Journal of Pattern Recognition and Artificial Intelligence

        Add to Reading List

        Source URL: debut.cis.nctu.edu.tw

        - Date: 2013-07-12 03:09:44
          315

          PDF Document

          Add to Reading List

          Source URL: cis.stat.gov.pl

            316

            University of Strathclyde Department of Computer and Information Sciences Group Project Peer Assessment Form Course:

            Add to Reading List

            Source URL: local.cis.strath.ac.uk

            - Date: 2015-04-29 07:35:13
              317

              Ausbildungen nach ISOCIS-Lehrgang: ISOConsultant Implementieren, steuern und verbessern von IT-Service-Management-Systemen

              Add to Reading List

              Source URL: ch.cis-cert.com

              - Date: 2014-01-21 07:31:11
                318

                PRESS RELEASE _____________ Turbo for IT Services: massive increase of performance thanks to ISOwithin thre

                Add to Reading List

                Source URL: sk.cis-cert.com

                - Date: 2010-05-19 06:52:22
                  319

                  Het FIDE-vaardigheidsprogramma voor de beginjaren, dat door Alfiere Bianco, werd ontwikkeld, gebruikt een reuzenschaakbord van 4 meter op 4. Binnenkort zullen we dit programma voor de kleuterklas nader bekijken. Nu

                  Add to Reading List

                  Source URL: cis.fide.com

                  - Date: 2016-01-29 05:37:07
                    320

                    Theory in Practice for System Design and Verification Rajeev Alur University of Pennsylvania 1

                    Add to Reading List

                    Source URL: www.cis.upenn.edu

                    - Date: 2013-10-23 10:48:32
                      UPDATE