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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Algebraic Framework for Urgency Bornot, Sébastien
2000
163 1 p. 172-202
31 p.
artikel
2 Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation Benveniste, Albert
2000
163 1 p. 125-171
47 p.
artikel
3 Decoding Choice Encodings Nestmann, Uwe
2000
163 1 p. 1-59
59 p.
artikel
4 On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth Reif, John
2000
163 1 p. 103-122
20 p.
artikel
5 Papers to Appear in Forthcoming Issues 2000
163 1 p. 244-
1 p.
artikel
6 PREFACE de Roever, Willem-Paul
2000
163 1 p. 123-124
2 p.
artikel
7 Semantics of Temporal Classes Alagić, Suad
2000
163 1 p. 60-102
43 p.
artikel
8 Verification by Augmented Finitary Abstraction Kesten, Yonit
2000
163 1 p. 203-243
41 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland