Home Books

Books : Page 82264

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
Относительность инерции
  • DJVU
  • Russian
  • Year: 1975
  • Author: Тредер Г.Ю.
Complex convexity and analytic functionals
  • DJVU
  • English
  • Year: 2004
  • Author: Mats Andersson, Mikael Passare, Ragnar Sigurdsson
Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Harold Boley (auth.), Michael Schröder, Gerd Wagner (eds.)
One nation under stress : the trouble with stress as an idea
  • PDF
  • English
  • Year: 2013
  • Author: Dana Becker
Digital Human Modeling: First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Giuseppe Andreoni, Marco Rabuffetti, Antonio Pedotti (auth.), Vincent G. Duffy (eds.)
За Дарвина
  • DJVU
  • Russian
  • Year: 1932
  • Author: Мюллер Ф., Перевод с немецкого И.И.Ежикова. Под редакцией М.Л.Левина.
State of the Art in Computer Graphics: Aspects of Visualization
  • PDF
  • English
  • Year: 1994
  • Author: David F. Rogers, Rae A. Earnshaw (auth.), David F. Rogers, Rae A. Earnshaw (eds.)
Nonarchimedean fields and asymptotic expansions
  • DJVU
  • English
  • Year: 1975
  • Author: A H Lightstone, Abraham Robinson
The Ancient Quarrel between Philosophy and Poetry Revisited: Plato and the Greek Literary Tradition
  • PDF
  • English
  • Year: 2000
  • Author: Susan B. Levin
search