Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A behavioural pseudometric for probabilistic transition systems van Breugel, Franck
2005
331 1 p. 115-142
28 p.
artikel
2 Amalgamation in the semantics of CASL Schröder, Lutz
2005
331 1 p. 215-247
33 p.
artikel
3 Beyond the Alder–Strassen bound Bläser, Markus
2005
331 1 p. 3-21
19 p.
artikel
4 Combinatorics and algorithms for low-discrepancy roundings of a real sequence Sadakane, Kunihiko
2005
331 1 p. 23-36
14 p.
artikel
5 Editorial board v-ix 2005
331 1 p. v-ix
nvt p.
artikel
6 Faster gossiping on butterfly networks Sibeyn, Jop F.
2005
331 1 p. 53-72
20 p.
artikel
7 Performance aspects of distributed caches using TTL-based consistency Cohen, Edith
2005
331 1 p. 73-96
24 p.
artikel
8 Preface Orejas, Fernando
2005
331 1 p. 1-2
2 p.
artikel
9 Realizability and verification of MSC graphs Alur, Rajeev
2005
331 1 p. 97-114
18 p.
artikel
10 Testing hypergraph colorability Czumaj, Artur
2005
331 1 p. 37-52
16 p.
artikel
11 Tree automata with one memory set constraints and cryptographic protocols Comon, Hubert
2005
331 1 p. 143-214
72 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland