Podobné jednotky

• FDPE '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia /
  Vydáno: (2005)
• Adapting proof-as-programs : the Curry-Howard protocol /
  Autor: Poernomo, Iman Hafiz, 1976-, a další
  Vydáno: (2005)
• SWS'05 : proceedings of the 2005 ACM Workshop on Secure Web Services : November 11, 2005, Fairfax, Virginia, USA /
  Vydáno: (2005)
• SASN'05 : proceedings of the 2005 ACM Workshop on Security of Ad Hoc and Sensor Networks : November 7, 2005, Alexandria, Virginia, USA, 2005 /
  Vydáno: (2005)
• Deductive Databases and Logic Programming /
  Vydáno: (1992)