Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfri
BJL
BOOK
1981
QA 4 L47(898) / q : Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80 / edited by D.A. Rand and L.-S. Young.; BJL
Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University o
BJL
BOOK
1981
QA 4 L47(902) / q : Germs of diffeomorphisms in the plane / Freddy Dumortier, Paulo R. Rodrigues, Robert Roussarie.; BJL
Germs of diffeomorphisms in the plane / Freddy Dumortier, Paulo R. Rodrigues, Robert Roussarie.
BJL
BOOK
1981
QA 4 L47(903) / q : Representations of algebras : proceedings of the third International Conference on Representations of Algebras, held in Puebla, Mexico, August, 4-8, 1980 / edited by M. Auslander and E. Lluis.; BJL
Representations of algebras : proceedings of the third International Conference on Representations of
BJL
Extremum problems for bounded univalent functions II.
BJL
BOOK
1982
QA 4 L47(92) / q : Category theory, homology theory and their applications II : proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968. Vol. 2.; BJL
Category theory, homology theory and their applications II : proceedings of the conference held at th
BJL
QA 4 L47(952) / q : Combinatorial mathematics IX : proceedings of the 9th Australian Conference on Combinatorial Mathematics held at the University of Queensland, Brisbane, Australia, August 24-28, 1981.; BJL
Combinatorial mathematics IX : proceedings of the 9th Australian Conference on Combinatorial Mathemat
BJL
BOOK
1982
QA 4 L47(97) / q : Hopf algebras and Galois theory / Stephen U. Chase, Moss E. Sweedler.; BJL
Hopf algebras and Galois theory / Stephen U. Chase, Moss E. Sweedler.
BJL
BOOK
1969
QA 4 L47(99) / q : Category theory, homology theory and their applications III : proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24-July 19, 1968 volume three.; BJL
Category theory, homology theory and their applications III : proceedings of the conference held at t
BJL
QA 4 M42 S9(2) : Studies in modern algebra / Saunders MacLane ... [et al.] ; A.A. Albert, editor.; BJL
Studies in modern algebra / Saunders MacLane ... [et al.] ; A.A. Albert, editor.
BJL
BOOK
1963
QA 4 M42 S9(20) : Studies in algebraic geometry / [contributions by] Steven L. Kleiman ... [et al.] ; A. Seidenberg, editor.; South East Asian Collection
Studies in algebraic geometry / [contributions by] Steven L. Kleiman ... [et al.] ; A. Seidenberg, ed
South East Asian Collection
BOOK
1980
QA 4 O83(128) / q : A Horn logic approach to modularity in knowledge based systems / G. Antoniou & V. Sperschneider.; BJL
A Horn logic approach to modularity in knowledge based systems / G. Antoniou & V. Sperschneider.
BJL
BOOK
1991
QA 4 O83(D10) : Abschlussbericht eines Projeckts über Schulerstrategien und Unterrichtseffecte : Proportionen und Antiproportionen / W. Kurth...[et al.].; BJL
Abschlussbericht eines Projeckts über Schulerstrategien und Unterrichtseffecte : Proportionen und Ant
BJL
BOOK
1989
QA 4 O83(D10A) : Unterrichtsbeobachtungen und Testauswertungen in 6 Klassen der Realschule Dom, Osnabrück / W. Kurth...[et al.].; BJL
Unterrichtsbeobachtungen und Testauswertungen in 6 Klassen der Realschule Dom, Osnabrück / W. Kurth..
BJL
BOOK
1989
QA 4 O83(D11) : Untersuchungen zur Behebung der Defizite von Mädchen im Mathematikunterricht / U. Viet ... [et al.].; BJL
Untersuchungen zur Behebung der Defizite von Mädchen im Mathematikunterricht / U. Viet ... [et al.].
BJL
BOOK
1990
QA 4 O83(D12) : Untersuchungen über bereichsspezifische Defizite von Jungen und Mädchen in Mathematikuntericht. Arbeitsgruppe Lern-Lehrforschung. Leitung / Arbeitsgruppe Lern-Lehrforschung. Leitung. Prof. U. Viet.; BJL
Untersuchungen über bereichsspezifische Defizite von Jungen und Mädchen in Mathematikuntericht. Arbei
BJL
BOOK
1991
QA 4 O83(D13) : Fahigkeitsgerechte fordermmarnahmen im mathematikunterricht des 7. schuljahrs.; BJL
Fahigkeitsgerechte fordermmarnahmen im mathematikunterricht des 7. schuljahrs.
BJL
BOOK
1992
QA 4 O83(I22) : Modulare Programme und ihre Verifikation / G. Antoniou, V. Sperschneider.; BJL
Modulare Programme und ihre Verifikation / G. Antoniou, V. Sperschneider.
BJL
BOOK
1988
QA 4 O83(I23) : On the definition and verification of modular software systems / G. Antoniou, V. Sperschneider.; BJL
On the definition and verification of modular software systems / G. Antoniou, V. Sperschneider.
BJL
Vad / Vcc : teaching machine-oriented programming.
BJL
BOOK
1989
QA 4 O83(I25) : A parallel branch-&-bound approach for solving a two-dimensional cutting stock problem / B. Kroger, O. Vornberger.; BJL
A parallel branch-&-bound approach for solving a two-dimensional cutting stock problem / B. Kroger, O
BJL
BOOK
1990
QA 4 O83(I26) : Modules in computer science and artificial intelligence.; BJL
Modules in computer science and artificial intelligence.
BJL
BOOK
1991
QA 4 O83(I27) : Knowledge-based systems : the logic programming approach.; BJL
Knowledge-based systems : the logic programming approach.
BJL
BOOK
1991
QA 4 O83(I29) : Parallel genetic packing on trnsputers / B. Kroger, P. Schwenderling, O. Vornberger.; BJL
Parallel genetic packing on trnsputers / B. Kroger, P. Schwenderling, O. Vornberger.
BJL
BOOK
1992
QA 4 O83(I30) : Proving consistency of concurrency constraints for object-oriented parallel systems.; BJL
Proving consistency of concurrency constraints for object-oriented parallel systems.
BJL
BOOK
1992
QA 4 O83(M10) : Differentiale Methoden in der lokalen Algebra.; BJL
Differentiale Methoden in der lokalen Algebra.
BJL
BOOK
1988
QA 4 O83(M11) : Integrals for holomorphic foliations of codimension one.; BJL
Integrals for holomorphic foliations of codimension one.
BJL
BOOK
1992
QA 4 Q3(1) / q : Riesz vector spaces and Riesz algebras / by L. Fuchs.; BJL
Riesz vector spaces and Riesz algebras / by L. Fuchs.
BJL
BOOK
1966
QA 4 Q3(11) / q : Reduced density matrices with applications to physical and chemical systems : proceedings of a conference held at Queen's University, Kingston, August 28-September 1, 1967, sponsored jointly by the U.S. Air Force Office of Scientific Research, the U.S. Office of Naval Research and the National Research Council of Canada / editors, A. J. Coleman, R. M. Erdahl.; BJL
Reduced density matrices with applications to physical and chemical systems : proceedings of a confer
BJL
BOOK
1968
QA 4 Q3(12) / q : Multiplicative ideal theory. Part I / by Robert W. Gilmer.; BJL
Multiplicative ideal theory. Part I / by Robert W. Gilmer.
BJL
BOOK
1968
QA 4 Q3(23) / q : Introduction to Lie algebras / by Richard D. Pollack ; notes by Gordon Edwards.; BJL
Introduction to Lie algebras / by Richard D. Pollack ; notes by Gordon Edwards.
BJL
BOOK
1969
QA 4 Q3(24) / q : Introduction to profinite groups and Galois cohomology / Luis Ribes.; BJL
Introduction to profinite groups and Galois cohomology / Luis Ribes.
BJL
BOOK
1970
QA 4 Q3(25) / q : Proceedings of the Conference on Universal Algebra, October 1969.; BJL
Proceedings of the Conference on Universal Algebra, October 1969.
BJL
BOOK
1970
QA 4 Q3(28) / q : Equimeasurable rearrangements of functions / by K.M. Chong and N.M. Rice; BJL
Equimeasurable rearrangements of functions / by K.M. Chong and N.M. Rice
BJL
BOOK
1971
QA 4 Q3(3) / q : The Morse theory and its application to solid state physics / by Joseph F. Veverka ; with an introduction by A. J. Coleman.; BJL
The Morse theory and its application to solid state physics / by Joseph F. Veverka ; with an introduc
BJL
BOOK
1966
QA 4 Q3(33) / q : Monads and their Eilenberg-Moore algebras in functional analysis / by Zbigniew Semadeni.; BJL
Monads and their Eilenberg-Moore algebras in functional analysis / by Zbigniew Semadeni.
BJL
BOOK
1973
QA 4 Q3(37) / q : Radical and semisimple classes of rings / by Richard Wiegandt.; BJL
Radical and semisimple classes of rings / by Richard Wiegandt.
BJL
BOOK
1974
QA 4 Q3(5) / q : Linear representation of finite groups : lecture notes / by P. Ribenboim.; BJL
Linear representation of finite groups : lecture notes / by P. Ribenboim.
BJL
BOOK
1966
QA 4 T77(100) : Groups, generators, syzygies, and orbits in invariant theory.; BJL
Groups, generators, syzygies, and orbits in invariant theory.
BJL
