Treffer 1 – 18 von 18 für Suche 'Kok, Joost N.', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    An evolutionary approach to time constrained routing problems

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Isomorphisms between predicate and state transformers

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Data flow semantics

    Data flow semantics von Kok, Joost N.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Design and implementation of elementary functions in Ada

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proposal for standard mathematical packages in Ada

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Implementation and performance of a three-dimensional numerical transport model

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Contractions in comparing concurrency semantics

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Towards a uniform topological treatment of streams and functions on streams

    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 Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A proposal for standard basic functions in Ada

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Orgy in the computer multi-parent reproduction in genetic algorithms

    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 Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Raising GA performance by simultaneous tuning of selective pressure and recombination disruptiveness

    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 Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Time integration of three-dimensional numerical transport models

    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 Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Semantics, orderings and recursion in the weakest precondition calculus

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog

    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 Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A compositional semantics for concurrent prolog

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    A fully abstract semantics for data flow nets

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Denotational semantics of nets with nondeterminism

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Two Ada mathematical functions packages for use in real time

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: