Skip to contents

Nipkow, Tobias [Author]; Paulson, Lawrence C. [Author]; Wenzel, Markus [Author]

Isabelle/HOL : a proof assistant for higher-order logic

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2283
Mossakowski, Till [Author]

Representations, hierarchies and graphs of institutions - [Rev. version, December 2001]

Close

Bookmarks

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

Berlin: Logos Verl., 2002

Published in: Bremer Institut für Sichere Systeme: BISS monographs ; 2
Jouannaud, Jean-Pierre [Editor]; Shao, Zhong [Other] ; CPP 1 2011 Kending

Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 7086
Comon-Lundh, Hubert [Editor]; Jouannaud, Jean-Pierre [Honoree]; Kirchner, Claude [Other]; Kirchner, Hélène [Other]

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4600
Zhou, Chaochen [Author]; Hansen, Michael R. [Author]

Duration calculus : a formal approach to real-time systems

Close

Bookmarks

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

Berlin; Heidelberg; New York: Springer, [2004]

Published in: Monographs in theoretical computer science- an EATCS series
Kladroba, Andreas [Author]

Statistische Methoden zur Erstellung und Interpretation von Rankings und Ratings - [1. Aufl.]

Close

Bookmarks

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

Berlin: VWF, 2005

Published in: Akademische Abhandlungen zu den Wirtschaftswissenschaften
Šolín, Pavel [Author]; Segeth, Karel [Author]; Doležel, Ivo [Author]

Higher-order finite element methods

Close

Bookmarks

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

Boca Raton, Fla. [u.a.]: Chapman & Hall, CRC, 2004

Published in: Studies in advanced mathematics
Deville, Michel [Author]; Fischer, Paul F. [Author]; Mund, Ernest H. [Author] ; Deville, Michel O. [Other]

High-order methods for incompressible fluid flow - [1. publ.]

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge Univ. Press, 2002

Published in: Cambridge monographs on applied and computational mathematics ; 9
Barth, Timothy J. [Editor] ; Research and Technology Organization

High-order methods for computational physics

Close

Bookmarks

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

Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1999

Published in: Lecture notes in computational science and engineering ; 9
Argyris, John H. [Author]; Vaz, Luiz Eloy [Author]; Willam, Kaspar J. [Author]

Higher order methods for transient diffusion analysis

Close

Bookmarks

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

Stuttgart: Inst. fuer Statik u. Dynamik d. Luft- u. Raumfahrtkonstruk=tionen, 1977

Published in: Institut für Statik und Dynamik der Luft- und Raumfahrtkonstruktionen: Report / Institut für Statik und Dynamik der Luft- und Raumfahrtkonstruktionen, Universität Stuttgart ; 222
Wang, Z. J. [Editor]

Adaptive high-order methods in computational fluid dynamics

Close

Bookmarks

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

Hackensack [u.a.]: World Scientific, 2011

Published in: Advances in computational fluid dynamics ; 2
Stöcker, Christina [Author]

Level set methods for higher order evolution laws

Close

Bookmarks

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

2008
Cohen, Gary C. [Author]

Higher-order numerical methods for transient wave equations - [Softcover reprint of the hardcover 1st edition]

Close

Bookmarks

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

Berlin; Heidelberg: Springer-Verlag, [2002]

Published in: Scientific computation
Überwimmer, Margarete [Author]

Higher order upwind methods for convection equations on irregular grids

Close

Bookmarks

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

1994
Franke, David Christian [Author]

Investigation of mechanical contact problems with high-order finite element methods

Close

Bookmarks

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

Aachen: Shaker, 2012

Published in: Berichte aus dem Bauwesen
Gustafsson, Bertil [Author]

High order difference methods for time dependent PDE : with 12 tables

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2008

Published in: Springer series in computational mathematics ; 38
ICOSAHOM

Spectral and high order methods for partial differential equations : proceedings of the ICOSAHOM Conference

Close

Bookmarks

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

Amsterdam: North-Holland Publ. Co., 1990- / 1.1989(1990) -
Azai͏̈ez, Mejdi [Editor]; Azai͏̈ez, Mejdi [Other]; El Fekih, Henda [Editor]; Hesthaven, Jan S. [Editor] ; ICOSAHOM 9. 2012 Gammarth

Spectral and high order methods for partial differential equations - ICOSAHOM 2012 : selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia

Close

Bookmarks

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

Cham; Heidelberg [u.a.]: Springer, 2014

Published in: Lecture notes in computational science and engineering ; 95
Hesthaven, Jan S. [Editor]; Rønquist, Einar M. [Other]; Rønquist, Einar M. [Editor] ; ICOSAHOM 8 2009 Trondheim

Spectral and high order methods for partial differential equations : selected papers from the ICOSAHOM '09 conference, June 22 - 26, Trondheim, Norway

Close

Bookmarks

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

Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computational science and engineering ; 76
Canuto, Claudio [Editor] ; ICOSAHOM 1 1989 Como

Spectral and high order methods for partial differential equations : proceedings of the ICOSAHOM '89 Conference, Villa Olmo, Como (Italy), 26 - 29 June 1989

Close

Bookmarks

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

Amsterdam: North-Holland, 1990

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