Skip to contents

Bernstein, Swanhild [Author]

The left-linear Riemann problem in Clifford analysis as an integral equation

Close

Bookmarks

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

Freiberg: TU Bergakademie, 1995

Published in: Technische Universität Bergakademie Freiberg: Preprint ; 95,04
Bernstein, Swanhild [Author]

On the index of the left-linear Riemann problem in Clifford analysis

Close

Bookmarks

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

Freiberg: TU Bergakademie, 1995

Published in: Technische Universität Bergakademie Freiberg: Preprint ; 95,08
Butkovič, Peter [Author]

Max-linear systems: theory and algorithms

Close

Bookmarks

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

London [u.a.]: Springer, c 2010

Published in: Springer monographs in mathematics
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability

Close

Bookmarks

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

Amsterdam; Berlin [u.a.]: IOS Press, 2009

Published in: Frontiers in artificial intelligence and applications ; 185
Weiss, Jürgen [Author]

Constructive algebraic methods for the inverse kinematics problem

Close

Bookmarks

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

1994
Zeitz, Paul [Author]

The art and craft of problem solving - [2. ed., Nachdr.]

Close

Bookmarks

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

Hoboken, N.J.: Wiley, 2007
Kippig, Frank [Author]

Untersuchungen zu Randwert- und Anfangsrandwertaufgaben für partielle Differentialgleichungen mit Methoden der Cliffordschen Analysis

Close

Bookmarks

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

1997
Wilkinson, James H. [Author]

The algebraic eigenvalue problem

Close

Bookmarks

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

Oxford: Clarendon Press, 1965

Published in: Monographs on numerical analysis
Hoos, Holger H. [Editor] ; SAT 7 2004 Vancouver, British Columbia

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004 ; revised selected papers

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3542
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability / part 2 - [Second edition]

Close

Bookmarks

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

Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021
Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

Handbook of satisfiability / part 1 - [second edition]

Close

Bookmarks

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

Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

Published in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021
Prestel, Alexander [Author]; Delzell, Charles N. [Author]

Positive polynomials : from Hilbert's 17th problem to real algebra

Close

Bookmarks

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

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

Published in: Springer monographs in mathematics
Moura Neto, Francisco Duarte [Author]; Silva Neto, Antônio José da [Author]

An introduction to inverse problems with applications

Close

Bookmarks

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

Heidelberg [u.a.]: Springer, 2013
Kullmann, Oliver [Editor] ; SAT 12 2009 Swansea

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5584
Gerasimov, Igor' A. [Author] ; Gerasimov, Igor' Anatolʹevič [Other] Gosudarstvennyj astronomičeskij institut im. P.K. Šternberga

Zadača dvuch nepodvižnych centrov L. Ėjlera

Close

Bookmarks

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

Frjazino: Vek 2, 2007
Devlin, Keith J. [Author] ; Devlin, Keith [Other]

Sternstunden der modernen Mathematik : berühmte Probleme und neue Lösungen

Close

Bookmarks

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

München: Dt. Taschenbuch-Verl., 1992

Published in: dtv ; 4591 ; dtv wissenschaft
Lettmann, Theodor [Author]

Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung

Close

Bookmarks

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

1987
Millman, Richard S. [Author]; Shiue, Peter J. [Author]; Kahn, Eric Brendan [Author]

Problems and proofs in numbers and algebra

Close

Bookmarks

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

Cham; Heidelberg; New York; Dordrecht; London: Springer, [2015]
Kleine Büning, Hans [Editor]; Zhao, Xishun [Other] ; SAT 11 2008 Kanton, Stadt

Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4996
Baylis, William E. [Author] ; Baylis, William Eric [Other]

Theoretical methods in the physical sciences : an introduction to problem solving using Maple V

Close

Bookmarks

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

Boston, Mass. [u.a.]: Birkhäuser, 1994

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