Za

Results: 79608



#Item
1Theoretical computer science / Logic in computer science / Temporal logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Alt-Ergo / Computation tree logic / Model theory

Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

Add to Reading List

Source URL: mebsout.github.io

Language: English - Date: 2017-07-21 11:03:15
2

TISKOVÁ ZPRÁVA, 21. června Známe již výsledky hospodaření Kongresového centra Praha za rok 2017 Na včerejší Valné hromadě společnosti byla odsouhlasena výroční zpráva včetně účetní závěrky. V 

Add to Reading List

Source URL: www.praguecc.cz

Language: Czech - Date: 2018-06-21 09:47:11
    3

    RBA info za web eng_svibanj 2017

    Add to Reading List

    Source URL: www.rba.hr

    - Date: 2017-05-05 05:20:47
      4

      MICE Statistiky – Srovnání roků 2015 a 2016 Počet akcí Při meziročním srovnání údajů poskytnutých členy PCB a vyhledaných na webu za rok 2015 a 2016 došlo k výraznému nárůstu počtu akcí konaných

      Add to Reading List

      Source URL: www.pragueconvention.cz

      Language: Czech - Date: 2018-04-26 12:39:25
        5Theoretical computer science / Logic in computer science / Temporal logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Alt-Ergo / Computation tree logic / Model theory

        Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1

        Add to Reading List

        Source URL: cubicle.lri.fr

        Language: English - Date: 2013-07-31 06:15:38
        6

        TISKOVÁ ZPRÁVA, 24. listopadu Kongresové centrum Praha má za sebou největší kongres ICCA Od 12. do 15. listopadu to v Kongresovém centru Praha žilo. Mezinárodní kongresová asociace ICCA zvolila Prahu jako 56

        Add to Reading List

        Source URL: www.praguecc.cz

        Language: Czech - Date: 2017-12-01 09:33:27
          7

          Vodič za elektroničku prijavu Posljednji put ažurirano: travanj 2016. Sadržaj 1. Vaš EPSO račun

          Add to Reading List

          Source URL: europa.eu

          Language: Croatian - Date: 2016-12-08 04:32:57
            8

            TISKOVÁ ZPRÁVA, 21. června Známe již výsledky hospodaření Kongresového centra Praha za rok 2017 Na včerejší Valné hromadě společnosti byla odsouhlasena výroční

            Add to Reading List

            Source URL: www.praguecc.cz

            Language: Czech - Date: 2018-06-21 09:46:59
              9

              Navodila za spletno prijavo Zadnja posodobitev: april 2016 Vsebina 1) Moj račun EPSO

              Add to Reading List

              Source URL: europa.eu

              Language: Slovenian - Date: 2016-12-08 04:33:00
                10

                TISKOVÁ ZPRÁVA, Zdravé trendy v kongresovém cateringu Catering je bezesporu jedním ze stavebních kamenů dobrého kongresu. Partnerem Kongresového centra Praha je už 12 let Zátiší Catering. Za tu

                Add to Reading List

                Source URL: www.praguecc.cz

                Language: Czech - Date: 2017-08-24 06:57:27
                  UPDATE