Home Advanced Search

Advanced Search - Page 1

Mathematisch-strukturelle Grundlagen der Informatik
  • PDF
  • German
  • Year: 1999
  • Author: H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz (auth.)
Mathematisch-strukturelle Grundlagen der Informatik
  • PDF
  • German
  • Year: 2001
  • Author: Prof. Dr. Hartmut Ehrig, Prof. Dr. Bernd Mahr, Dr. Martin Große-Rhode, Dr. Ing. Felix Cornelius, Dr. Philip Zeitz (auth.)
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
  • DJVU
  • English
  • Year: 2004
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)
Thermo- and Fluid Dynamic Processes in Diesel Engines 2: Selected Papers from the THIESEL 2002 Conference, Valencia, Spain, 11–13 September 2002
  • PDF
  • English
  • Year: 2004
  • Author: B. Mahr (auth.), Professor J. H. Whitelaw, Professor F. Payri, Professor C. Arcoumanis, Professor J. M. Desantes (eds.)
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Guntis Barzdins (auth.), H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel (eds.)
Semantic Integration of Heterogeneous Software Specifications
  • PDF
  • English
  • Year: 2004
  • Author: Martin Große-Rhode
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
  • PDF
  • English
  • Year: 1985
  • Author: Hartmut Ehrig, Bernd Mahr
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
  • PDF
  • English
  • Year: 1990
  • Author: Hartmut Ehrig, Bernd Mahr
Nephrotoxicity in the experimental and clinical situation: Part 2
  • PDF
  • English
  • Year: 1987
  • Author: M. M. Lipsky, B. F. Trump (auth.), P. H. Bach, E. A. Lock (eds.)
search