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
 
                             41 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstract Interpretation Based Verification of Logic Programs Levi, Giorgio
 2001
 40 C p. 243-
1 p.
 artikel
2 A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions B. Smyth, Michael
 2001
 40 C p. 393-407
15 p.
 artikel
3 A graphical approach to monad compositions Eklund, P.
 2001
 40 C p. 145-160
16 p.
 artikel
4 A Non-Topological View of Dcpos as Convergence Spaces (Extended Abstract) Heckmann, Reinhold
 2001
 40 C p. 187-
1 p.
 artikel
5 Assertion based Inductive Verification Methods for Logic Programs Comini, Marco
 2001
 40 C p. 52-69
18 p.
 artikel
6 A Superposition Operator for the Refinement of Algebraic Models Pahl, Claus
 2001
 40 C p. 269-287
19 p.
 artikel
7 Categorical Models for Fairness: Completion vs Delay Hildebrandt, Thomas T.
 2001
 40 C p. 188-
1 p.
 artikel
8 Clusters, Concepts, and Pseudometrics Rice, Michael D.
 2001
 40 C p. 323-346
24 p.
 artikel
9 Data independent verification of crypto-protocols Roscoe, A.W.
 2001
 40 C p. 359-
1 p.
 artikel
10 Enhancements of a clock-controlled running key generator Vojvoda, Milan
 2001
 40 C p. 409-
1 p.
 artikel
11 Fixed Points in Metric Semantics de Bakker, J.W.
 2001
 40 C p. 70-71
2 p.
 artikel
12 Hausdorff compactifications of topological function spaces via the theory of continuous lattices Escardó, Martín
 2001
 40 C p. 161-
1 p.
 artikel
13 Iterated Duals of Certain Topological Spaces Burdick, Bruce S.
 2001
 40 C p. 6-
1 p.
 artikel
14 Linear Structures for Concurrency in Probabilistic Programming Languages Di Pierro, Alessandra
 2001
 40 C p. 100-143
44 p.
 artikel
15 Locating Self-Organization at the Edge of Chaos Blair, Howard A.
 2001
 40 C p. 4-
1 p.
 artikel
16 Mathematics, Computer Science, Software Engineering Hamlet, Dick
 2001
 40 C p. 186-
1 p.
 artikel
17 May Testing, Non-interference, and Compositionality Schneider, Steve
 2001
 40 C p. 361-391
31 p.
 artikel
18 Measurements on domains and topology Reed, G.M.
 2001
 40 C p. 303-
1 p.
 artikel
19 Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice den Hartog, J.I.
 2001
 40 C p. 72-99
28 p.
 artikel
20 Models for the computational λ-calculus Power, John
 2001
 40 C p. 288-301
14 p.
 artikel
21 On the Coincidence of Semantics for Uniquely Determined Programs Hitzler, Pascal
 2001
 40 C p. 189-205
17 p.
 artikel
22 Parallel Software Performance Metrics as Continuous Functions of Event Times Prestwich, S.D.
 2001
 40 C p. 302-
1 p.
 artikel
23 Pixel Geometry Matthews, Stephen G.
 2001
 40 C p. 254-268
15 p.
 artikel
24 Polynomial Ideals, Grö;bner Bases and Constraints van Dongen, M.R.C.
 2001
 40 C p. 408-
1 p.
 artikel
25 Powersets, Fixed Points, and Lambda Calculus Scott, Dana S.
 2001
 40 C p. 392-
1 p.
 artikel
26 Preface Seda, Anthony
 2001
 40 C p. 1-2
2 p.
 artikel
27 Presentation Lawson, Jimmie
 2001
 40 C p. 242-
1 p.
 artikel
28 Process Algebra and Information Flow Ryan, P.Y.A.
 2001
 40 C p. 360-
1 p.
 artikel
29 Proof-theoretic notions for software maintenance Kahle, Reinhard
 2001
 40 C p. 206-219
14 p.
 artikel
30 Recursion and Computability over Topological Structures Brattka, Vasco
 2001
 40 C p. 5-
1 p.
 artikel
31 Refinement-Preserving Plug-In Components Reed, J.N.
 2001
 40 C p. 304-322
19 p.
 artikel
32 Secrecy and Group Creation Cardelli, Luca
 2001
 40 C p. 7-
1 p.
 artikel
33 Solve[order/topology == quasi-metric/x, x] Windels, Bart
 2001
 40 C p. 410-
1 p.
 artikel
34 The complexity of scheduling TV commercials Hägele, Klemens
 2001
 40 C p. 162-185
24 p.
 artikel
35 The Differential Scheme for Models of Computation Blair, Howard A.
 2001
 40 C p. 3-
1 p.
 artikel
36 The domain of differentiable functions Edalat, Abbas
 2001
 40 C p. 144-
1 p.
 artikel
37 The other topology Kopperman, Ralph
 2001
 40 C p. 220-
1 p.
 artikel
38 The space of maximal elements in a compact domain Martin, Keye
 2001
 40 C p. 244-253
10 p.
 artikel
39 Typed Multiset Rewriting Specifications of Security Protocols Cervesato, Iliano
 2001
 40 C p. 8-51
44 p.
 artikel
40 Uniform Completion versus Ideal Completion of Posets with Projections Kummetz, Ralph
 2001
 40 C p. 221-241
21 p.
 artikel
41 Weightable quasi-metric semigroups and semilattices Romaguera, Salvador
 2001
 40 C p. 347-358
12 p.
 artikel
                             41 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland