Home Advanced Search

Advanced Search - Page 1

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
  • DJVU
  • English
  • Year: 1993
  • Author: Bernd Krieg-Brückner (auth.), Berthold Hoffmann, Bernd Krieg-Brückner (eds.)
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
ANNA A Language for Annotating Ada Programs
  • PDF
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
ANNA A Language for Annotating Ada Programs
  • DJVU
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
Algebraic Foundations of Systems Specification
  • PDF
  • English
  • Year: 1999
  • Author: Marie-Claude Gaudel, Gilles Bernot (auth.), Prof. Dr. Egidio Astesiano, Prof. Dr. Hans-Jörg Kreowski, Prof. Dr. Bernd Krieg-Brückner (eds.)
Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised
  • PDF
  • English
  • Year: 2004
  • Author: Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky
Spatial Cognition IV. Reasoning, Action, Interaction: International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Christoph Hölscher, Tobias Meilinger, Georg Vrachliotis, Martin Brösamle, Markus Knauff (auth.), Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky (eds.)
Grundzüge der Brillenlehre für Augenärzte: Erster Band die Brille und das Ruhende Auge
  • PDF
  • German
  • Year: 1924
  • Author: A. Brückner (auth.)
search