Search

Now showing items 1-8 of 8

Ordnungen, Verbände und Relationen mit Anwendungen

Type: Ebook

Author : R Berghammer

Publisher: Vieweg+Teubner Verlag / GWV Fachverlage

Request PDF

Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene AlgebrAuthor: R Berghammer; Bernhard Möller; Georg Struth

Type: Ebook

Author : R. Berghammer; Bernhard M�ller; Georg Struth

Publisher: Springer

Year: 2004

Request PDF

Solving hard control problems in voting systems via integer programming

Type: Journal Paper

Author : S. Polyakovskiy; R. Berghammer; F. Neumann

Year: 2016

Request PDF

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers

Type: Ebook

Author : R. Berghammer; Bernhard M�ller; Georg Struth

Publisher: Springer

Year: 2004

Request PDF

Microstructure evolution and deformation behavior of ultrafine-grained Al–Zn–Mg alloys with fine η′ precipitates

Type: Journal Paper

Author : S. Zhang; W. Hu; R. Berghammer; G. Gottstein

Publisher: Elsevier Science

Year: 2010

Request PDF

Tool Support for System Specification, Development and Verification

Type: Ebook

Author : R. Berghammer; Y. Lakhnech; W. Reif (auth.); Prof. Dr. Rudolf Berghammer; Dr. Yassine Lakhnech (eds.)

Publisher: Springer Vienna

Year: 1999

Request PDF

The Munich Project CIP, The wide spectrum language CIP-L

Type: Ebook

Author : F.L. Bauer; R. Berghammer; M. Broy; W. Dosch; F. Geiselbrechtinger; R. Gnatz; E. Hangel; W. Hesse; B. Krieg-Br�ckner; A. Laut; T. Matzner; B. M�ller; F. Nickl; H. Partsch; P. Pepper; K. Samelson; M. W

Publisher: Springer

Year: 1985

Request PDF

The Munich Project CIP

Type: Ebook

Author : F. L. Brauer; R. Berghammer; W. Dosch; R. Gnatz; E. Hangel; B. M�ller; H. Partsch; P. Pepper; K. Samelson; H. W�ssner; M. Broy; F. Nickl; M. Wirsing; F. Geiselbrechtinger; W. Hesse; B.

Publisher: Springer Berlin Heidelberg

Year: 1985

Request PDF

Search

Ordnungen, Verbände und Relationen mit Anwendungen

Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene AlgebrAuthor: R Berghammer; Bernhard Möller; Georg Struth

Solving hard control problems in voting systems via integer programming

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers

Microstructure evolution and deformation behavior of ultrafine-grained Al–Zn–Mg alloys with fine η′ precipitates

Tool Support for System Specification, Development and Verification

The Munich Project CIP, The wide spectrum language CIP-L

The Munich Project CIP

Author

Subject

Publisher

Year

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Ordnungen, Verbände und Relationen mit Anwendungen

Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene AlgebrAuthor: R Berghammer; Bernhard Möller; Georg Struth

Solving hard control problems in voting systems via integer programming

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... Papers

Microstructure evolution and deformation behavior of ultrafine-grained Al–Zn–Mg alloys with fine η′ precipitates

Tool Support for System Specification, Development and Verification

The Munich Project CIP, The wide spectrum language CIP-L

The Munich Project CIP