Skip to contents

Erné, Marcel [Author]

Einführung in die Ordnungstheorie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim, Wien, Zürich: Bibliograph. Inst., 1982
Smith, Jo E. [Other] ; Boise State Conference 1978 Boise, Idaho

Ordered groups : proceedings of the Boise State Conference

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: Dekker, 1980

Published in: Lecture notes in pure and applied mathematics ; 62
Bouchitté, Vincent [Editor] ; ORDAL 1994 Lyon

Orders, algorithms and applications : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 831
Pečarić, Josip E. [Author]; Proschan, Frank [Author]; Tong, Yung-Liang [Author] ; Tong, Yung L. [Other]

Convex functions, partial orderings and statistical applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston [u.a.]: Academic Press, 1992

Published in: Mathematics in science and engineering ; 187
Gogolla, Martin [Author]

Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1986
Prieß-Crampe, Sibylla [Author]

Angeordnete Strukturen : Gruppen, Körper, projektive Ebenen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1983

Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; NF,98
Godefroid, Patrice [Author]

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1032
Best, Eike [Author]

Kausale Semantik nichtsequentieller Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1989

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 174
Preuss, Guenther [Author]

Äquivalenz- und Ordnungsrelationen / [Hauptbd.] - [1. Aufl., 1. Dr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Klett, 1970

Published in: Äquivalenz- und Ordnungsrelationen / Günther Preuß ; [Hauptbd.] - Relationen ; 3,haup
Preuss, Guenther [Author]

Äquivalenz- und Ordnungsrelationen / Lehrerbegleith. / Von Günther Preuß

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Klett, [1970]

Published in: Äquivalenz- und Ordnungsrelationen / Günther Preuß ; Lehrerbegleith. - Relationen ; 3,lehr
Preuss, Guenther [Author]

Äquivalenz- und Ordnungsrelationen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Klett, 19XX-

Published in: Relationen ; 3- MM-Programm
Neukel, Norman [Author] ; Jahn, Johannes [Other]

Dualitätskonzepte und sozio-ökonomische Paradigmen mit Ordnungsrelationen zur Mengenoptimierung

View online
Schließen

Access

https://d-nb.info/111110249X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2016
Höchstötter, Markus [Author]; Jung, Christopher [Author]; Keller, Sina [Author]; Seifert, Rolf [Author]; Waltschläger, Irina [Author]; Zeh-Marschke, Andreas [Author]; Hugelmann, Claus-Peter [Author]; Wingerter, Bernd [Author]

Fragenpool Mathematik / 2, Fragenpool Mengen, Relationen, Abbildungen : 121 Fragen / Markus Höchstötter, Christopher Jung, Sina Keller, Rolf Seifert, Irina Waltschläger, Andreas Zeh-Marschke, Claus-Peter Hugelmann, Bernd Wingerter

View online
Schließen

Access

http://hdl.handle.net/10900.3/OER_VGPPECVW

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: DHBW Karlsruhe, 2018

Published in: Fragenpool Mathematik ; 2
Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]

The connection between the initial and unique solutions of domain equations in the partial order and metric approach

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim: Universität Mannheim / Institut für Informatik, 1996

Published in: Manuskripte / Reihe Informatik ; 1996-001
Peled, Doron [Contributor]; Pratt, Vaughan R [Contributor]; Holzmann, Gerard J. [Contributor] ; DIMACS (Group)

Partial order methods in verification : DIMACS workshop July 24-26, 1996

View online
Schließen

Access

http://www.ams.org/dimacs/029

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Providence, R.I.: American Mathematical Society, 1997

Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 29
Godefroid, Patrice [Author]

Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1032
Godefroid, Patrice [Author]

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 103200
Luxenburger, Thomas Michael [Author]

Funktionen symmetrischer Matrizen ; Functions of symmetric matrices

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-54487

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 2013
Bouchitté, Vincent [Other] ; ORDAL 1994 Lyon

Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4 - 8, 1994 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 83100
Zhong, Minyi [Author] ; Friedrich-Schiller-Universität Jena

Propagation of partially coherent light in optical systems

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Jena, 2017

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication