Skip to contents

Cavalcanti, Ana [Editor]; Sampaio, Augusto [Other]; Woodcock, Jim [Other] ; Pernambuco Summer School on Software Engineering 1 2004 Recife

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 ; revised lectures

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3167
Seitz, Erwin [Author]

Kunst der Gastlichkeit : 22 Anregungen aus der deutschen Geschichte und Gegenwart - [Erste Auflage]

Close

Bookmarks

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

Berlin: Insel Verlag, 2015
Seitz, Erwin [Author]; Seitz, Erwin [Author]

Die Verfeinerung der Deutschen : eine andere Kulturgeschichte - [1. Aufl.]

Close

Bookmarks

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

Berlin: Insel-Verl., 2011
Sekerinski, Emil [Author]

Verfeinerung in der objektorientierten Programmkonstruktion

Close

Bookmarks

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

1994
Morris, Joseph M. [Editor] ; Refinement Workshop 4 1991 Cambridge, British Computer Society Specialist Group in Formal Aspects of Computing Science

Proceedings of the 4th Refinement Workshop : 9 - 11 January 1991, Cambridge

Close

Bookmarks

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

London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1991

Published in: Workshops in computing
Li, Ding [Author] ; Technische Universität Braunschweig

Aerodynamic shape optimization with discretization error control - [Als Manuskript gedruckt]

Close

Bookmarks

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

Köln: DLR, Deutsches Zentrum für Luft- und Raumfahrt, 2016

Published in: Forschungsbericht / Deutsches Zentrum für Luft- und Raumfahrt ; 2016,27
Lünenschloß, Alexander [Author]; Bucher, Frank [Author]; Knothe, Klaus [Author]

Normalkontakt zweier Körper mit rauen Oberflächen - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2002

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 59600
Lünenschloß, Alexander [Author]; Bucher, Frank [Author]; Knothe, Klaus [Author]

Numerische Behandlung des quasistatischen Tangentialkontakt-Problems zweier Körper mit rauhen Oberflächen - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2002

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 61600
Thomas, Stefan [Author] ; Weberpals, Helmut [Other]; Killat, Ulrich [Other] Technische Universität Hamburg Arbeitsbereich Technische Informatik

Parallele Simulation auf adaptiven Gitterstrukturen am Beispiel von Halbleiterbauelementen

Close

Bookmarks

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

Aachen: Shaker, 2000

Published in: Technische Informatik
Groves, Lindsay [Editor] ; FMP 1997 Wellington, Australasian Refinement Workshop 6 1997 Wellington, New Zealand Formal Program Development Colloquium 3 1997 Wellington

Formal methods Pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium]

Close

Bookmarks

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

Singapore; Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Springer series in discrete mathematics and theoretical computer science
Fuchß, Thomas [Author]

Eine temporale Logik der Prozesse - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 1998

Published in: Berichte aus der Informatik
Latour, Vera [Author]

Verfeinerbare Funktionen für allgemeine Skalierungsmatrizen : Konstruktion und Analyse

Close

Bookmarks

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

1996
Bakker, Jacobus W. de [Editor] ; REX Workshop 1989 Mook

Stepwise refinement of distributed systems : models, formalisms, correctness ; REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 430
Zumbusch, Gerhard [Author]

Parallel multilevel methods : adaptive mesh refinement and loadbalancing - [1. Aufl.]

Close

Bookmarks

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

Stuttgart; Leipzig; Wiesbaden [u.a.]: Teubner, 2003

Published in: Advances in numerical mathematics
Wenner, Christian [Author]

Vergleich und Optimierung von Methoden und Algorithmen zur Feldsimulation

Close

Bookmarks

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

2003
Steinl, Georg [Author]

Ein adaptives Finite-Element-Verfahren zur Behandlung von Lokalisierungseffekten im Rahmen der Cosserat-Theorie

Close

Bookmarks

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

München: Technische Universität, 2001

Published in: Berichte aus dem konstruktiven Ingenieurbau ; 2001,3
Findeiß, Rudolf [Author]

Ein orts- und zeitadaptives Finite-Element-Verfahren zur Traglastanalyse wassergesättigter Böden

Close

Bookmarks

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

München: Technische Univ., 2001

Published in: Berichte aus dem konstruktiven Ingenieurbau ; 2001,4
Geppert, Julius [Author]

Adaptive Gitterverfeinerung bei Flux-Limiter-Verfahren

Close

Bookmarks

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

1996
Qin, Shengchao [Editor]; Qiu, Zongyan [Other] ; International Conference on Formal Engineering Methods 13 2011 Durham

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2011

Published in: Lecture notes in computer science ; 6991
Broy, Manfred [Author]; Stølen, Ketil [Author]

Specification and development of interactive systems : FOCUS on streams, interfaces, and refinement

Close

Bookmarks

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

New York; Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Monographs in computer science

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