KB

Results: 6229



#Item
71

$/,#,/"01/6&+ 1&,+ 2JERANOEPUKB*EOOKQNE AJPANBKN $)

Add to Reading List

Source URL: www.forestandwoodland.org

Language: German - Date: 2013-09-03 13:09:39
    72

    BibliotekBibliotek 2015 Offentligt finansierade bibliotek 1

    Add to Reading List

    Source URL: biblioteksstatistik.blogg.kb.se

    - Date: 2016-05-24 07:15:05
      73

      evsjv‡`k KvwiMwi wk¶v †evW© GBPGmwm (weGg/‡fvK), ‡emiKvwi wW‡cøvgv I miKvwi wW‡cøvgv (GwMÖKvjPvi, wdmvwiR, d‡iwó, jvBf÷K I ‡gwib) G wbðvqb/†iwR‡÷ªkb wd cÖ`vb c×wZi wb‡`©kvejx (wkÿvel©

      Add to Reading List

      Source URL: www.btebadmission.gov.bd

      Language: Dutch - Date: 2018-07-04 08:47:33
        74

        Type-Based Verification of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

        Add to Reading List

        Source URL: www-kb.is.s.u-tokyo.ac.jp

        Language: English - Date: 2007-08-30 04:50:00
          75

          A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao and Naoki Kobayashi The University of Tokyo Abstract. The model checking of higher-order recursion schemes, aka.

          Add to Reading List

          Source URL: www-kb.is.s.u-tokyo.ac.jp

          Language: English - Date: 2015-10-06 05:34:43
            76

            autoscuole CORSI PER PATENTE A - B - C - D - E - KB - CQC PATENTINO CICLOMOTORI PATENTI NAUTICHE CORSI RECUPERO PUNTI

            Add to Reading List

            Source URL: www.cralal.com

            - Date: 2016-05-27 10:54:16
              77

              SwePub MODS metadata format specification

              Add to Reading List

              Source URL: www.kb.se

              Language: English - Date: 2015-11-27 03:28:35
                78

                Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

                Add to Reading List

                Source URL: www-kb.is.s.u-tokyo.ac.jp

                Language: English - Date: 2008-12-22 04:20:35
                  79

                  Environmental Bisimulations for Higher-Order Languages Davide Sangiorgi University of Bologna Abstract

                  Add to Reading List

                  Source URL: www-kb.is.s.u-tokyo.ac.jp

                  Language: English - Date: 2007-08-16 22:48:54
                    80

                    E-resursernas påverkan på universitets- och högskolebiblioteken – en historia om IT, infrastruktur och makt Christine Wallén

                    Add to Reading List

                    Source URL: www.kb.se

                    Language: Swedish - Date: 2014-04-25 02:39:14
                      UPDATE