Treffer 1 – 11 von 11 für Suche 'Milne, George J.', Suchdauer: 0,05s 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
    The role of behaviour in VLSI design languages

    The role of behaviour in VLSI design languages von Davie, Bruce S., Milne, George J.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Simulation and verification, related techniques for hardware analysis

    Simulation and verification, related techniques for hardware analysis von Milne, George J.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Circal, a calculus for circuit description

    Circal, a calculus for circuit description von Milne, George J.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Modelling distributed database protocols by synchronisation processes

    Modelling distributed database protocols by synchronisation processes von Milne, George J.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Towards verifiably correct VLSI design

    Towards verifiably correct VLSI design von Milne, George J.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The correctness of a simple silicon compiler

    The correctness of a simple silicon compiler von Milne, George J.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    CIRCAL and the representation of communication concurrency and time

    CIRCAL and the representation of communication concurrency and time von Milne, George J.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Scheduling within a process model of computation

    Scheduling within a process model of computation von Milne, George J.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A formal basis for the analysis of circuit timing

    A formal basis for the analysis of circuit timing von Milne, George J.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A mathematical model of concurrent computation

    A mathematical model of concurrent computation von Milne, George J.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Concurrent processes and their syntax

    Concurrent processes and their syntax von Milne, George J., Milner, Robin 1934-2010

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: