Home Advanced Search

Advanced Search - Page 1

Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Codish (auth.), Tom Schrijvers, Peter Thiemann (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Flare Physics in Solar Activity Maximum 22: Proceedings of the International SOLAR-A Science Meeting Held at Tokyo, Japan, 23–26 October 1990
  • PDF
  • English
  • Year: 1991
  • Author: Y. Uchida (auth.), Yutaka Uchida, Richard C. Canfield, Tetsuya Watanabe, Eijiro Hiei (eds.)
Flare Physics in Solar Activity Maximum 22: Proceedings of the International SOLAR-A Science Meeting Held at Tokyo, Japan, 23–26 October 1990
  • DJVU
  • English
  • Year: 1991
  • Author: Y. Uchida (auth.), Yutaka Uchida, Richard C. Canfield, Tetsuya Watanabe, Eijiro Hiei (eds.)
Mediensoziologie: Grundfragen und Forschungsfelder
  • PDF
  • German
  • Year: 2005
  • Author: Michael Jäckel (eds.)