Home Advanced Search

Advanced Search - Page 1

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Flemming Andersen, Kim Dam Petersen (auth.), Jeffrey J. Joyce, Carl-Johan H. Seger (eds.)
Advances in Membrane Biochemistry and Bioenergetics
  • PDF
  • English
  • Year: 1987
  • Author: Toos E. King (auth.), Chong H. Kim, Henry Tedeschi, Joyce J. Diwan, John C. Salerno (eds.)
Ukendt land: et essay om digtning, virkelighed og medier
  • EPUB
  • Danish
  • Year: 2012
  • Author: Andersen, Flemming
Characterization of Polymers in the Solid State I: Part A: NMR and Other Spectroscopic Methods Part B: Mechanical Methods
  • PDF
  • English
  • Year: 1985
  • Author: J. Johan Lindberg, Bo Hortling (auth.), H. H. Kaush, H. G. Zachman (eds.)
Electronic Government: 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Åke Grönlund, Annika Andersson (auth.), Maria A. Wimmer, Hans J. Scholl, Åke Grönlund, Kim Viborg Andersen (eds.)
Trends in managerial and financial accounting: Income determination and financial reporting
  • PDF
  • English
  • Year: 1978
  • Author: André J. Bindenga (auth.), Cees van Dam (eds.)
Safeguarding Food Quality
  • PDF
  • English
  • Year: 1993
  • Author: J. J. Kaneko (auth.), H. Sommer, Prof. Dr. Brigitte Petersen, P. v. Wittke (eds.)
Advances in Quantitative Coronary Arteriography
  • PDF
  • English
  • Year: 1993
  • Author: Michael J. Davies (auth.), Johan H. C. Reiber, Patrick W. Serruys (eds.)
Agent-Based Modelling of Socio-Technical Systems
  • PDF
  • English
  • Year: 2013
  • Author: G. P. J. Dijkema, Z. Lukszo, M. P. C. Weijnen (auth.), Koen H. van Dam, Igor Nikolic, Zofia Lukszo (eds.)