Podobné jednotky

• Interactive systems : design, specification, and verification : 9th International Workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers /
  Vydáno: (2002)
• Formal approaches to agent-based systems : first International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers /
  Vydáno: (2001)
• Persistent object systems : design, implementation, and use : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000 : revised papers /
  Vydáno: (2001)
• Real-time systems : specification, verification and analysis /
  Autor: Joseph, M., 1943-
  Vydáno: (1996)
• Intelligent memory systems : second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
  Vydáno: (2001)