ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

1

Unbekannt

Fundamentals of generalized recursion theory (1981)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.6 ; Recursion theory

Seiten: Online-Ressource (xx, 307 pages)

ISBN: 9780444861719

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=105

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

2

Unbekannt

Descriptive Set Theory (1980)

Moschovakis, Yiannis N.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xii, 637 pages)

ISBN: 9780444701992

URL: http://www.sciencedirect.com/science/bookseries/0049237X/100

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

3

Unbekannt

The Lambda Calculus : Its Syntax and Semantics (1984)

Barendregt. H.P.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xv, 621 pages)

ISBN: 9780444875082

URL: http://www.sciencedirect.com/science/bookseries/0049237X/103

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

4

Unbekannt

Differential equations : classical to controlled (1982)

New York : Academic Press

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA372 ; Control theory ; Differential equations, Linear ; Differential equations, Nonlinear

Seiten: Online-Ressource (xiii, 322 pages)

ISBN: 9780124599802

URL: http://www.sciencedirect.com/science/publication?issn=00765392&volume=162

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

5

Unbekannt

Computational techniques for differential equations (1984)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA370 ; Differential equations, Partial - Numerical solutions - Congresses ; Differential equations - Numerical solutions - Congresses

Seiten: Online-Ressource (vii, 679 pages)

ISBN: 9780444867834

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=83

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

6

Unbekannt

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A (1980)

Kleene Symposium (1978 : Madison, Wis.)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6 ; Kleene, Stephen Cole - 1909-1994

Seiten: Online-Ressource (xx, 425 pages)

ISBN: 9780444853455

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

7

Unbekannt

Differential equations : proceedings of the conference held at the University of Alabama in Birmingham, Birmingham, Alabama, U.S.A., 21-26 March, 1983 (1984)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA370 ; Differential equations - Congresses

Beschreibung / Inhaltsverzeichnis: Lectures given at the International Conference on Differential Equations held at the University of Alabama in Birmingham during March 21-26, 1983

Seiten: Online-Ressource (xx, 608 pages)

ISBN: 9780444868756

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=92

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

8

Unbekannt

Logic Colloquium '80 : Papers intended for the European Summer Meeting of the Association for Symbolic Logic (1982)

Van Dalen, D. , Lascar D. ; Smiley, T.J.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (vii, 342 pages)

ISBN: 9780444864659

URL: http://www.sciencedirect.com/science/bookseries/0049237X/108

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

9

Unbekannt

Analytical and numerical approaches to asymptotic problems in analysis : proceedings of the Conference on Analytical and Numerical approaches to Asymptotic Problems, University of Nijmegen, the Netherlands, June 9-13, 1980 (1981)

Conference on Analytical and Numerical Approaches to Asymptotic Problems (1980 : University of Nijmegen)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA370 ; Differential equations - Asymptotic theory - Congresses ; Differential equations - Numerical solutions - Congresses

Seiten: Online-Ressource (xvi, 381 pages)

ISBN: 9780444861313

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=47

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

10

Unbekannt

Random differential inequalities (1980)

New York : Academic Press

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA274.23 ; Differential inequalities ; Stochastic differential equations

Seiten: Online-Ressource (xi, 211 pages)

ISBN: 9780080956589

URL: http://www.sciencedirect.com/science/publication?issn=00765392&volume=150

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

11

Unbekannt

Augmented Lagrangian methods : applications to the numerical solution of boundary-value problems (1983)

Trans-inter-scientia (Firm)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.3/5 ; LC QA379 ; Boundary value problems - Numerical solutions ; Differential equations, Partial - Numerical solutions ; Lagrangian functions ; Multipliers (Mathematical analysis)

Seiten: Online-Ressource (xix, 340 pages)

ISBN: 9780444866806

URL: http://www.sciencedirect.com/science/publication?issn=01682024&volume=15

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

12

Unbekannt

Set Theory An Introduction to Independence Proofs (1980)

Kunen, Kenneth

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xvi, 313 pages)

ISBN: 9780444854018

URL: http://www.sciencedirect.com/science/bookseries/0049237X/102

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext