Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             12 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An object-oriented framework for supercomputing Guidec, F.
 1996
 33 3 p. 239-251
13 p.
 artikel
2 A unified framework for the specification and run-time detection of dynamic properties in distributed computations Babaoğlu, Özalp
 1996
 33 3 p. 287-298
12 p.
 artikel
3 Biographies 1996
 33 3 p. 329-330
2 p.
 artikel
4 Call for papers evaluation of reverse engineering and reengineering technologies 1996
 33 3 p. 331-
1 p.
 artikel
5 Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE Uchihira, Naoshi
 1996
 33 3 p. 207-221
15 p.
 artikel
6 Guest editors' corner software engineering for distributed computing Bieman, James M.
 1996
 33 3 p. 205-206
2 p.
 artikel
7 Methodology for the development of distributed telecommunications services Gaspoz, Jean-Paul
 1996
 33 3 p. 253-271
19 p.
 artikel
8 On the usage of simulators to detect inefficiency of parallel programs caused by “bad” schedulings: The Simparc approach Ben-Asher, Yosi
 1996
 33 3 p. 313-327
15 p.
 artikel
9 Specification of communication protocols using temporal logic Jmaiel, Mohamed
 1996
 33 3 p. 299-312
14 p.
 artikel
10 Testing abstract distributed programs and their implementations: A constraint-based approach Carver, Richard H.
 1996
 33 3 p. 223-237
15 p.
 artikel
11 Verification and behavior abstraction towards a tractable verification technique for large distributed systems Nitsche, Ulrich
 1996
 33 3 p. 273-285
13 p.
 artikel
12 Volume contents 1996
 33 3 p. i-iii
nvt p.
 artikel
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland