Your search returned 7309 results.

Sort
Results
5921.
Iterative solution methods Owe Axelsson by
Publication details: Cambridge [England] ; New York : Cambridge University Press, 2000
Availability: Items available for loan: IMAR (1)Call number: 511.42-AXE.

5922.
Iterative optimization in inverse problems Charles L. Byrne, University of Massachusetts, Lowell by Series: Monographs and Research Notes in Mathematics
Publication details: New York: Taylor &Francis Group, 2014
Availability: Items available for loan: IMAR (1)Call number: 515.357-BYR.

5923.
Handbook of proof theory edited by Samuel R. Buss by Series: Studies in logic and the foundations of mathematics ; vol. 137
Publication details: New York : Elsevier, 1998
Availability: Items available for loan: IMAR (1)Call number: 511.3-BUS.

5924.
Foundations of logic programming J.W. Lloyd by Series: Symbolic computation
Edition: 2nd, extended ed.
Publication details: Berlin ; New York : Springer-Verlag, c1987
Availability: Items available for loan: IMAR (1)Call number: 005.1-LLO.

5925.
5926.
Convex optimization / Stephen Boyd, Lieven Vandenberghe. by
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2004
Availability: Items available for loan: IMAR (1)Call number: 519.6-BOY-1.

5927.
An introduction to formal logic Peter Smith by
Publication details: Cambridge, UK ; New York : Cambridge University Press, c2016
Availability: Items available for loan: IMAR (1)Call number: 160-SMI.

5928.
A first course in optimization theory Rangarajan K. Sundaram by
Publication details: Cambridge ; New York : Cambridge University Press, c2011
Availability: Items available for loan: IMAR (2)Call number: 519.6-SUN, ...

5929.
Lø-invariants : theory and applications to geometry and K-theory Wolfgang Luck by Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; vol. 44.: 3. Folge
Publication details: New York : Springer, 2002
Availability: No items available.

5930.
5931.
Functional analysis and the feynman operator calculus Tepper Gill by
Publication details: Heidelberg, New York, Dordrecht: Springer, c2016
Availability: Items available for loan: IMAR (1)Call number: 515.7-GIL.

5932.
Quantum mathematical physics : A bridge between mathematics and physics Felix Finster by
Publication details: Heidelberg, New York, Dordrecht: Birkhauser, Springer, c2016
Availability: Items available for loan: IMAR (1)Call number: 530.12-FIN.

5933.
Pseudodifferential operators with automorphic symbols Andre Unterberger by
Publication details: Heidelberg, New York, Dordrecht: Birkhauser, 2015
Availability: Items available for loan: IMAR (1)Call number: 515.7242-UNT.

5934.
5935.
Multiplicative invariant theory Martin Lorenz by Series: Encyclopaedia of mathematical sciences ; | Encyclopaedia of mathematical sciences
Publication details: Berlin ; New York : Springer, c2005
Availability: Items available for loan: IMAR (1)Call number: 512.944-LOR.

5936.
5937.
Probability on discrete structures Harry Kesten (editor) by Series: Encyclopaedia of mathematical sciences | Encyclopaedia of mathematical sciences
Publication details: Berlin ; New York : Springer, c2010
Availability: Items available for loan: IMAR (1)Call number: 519.2-KES.

5938.
Computational invariant theory Harm Derksen, Gregor Kemper by Series: Encyclopaedia of mathematical sciences | Encyclopaedia of mathematical sciences
Edition: 2nd edition
Publication details: Berlin ; New York : Springer, c2015
Availability: Items available for loan: IMAR (1)Call number: 512.944-DER.

5939.
5940.
Causality : Models, reasoning, and inference Judea Pearl by
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, c2010, reprinted with corrections in 2013
Availability: Items available for loan: IMAR (1)Call number: 122-PEA-1.

Pages

Powered by Koha