Home Books

Books : Page 51720

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
  • DJVU
  • English
  • Year: 1971
  • Author: H. Jerome Keisler
Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Andrew V. Goldberg (auth.), Jan van Leeuwen (eds.)
Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Maurizio Gabbrielli, Giorgio Levi (auth.), Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo (eds.)
  • DJVU
  • English
  • Year: 2001
  • Author: Henry Ehrenreich and Frans Spaepen (Eds.)
Damage Prognosis: For Aerospace, Civil and Mechanical Systems
  • PDF
  • English
  • Year: 2005
Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985
  • DJVU
  • English
  • Year: 1985
  • Author: Māris Alberts (auth.), Lothar Budach (eds.)
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael I. Schwartzbach (auth.), Laurie Hendren (eds.)
Mantrapping
  • PDF
  • English
  • Year: 1981
  • Author: Ragnar Benson
Proceedings of the International Symposium on Clustering Aspects of Quantum Many-Body Systems: post-symposium of YKIS01, Kyoto, Japan, 12-14 November 2001
  • DJVU
  • English
  • Year: 2002
  • Author: Ohnishi A.
Carbon Meta-Nanotubes: Synthesis, Properties and Applications
  • PDF
  • English
  • Year: 2011
search