Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007 Paris, France, June 26-28, 2007 Proceedings (Lecture Notes in Computer Science)

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007 Paris, France, June 26-28, 2007 Proceedings (Lecture Notes in Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • ページ数 395 p.
  • 言語 ENG
  • 商品コード 9781280955525
  • DDC分類 511.3

最近チェックした商品

Christ Legends
  • 洋書
Christ Legends
Langenscheidt Krimis für Kids - Caught in the Same Boat - Gefangen im selben Boot : Englische Lektüre für Kinder, ab 3. Lernjahr (Langenscheidt Krimis für Kids) （2021. 144 S. 190 mm）
  • 洋書
Langenscheidt Krimi…
The Coming of the Friars; And Other Historic Essays: in large print
  • 洋書
The Coming of the F…
Waltzing Matilda (First Steps in Music series)
  • 洋書
Waltzing Matilda (F…
A Brief History of the Book : From Tablet to Tablet
  • 洋書
A Brief History of …