gefundene Verfasser Lauer, William L.

Lauer, Peter E.
Shields, Michael William 1950-
Best, Eike 1951-
Ade-Jesemann, Ingrid
Bair-Ivenz, Monika
Alle anzeigen »
Bauckholt, Carola 1959-
Berger, Ludwig 1777-1839
Beumer, Isabeella
Bischof, Georg F.
Blonk, Jaap

Treffer 1 - 13 von 13 für Suche 'Lauer, William L.', Suchdauer: 0,64s Treffer weiter einschränken
  1. 1
    Programming and verifying concurrent systems in COSY

    Programming and verifying concurrent systems in COSY von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Abstract specification of resource accessing disciplines adequacy, starvation, priority and interrrupts

    Abstract specification of resource accessing disciplines adequacy, starvation, priority and interrrupts von Lauer, Peter E., Shields, Michael William 1950-

    Veröffentlicht 1977
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A recombinant herpesviral vector containing a near-full-length SIVmac239 genome produces SIV particles and elicits immune responses to all nine SIV gene products

    A recombinant herpesviral vector containing a near-full-length SIVmac239 genome produces SIV particles and elicits immune responses to all nine SIV gene products von Shin, Young C., Bischof, Georg F., Lauer, William A., Gonzalez-Nieto, Lucas, Rakasz, Eva G., Hendricks, Gregory M., Watkins, David I., Martins, Mauricio A., Desrosiers, Ronald C.

    Veröffentlicht 2018
    kostenfrei
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    COSY a system specification language based on paths and processes

    COSY a system specification language based on paths and processes von Lauer, Peter E., Torrigiani, Piero R., Shields, Michael William 1950-

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    COSY +an environment for development and analysis of concurrent and distributed systems

    COSY +an environment for development and analysis of concurrent and distributed systems von Lauer, Peter E., Shields, Michael William 1950-

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Verifying concurrent system specifications in COSY

    Verifying concurrent system specifications in COSY von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A formal semantics for concurrent systems

    A formal semantics for concurrent systems von Shields, Michael William 1950-, Lauer, Peter E.

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Über einige Abkömmlinge des Propylamins

    Über einige Abkömmlinge des Propylamins von Lauer, William E.

    Veröffentlicht 1889
    kostenfrei
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal behavioural specification of concurrent systems without globality assumptions

    Formal behavioural specification of concurrent systems without globality assumptions von Lauer, Peter E., Shields, Michael William 1950-, Cotronis, John Y.

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal theory of the basic COSY notation

    Formal theory of the basic COSY notation von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Design and analysis of highly parallel and distributed systems

    Design and analysis of highly parallel and distributed systems von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Die schöne Müllerin Gesänge aus einem gesellschaftlichen Liederspiel

    Die schöne Müllerin Gesänge aus einem gesellschaftlichen Liederspiel von Berger, Ludwig 1777-1839, Lauer von Münchhofen, Adolph 1795-1874

    Veröffentlicht 1982
    Tagungsbericht Audio

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Versuch eines Agon um ...? Operette auf Silben ; für eine Sängergruppe und Orchester ; (1972/73)

    Versuch eines Agon um ...? Operette auf Silben ; für eine Sängergruppe und Orchester ; (1972/73) von Fortner, Wolfgang 1907-1987, Dittrich, Paul-Heinz 1930-2020, Kyburz, Hanspeter 1960-, Bauckholt, Carola 1959-, Richter de Vroe, Nicolaus 1955-, Dittrich, Paul-Heinz 1930-2020, Kyburz, Hanspeter 1960-, Bauckholt, Carola 1959-, Richter de Vroe, Nicolaus 1955-

    Veröffentlicht 2006
    CD Audio

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: