SOWA OPAC : Library Catalogue

36 results

No cover

Book

In basket

Combinatory Logic. 1 / Haskell B. Curry, Robert Feys. - Amsterdam : North-Holland Publ. Co., 1958. - XVI, 417 s. ; 24 cm.

Author

Curry Haskell Brooks. Feys Robert.

Subject

Kombinatoryka.

available only on site

This item is available in one branch. Expand information to see details.

Magazyn

Copies are only available in the library: sygn. 36334 (1 egz.)

No cover

Book

In basket

Recursive Number Theory : A development of recursive arithmetic in an logic-free equation calculus / by R[euben] L[ouis] Goodstein. - Amsterdam : North-Holland Publ. Co., 1957. - XII, 190 s. ; 24 cm.

(Studies in Logic and the Foundations of Mathematics)

Author

Goodstein Reuben Louis.

Subject

Matematyka.

available only on site

This item is available in one branch. Expand information to see details.

Magazyn

Copies are only available in the library: sygn. 36240 (1 egz.)

No cover

Book

In basket

Constructivity in mathematics : proceedings of the colloquium, held at Amsterdam, 1957 / ed. by A. Heyting. - Amsterdam : North-Holland Publ. Co., 1959. - VIII, 297 s. ; 24 cm.

Author

Heyting Arend Redakcja

Subject

Matematyka.

available only on site

This item is available in one branch. Expand information to see details.

Magazyn

Copies are only available in the library: sygn. 36331 (1 egz.)

No cover

Book

In basket

An intermediate laboratory course in chemistry / Maxwell L. McGlashan, Cuthbert John Wilkins (Author) - 4 ed. - Amsterdam : North-Holland Publ. Co, 1966. - 139 stron : ilustracje, 22 cm.

Author

McGlashan Maxwell Len

Form of Work

Książki Publikacje dydaktyczne

Subject

Chemia.

Genre/Form

Podręcznik

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 39516 (1 egz.)

No cover

Book

In basket

Handbook of Mathematical Logic / ed. Jon Barwise. - Amsterdam : North-Holland Publ. Comp., 1977. - XI, 1165 s. : rys. ; 23 cm.

(Studies in Logic and the Foundations of Mathematics ; Vol.90)

Author

Barwise Jon. Red.

Subject

Logika matematyczna.

Bibliogr. przy rozdz.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 3175 (1 egz.)

No cover

Book

In basket

Graphs and Hypergraphs / Claude Berge ; tł. Edward Minieka. - 2, rev. ed. - Amsterdam ; London : North-Holland Publ. Comp.; New York: American Elsevier Publ. Comp., 1976. - XIV, 528 s., [1] k. tabl. : rys., tab. ; 23 cm.

(North-Holland Mathematical Library ; Vol.6)

Author

Berge Claude. Minieka Edward. Tł.

Subject

Matematyka Grafy HIPERGRAFY

Tyt. oryg. : Graphes et Hypergraphes.

Bibliogr.s. [498] - 522

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 1697 (1 egz.)

No cover

Book

In basket

Optimization in Mechanics : Problems and Methods / Pierre Brousse. - Amsterdam [i in.] : North-Holland Publ. Comp., 1988. - XII, 279 s. : tab., wykr. ; 23 cm.

(Applied Mathematics and Mechanics ; Vol.34)

Author

Brousse Pierre.

Subject

Mechanika Matematyka Optymalizacja

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 5501 (1 egz.)

No cover

Book

In basket

Linear Circuits : Systems and Signal Proceesing : Theory and Application / ed. Christopher I. Byrnes, Clyde F. Martin, Richard E. Saeks. - Amsterdam [i in.] : North-Holland Publ. Comp., 1988. - XIV, 633 s. : il., rys., wykr. ; 25 cm.

Author

Byrnes Christopher I. Red. Martin Clyde F. Red. Saeks Richard E. Red.

Subject

Elektrotechnika Obwód elektryczny.

Bibliogr. przy rozdz.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 5479 (1 egz.)

No cover

Book

In basket

The Finite Element Method for Elliptic Problems / Philippe G. Ciarlet. - Amsterdam ; New York ; Oxford : North-Holland Publ. Comp., 1979. - XVII, [3], 530 s. : rys., schem., tab., wykr. ; 23 cm.

(Studies in Mathematics and its Applications ; Vol.4)

Author

Ciarlet Philippe G.

Subject

Matematyka FUNKCJE ZMIENNYCH ZESPOLONYCH ODWZOROWANIA KONFOREMNE Konstrukcje budowlane

Bibliogr.s. 481 - 511

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 2092 (1 egz.)

No cover

Book

In basket

Mathematical Elasticity. Vol.1. Three - Dimensional Elasticity / Philippe G. Ciarlet. - Amsterdam [i in.] : North-Holland Publ. Comp., 1988. - XL, 451 s. : rys., wykr. ; 23 cm.

(Studies in Mathematics and its Applications ; Vol.20)

Author

Ciarlet Philippe G.

Subject

Sprężystość

Bibliogr.s. 409

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 5500 (1 egz.)

No cover

Book

In basket

Applied Statistics : Proceedings of the Conference, Halifax, May 2-4, 1974 / ed. R. P. Gupta ; Dalhousie University. - Amsterdam ; Oxford : North-Holland Publ. Comp.; New York: Elsevier Publ. Comp., 1975. - X, 416 s. : il. ; 23 cm.

Author

Conference on Applied Statistics (1974 ; Halifax). Gupta R. P. Red.

Subject

Statystyka

Genre/Form

Materiały konferencyjne

Bibliogr. przy ref.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. 45762 (1 egz.)

No cover

Book

In basket

Parallel and Distributed Algorithms : Proceedings of The International Workshop on Parallel and Distributed Algorithms Chateau de Bonas, Gers, France 3-6 October, 1988 / ed. Michel Cosnard. - Amsterdam [i in.] : North-Holland Publ. Comp., 1989. - XIV, 343 s. : schem., tab., wykr. ; 25 cm.

Author

Cosnard Michel. Red.

Subject

Matematyka Algorytmy Komputery

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 5587 (1 egz.)

No cover

Book

In basket

Defect properties and processing of hightechnology monmetallic materials : Symposium held November 1983 in Boston, Massachusetts, U.S.A. / red. J. H. Crawford [i in.]. - Amsterdam : North-Holland Publ. Comp., 1984. - 482 s. : il., rys., tab., wykr. ; 24 cm.

(Materials Research Society Symposia Proceedings ISSN 0272-9172 ; Vol.24)

Author

Crawford J. H. Red.

Subject

Metalurgia proszków Materiały

Genre/Form

Materiały konferencyjne

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4381 (1 egz.)

No cover

Book

In basket

Process and Device Modeling / ed. W. L. Engl. - Amsterdam [i in.] : North-Holland Publ. Comp., 1986. - X, 461 s. : rys., schem., tab., wykr. ; 25 cm.

(Advances in CAD for VLSI ; Vol.1)

Author

Engl W. L. Red.

Subject

Matematyka Modele matematyczne Elektronika

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4854 (1 egz.)

No cover

Book

In basket

Identification and System Parameter Estimation : proceedings of the 3rd IFAC [International Federation Automatic Control] Symposium, the Hague, Delft the Netherlands, 12-15 June 1973. Part 2 / ed. P. Eykhoff. - Amsterdam : North-Holland Publ. Comp., 1973. - 535-1179, [14] s. : il. ; 30 cm.

Author

Eykhoff P. Red.

Subject

Automatyka Statystyka Przetwarzanie danych automatyczne

Genre/Form

Materiały konferencyjne

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 199, Z 201, Z 99 (3 egz.)

No cover

Book

In basket

Energy beam-solid interactions and transient thermal processing : Symposium held November 1983 in Boston, Massachusets, U. S. A. / ed. John C. C. Fan, Noble M. Johnson. - Amsterdam : North-Holland Publ. Comp., 1984. - 791 s., [1] k. tabl. : il., rys., tab., wykr. ; 20 cm.

(Materials Research Society Symposia Proceedings ISSN 0272-9172 ; Vol.23)

Author

Fan John C. C. Red. Johnson Noble M. Red.

Subject

Materiały Symposium

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4377 (1 egz.)

No cover

Book

In basket

Intensional and Higer-Order Modal Logic : with Applications to Montague Semantics / Daniel Gallin. - Amsterdam : North-Holland Publ. Comp., 1975. - VII, [1], 148 s. ; 24 cm.

(North-Holland Mathematics Studies ; Vol.19)

Author

Gallin Daniel.

Subject

Logika matematyczna.

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 603 (1 egz.)

No cover

Book

In basket

Optimization in Computer-Aided Design : Proceedings of the IFIP WG 5.2 Working Conference on Optimization in Computer-Aided Design Lyon, France, 24-26 Octaber, 1983 / ed. John S. Gero. - Amsterdam [i in.] : North-Holland Publ. Comp., 1985. - IX, 373 s. : rys., tab., wykr. ; 23 cm.

Author

Gero John S. Red.

Subject

Programy komputerowe Algorytmy

Genre/Form

Materiały konferencyjne

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4987 (1 egz.)

No cover

Book

In basket

The role of programming in teaching informatics : proceedings of the IFIP TC3 Working Conference on Teaching Programming Paris, France, 7-9 May, 1984 / ed. M. Griffiths, E. D. Tagg. - Amsterdam : North-Holland Publ. Comp., 1984. - 212 s. : rys. ; 25 cm.

Author

Griffiths M. Red. Tagg E. D. Red.

Subject

Nauka Popularyzacja wiedzy

Genre/Form

Materiały konferencyjne

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4380 (1 egz.)

No cover

Book

In basket

Handbook on the Physics and Chemistry of Rare Earths. Vol.7 / ed. P. Caro [i in.]; Karl A. jr. Gschneidner, Eyring LeRoy. - Amsterdam : North-Holland Publ. Comp., 1984. - X, 579 s. : schem., tab., wykr. ; 25 cm.

Author

Gschneidner Karl A. jr. LeRoy Eyring. Caro P. Red.

Subject

Chemia nieorganiczna Ziemie rzadkie

available to loan

This item is available in one branch. Expand information to see details.

Wypożyczalnia

There are copies available to loan: sygn. Z 4378 (1 egz.)