Home Books

Books : Page 81570

Modeling of Dynamic Object Systems: A Logic-based Approach
  • PDF
  • German
  • Year: 1993
  • Author: Ralf Jungclaus (auth.)
Algèbre: Chapitre 10. Algèbre homologique
  • PDF
  • French
  • Year: 2006
  • Author: N. Bourbaki
Нелинейная теория распространения волн
  • DJVU
  • Russian
  • Year: 1970
  • Author: Лайтхилл М.Дж. (ред.)(Lighthill)
Information Retrieval Technology: 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Jianqiang Li, Yu Zhao, Bo Liu (auth.), Gary Geunbae Lee, Dawei Song, Chin-Yew Lin, Akiko Aizawa, Kazuko Kuriyama, Masaharu Yoshioka, Tetsuya Sakai (eds.)
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)
Universal Algebra, Algebraic Logic, and Databases
  • PDF
  • English
  • Year: 1994
  • Author: B. Plotkin (auth.)
Moduli of Families of Curves for Conformal and Quasiconformal Mappings
  • PDF
  • English
  • Year: 2002
  • Author: Alexander Vasil’ev (auth.)