Suchergebnisse - Kok, Joost N.

  • Treffer 1 – 18 von 18
Treffer filtern
  1. 1
    Buchumschlag

    Design and implementation of elementary functions in Ada
    von Kok, Joost N.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Proposal for standard mathematical packages in Ada
    von Kok, Joost N.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Time integration of three-dimensional numerical transport models
    von Sommeijer, Ben P. ca. 20. Jh, Houwen, Pieter J. van der, Kok, Joost N.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Two Ada mathematical functions packages for use in real time
    von Kok, Joost N.

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Implementation and performance of a three-dimensional numerical transport model
    von Sommeijer, Ben P. ca. 20. Jh, Kok, Joost N.

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A proposal for standard basic functions in Ada
    von Kok, Joost N., Symm, G. T.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    An evolutionary approach to time constrained routing problems
    von Kemenade, C. H. M. van, Kok, Joost N.

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Isomorphisms between predicate and state transformers
    von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Data flow semantics
    von Kok, Joost N.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Orgy in the computer: multi-parent reproduction in genetic algorithms
    von Eiben, Agoston E. 1961-, Kemenade, C. H. M. van, Kok, Joost N.

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness
    von Kemenade, C. H. M. van, Kok, Joost N., Eiben, Agoston E. 1961-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Semantics, orderings and recursion in the weakest precondition calculus
    von Bonsangue, Marcello M., Kok, Joost N.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog
    von Bakker, Jacobus W. de 1939-2012, Kok, Joost N.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    A compositional semantics for concurrent prolog
    von Kok, Joost N.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    A fully abstract semantics for data flow nets
    von Kok, Joost N.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Denotational semantics of nets with nondeterminism
    von Kok, Joost N.

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Contractions in comparing concurrency semantics
    von Kok, Joost N., Rutten, Jan J.

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Towards a uniform topological treatment of streams and functions on streams
    von Bakker, Jacobus W. de 1939-2012, Kok, Joost N.

    Veröffentlicht 1984
    Buch


    Gespeichert in:

Suchwerkzeuge: