Works matching DE "COLLECTIONS"


Results: 4542
    1

    Słuszne pretensje.

    Published in:
    Przeglad Filozoficzny - Nowa Seria, 2024, v. 33, n. 1, p. 181, doi. 10.24425/pfns.2024.150960
    By:
    • Stanisławek, Jędrzej
    Publication type:
    Article
    2
    3
    4
    5

    On perfect subdivision tilings.

    Published in:
    Combinatorics, Probability & Computing, 2025, v. 34, n. 3, p. 421, doi. 10.1017/S0963548324000452
    By:
    • Lee, Hyunwoo
    Publication type:
    Article
    6
    7
    8

    Forum.

    Published in:
    Communications from the International Brecht Society, 2006, v. 35, p. 21
    Publication type:
    Article
    9
    10
    11
    12
    13
    14
    15
    16
    17

    Une sauvegarde ancrée dans.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 39, doi. 10.7202/1030120ar
    By:
    • Thouin, Richard
    Publication type:
    Article
    18

    Des clientéles choyées.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 57, doi. 10.7202/1030125ar
    By:
    • Chagnon, Danielle;
    • Clermont, Linda;
    • Beaudry, Nicole
    Publication type:
    Article
    19

    La constitution des collections.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 51, doi. 10.7202/1030123ar
    By:
    • Trudeau, Maryse;
    • Charuest, Isabelle;
    • Lefebvre, Michèle
    Publication type:
    Article
    20
    21
    22

    Une grande bibliothéque publique.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 49, doi. 10.7202/1030122ar
    By:
    • Roussel, Hélène
    Publication type:
    Article
    23

    Les acquisitions patrimoniales.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 29, doi. 10.7202/1030118ar
    By:
    • Clapperton, Maureen
    Publication type:
    Article
    24
    25

    La BNQ dans ses nouveaux murs.

    Published in:
    Documentation & Bibliotheques, 2005, v. 51, n. 1, p. 21, doi. 10.7202/1030116ar
    By:
    • Arcouette, Diane
    Publication type:
    Article
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39

    Verifying OpenJDK's LinkedList using KeY (extended paper).

    Published in:
    International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 783, doi. 10.1007/s10009-022-00679-7
    By:
    • Hiep, Hans-Dieter A.;
    • Maathuis, Olaf;
    • Bian, Jinting;
    • de Boer, Frank S.;
    • de Gouw, Stijn
    Publication type:
    Article
    40

    Swarm model checking on the GPU.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 583, doi. 10.1007/s10009-020-00576-x
    By:
    • DeFrancisco, Richard;
    • Cho, Shenghsun;
    • Ferdman, Michael;
    • Smolka, Scott A.
    Publication type:
    Article
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50