Home Advanced Search

Advanced Search - Page 1

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
  • EPUB
  • English
  • Year: 2021
  • Author: Wolfgang Schreiner
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
  • PDF
  • English
  • Year: 2021
  • Author: Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
  • PDF
  • English
  • Year: 2023
  • Author: Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
  • EPUB
  • English
  • Year: 2023
  • Author: Wolfgang Schreiner
Compiling a functional language into SACLIB C
  • GZ
  • English
  • Year: 1993
  • Author: Schreiner.
PACLIB, parallel functional programming for CAS
  • GZ
  • English
  • Author: Schreiner.
Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005
  • PDF
  • English
  • Year: 2007
  • Author: John F. Asmus (auth.), Mag Johann Nimmrichter, Professor Wolfgang Kautek, Professor Manfred Schreiner (eds.)
Alttestamentlich-Jüdische Apokalyptik. Eine Einführung
  • PDF
  • German
  • Year: 1969
  • Author: Josef Schreiner
Object-Oriented Programming with ANSI-C
  • PDF
  • English
  • Year: 1993
  • Author: Axel Schreiner
Dreams
  • PDF
  • English
  • Year: 1900
  • Author: Olive Schreiner
search