Home Advanced Search

Advanced Search - Page 1

The Insect Ovary: Ultrastructure, previtellogenic growth and evolution
  • PDF
  • English
  • Year: 1994
  • Author: Jürgen Büning (auth.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Statistical Inference, Econometric Analysis and Matrix Algebra: Festschrift in Honour of Götz Trenkler
  • PDF
  • English
  • Year: 2009
  • Author: Herbert Büning (auth.), Prof. Dr. Bernhard Schipp, Prof. Dr. Walter Kräer (eds.)
Prolog: Grundlagen und Anwendungen
  • PDF
  • German
  • Year: 1988
  • Author: Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)
Aussagenlogik: Deduktion und Algorithmen
  • DJVU
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
Aussagenlogik: Deduktion und Algorithmen
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (eds.)
Prolog: Grundlagen und Anwendungen
  • PDF
  • German
  • Year: 1986
  • Author: Prof. Dr. rer. nat. Hans Kleine Büning, Dipl.-Wi.-Ing. Stefan Schmitgen (auth.)
search