Jump to main content

yr 〜
yr

Search results 4

The theory of timed I/O automata 2nd ed

The theory of timed I/O automata 2nd ed
Paper図書
Dilsun K. Kaynar... [et al.]Morgan & Claypoolc2011
Other Libraries in Japan
  • Author HeadingKaynar, Dilsun K. Lynch, Nancy A. (Nancy Ann) Segala, Roberto Vaandrager, F...

Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings
Paper図書
Nancy Lynch, Bruce H. Krogh (eds.)Springerc2000
Other Libraries in Japan
  • Author Heading...on and Control Lynch, Nancy A. (Nancy Ann) Krogh, Bruce H.

Distributed algorithms

Distributed algorithms
Paper図書
Nancy A. LynchMorgan Kaufmann Publishersc1996
Other Libraries in Japan
  • Author HeadingLynch, Nancy A. (Nancy Ann)

Atomic transactions

Atomic transactions
Paper図書
Nancy Lynch ... [et al.]Morgan Kaufmann Publishersc1994
Other Libraries in Japan
  • Author HeadingLynch, Nancy A. (Nancy Ann)

Reached to the end of result.

RSS