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
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations Contejean, E.
1994
113 1 p. 143-172
30 p.
artikel
2 A Resource-Based Prioritized Bisimulation for Real-Time Systems Gerber, R.
1994
113 1 p. 102-142
41 p.
artikel
3 Calling Names on Nameless Networks Schieber, B.
1994
113 1 p. 80-101
22 p.
artikel
4 Membership Testing in Threshold One Transformation Monoids Beaudry, M.
1994
113 1 p. 1-25
25 p.
artikel
5 On the Decidability of Certain Integer Subgraph Problems on Context-Free Graph Languages Wanke, E.
1994
113 1 p. 26-49
24 p.
artikel
6 The Vertex Separation and Search Number of a Graph Ellis, J.A.
1994
113 1 p. 50-79
30 p.
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland