Zum Inhalt springen

  1. Abramson, H. Norman [MitwirkendeR]; Allmendinger, E. Eugene [MitwirkendeR]; Archer, Robert R. [MitwirkendeR]; Baker, Allen J. [MitwirkendeR]; Barr, Gerald [MitwirkendeR]; Bhattacharya, Bijoy K. [MitwirkendeR]; Billington, David P. [MitwirkendeR]; Bobisch, William J. [MitwirkendeR]; Bornscheuer, F.W [MitwirkendeR]; Brebbia, C. [MitwirkendeR]; Brøndum-Nielsen, Troels [MitwirkendeR]; Caldwell, J. B. [MitwirkendeR]; Carney, John F. [MitwirkendeR]; Carr, A.J [MitwirkendeR]; Chang, Bin [MitwirkendeR]; Chung, T. J. [MitwirkendeR]; Chung, T.J [MitwirkendeR]; Coen, J. de [MitwirkendeR]; Conil, Paul [MitwirkendeR]; Craven, John P. [MitwirkendeR]; Crawford, John E. [MitwirkendeR]; Csonka, Paul [MitwirkendeR]; Das, Mukti Lai [MitwirkendeR]; DeHart, R.C [MitwirkendeR]; [...]

    Hydromechanically Loaded Shells : Proceedings of the 1971 Symposium of the International Association for Shell Structures, Part I

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Honolulu: University of Hawaii Press, 2022

  2. Desai, Ankush; Seshia, Sanjit A.; Qadeer, Shaz; Broman, David; Eidson, John C.

    Computer Aided Verification: Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2015

    Erschienen in: Computer Aided Verification

  3. Mehrabian, Mohammadreza; Khayatian, Mohammad; Shrivastava, Aviral; Eidson, John C.; Derler, Patricia; Andrade, Hugo A.; Li-Baboud, Ya-Shian; Griffor, Edward; Weiss, Marc; Stanton, Kevin

    Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2017

    Erschienen in: ACM Transactions on Embedded Computing Systems

  4. Macaluso, Christine J; Bauer, Ursula E; Deeb, Larry C; Malone, John I; Chaudhari, Monika; Silverstein, Janet; Eidson, Margaret; Goldberg, Ronald B; Gaughan-Bailey, Bonnie; Brooks, Robert G; Rosenbloom, Arlan L

    Type 2 diabetes mellitus among Florida children and adolescents, 1994 through 1998

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    SAGE Publications, 2002

    Erschienen in: Public Health Reports

  5. Marfin, Anthony A.; Petersen, Lyle R.; Eidson, Millicent; Miller, James; Hadler, James; Farello, Cheryl; Werner, Barbara; Campbell, Grant L.; Layton, Marcelle; Smith, Perry; Bresnitz, Edward; Cartter, Matthew; Scaletta, Joseph; Obiri, Godwin; Bunning, Michel; Craven, Robert C.; Roehrig, John T.; Julian, Kathleen G.; Hinten, Steven R.; Gubler, Duane J.

    Widespread West Nile Virus Activity, Eastern United States, 2000

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Centers for Disease Control and Prevention (CDC), 2001

    Erschienen in: Emerging Infectious Diseases

  6. Marfin, Anthony A.; Petersen, Lyle R.; Eidson, Millicent; Miller, James; Hadler, James; Farello, Cheryl; Werner, Barbara; Campbell, Grant L.; Layton, Marcelle; Smith, Perry; Bresnitz, Edward; Cartter, Matthew; Scaletta, Joseph; Obiri, Godwin; Bunning, Michel; Craven, Robert C.; Roehrig, John T.; Julian, Kathleen G.; Hinten, Steven R.; Gubler, Duane J.

    Widespread West Nile Virus Activity, Eastern United States, 2000

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Centers for Disease Control and Prevention (CDC), 2001

    Erschienen in: Emerging Infectious Diseases