Treffliste - Depotbiblioteket

Finite difference methods for nonlinear evolution equations : convergence proofs and applications to liquid crystals

Ridder, Johanna
Inngår i serie: Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (no. 1830)
Bok Engelsk 2017

Ledig 2/3

Vis mer

Love proof

Drama (film)
DVD Svensk 2022

Ledig 1/1

Vis mer

"Death proof"

Grøssarar (film)
DVD Engelsk 2007

Ledig 1/1

Vis mer

The burden of proof

Turow, Scott
Bok Engelsk 1991

Ledig 1/1

Vis mer

Oxford proof

Stallwood, Veronica
Bok Engelsk 2002

Ledig 1/1

Vis mer

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst
Inngår i serie: Lecture notes in mathematics (306)
Bok Språk ikke angitt 1973

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

TYPES 2002
Inngår i serie: Lecture notes in computer science (2646)
Bok Engelsk c2003

Ledig 1/1

Vis mer

Gödel's proof

Nagel, Ernest
Bok Engelsk 1989

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers

TYPES 2003
Inngår i serie: Lecture notes in computer science (3085)
Bok Engelsk c2004

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

TYPES '96
Inngår i serie: Lecture notes in computer science (1512)
Bok Engelsk c1998

Ledig 1/1

Vis mer

Using Z : specification, refinement, and proof

Woodcock, Jim
Inngår i serie: Prentice Hall international series in computer science
Bok Engelsk 1996

Ledig 1/1

Vis mer

Mind the stop : a brief guide to punctuation with a note on proof-correction

Carey, G. V.
Inngår i serie: Penguin reference books
Bok Engelsk 1976

Ledig 1/1

Vis mer

Discrete mathematics : proof techniques and mathematical structures

Penner, R. C.
Bok Engelsk c1999

Ledig 1/1

Vis mer

Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Elisabeth Bouscaren (ed.)
Inngår i serie: Lecture notes in mathematics (1696)
Bok Engelsk c1998

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

TYPES 2000
Inngår i serie: Lecture notes in computer science (2277)
Bok Engelsk c2002

Ledig 1/1

Vis mer

Proof theory : an introduction

Pohlers, Wolfram
Inngår i serie: Lecture notes in mathematics (1407)
Bok Språk ikke angitt 1989

Ledig 1/1

Vis mer

Proof

Francis, Dick
Bok Engelsk 1985

Ledig 1/1

Vis mer

Utilizing problem structure in planning : a local search approach

Hoffmann, Jörg
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2854)
Bok Engelsk c2003

Ledig 1/1

Vis mer

Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings

HIP 2005
Inngår i serie: Lecture notes in computer science (3517)
Bok Engelsk c2005

Ledig 1/1

Vis mer

The Nazi ancestral proof : genealogy, racial science, and the final solution

Ehrenreich, Eric
Bok Engelsk cop. 2007

Ledig 1/1

Vis mer

Proof of heaven : a neurosurgeon's journey into the afterlife

Alexander, Eben
Bok Engelsk 2012

Ikke ledig · ca 1 uke ventetid
· 1 eksemplar

Vis mer

Proof theory and intuitionistic systems

Scarpellini, Bruno
Inngår i serie: Lecture notes in mathematics (212)
Bok Språk ikke angitt 1971

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

TYPES '99
Inngår i serie: Lecture notes in computer science (1956)
Bok Engelsk c2000

Ledig 2/2

Vis mer

Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

TYPES '98
Inngår i serie: Lecture notes in computer science (1657)
Bok Engelsk c1999

Ledig 1/1

Vis mer

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

TYPES 2004
Inngår i serie: Lecture notes in computer science (3839)
Bok Engelsk c2006

Ledig 1/1

Vis mer

Proof and knowledge in mathematics

edited by Michael Detlefsen
Bok Engelsk 1992

Ledig 1/1

Vis mer

Canonical equational proofs

Bachmair, Leo
Inngår i serie: Progress in theoretical computer science
Bok Engelsk 1991

Ledig 1/1

Vis mer

Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre
Bok Engelsk 1976

Ledig 1/1

Vis mer

Abel's proof : an essay on the sources and meaning of mathematical unsolvability

Pesic, Peter
Bok Engelsk cop. 2003

Ledig 1/1

Vis mer

Proof

directed by: John Madden
DVD Engelsk c2006

Ledig 1/1

Vis mer

Gross ideas : tales of tomorrow's architecture

editors : Edwina Attlee with Phineas Harp...
Bok Engelsk september 2019

Ikke ledig · ca 2 - 4 uker ventetid
· 1 eksemplar

Vis mer

a-ha: Hunting high and low

Bendel, Larissa
Inngår i serie: Morgenbladet topp 100 (3)
Bok Engelsk 2012

Ledig 2/2

Vis mer

Absolute proof

James, Peter
Roman
Bok Engelsk 2018

Ledig 1/1

Vis mer

Abels bevis : å løse det uløselige

Pesic, Peter
Bok Bokmål cop. 2005

Ledig 2/2

Vis mer

Fellende bevis

Turow, Scott
Romaner
Bok Bokmål cop. 2007

Ledig 2/2

Vis mer

Favoured Nations, 29 Aug-18 Oct, Moss, Norway 2009

Favoured Nations (utstilling)
Bok Engelsk 2009

Ledig 2/2

Vis mer

Baby eller ikke

Giffin, Emily
Inngår i serie: Feelgood / Cappelen Damm
Romaner
Bok Bokmål 2015

Ledig 2/2

Vis mer

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Bok Bokmål 2014

Ledig 1/2

Vis mer

Himmelen finnes : en nevrokirurgs fascinerende reise inn i døden og tilbake

Alexander, Eben
Selvbiografier
Bok Bokmål 2013

Ledig 2/3

Vis mer

Baby eller ikke

Giffin, Emily
Inngår i serie: Bag of fun
Romaner
Bok Bokmål 2008

Ledig 2/2

Vis mer

Baby eller ikke

Giffin, Emily
Romaner
Bok Bokmål 2009

Ledig 2/2

Vis mer

Sterke beviser

Francis, Dick
Bok Bokmål 1986 · Les på nett

Ledig 2/2

Vis mer

Bilde mangler

100 Proof

Soul Theory
Språk ikke angitt 2014-11-17 · Forventes utgitt en.on.Comp

· Har ingen eksemplarer

Vis mer

Bilde mangler

Arctic lights

[editor-in-chief: Arne C. Nilssen ; edito...
Inngår i serie: Way north
Bok Engelsk 2006

Ledig 3/3

Vis mer

Bilde mangler

Author's guide for preparing manuscript and handling proof

Bok Engelsk 1950

Ledig 1/1

Vis mer

Bilde mangler

Det Bestes bøker

Hugh Maclennan, Alex Lazzarino og E. Kent...
Bok Bokmål [1986]

Ledig 1/1

Vis mer

Bilde mangler

Beyond g(l)aze

[curators: Heidi Bjørgan ... [et al.] ; p...
Utstillingskataloger
Bok Engelsk 2014

Ledig 1/1

Vis mer

Bilde mangler

Body of proof. The complete first season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig [2012]

Ikke ledig · ca 2 - 4 uker ventetid
· 1 eksemplar

Vis mer

Bilde mangler

Body of proof. The complete second season.

[created by Christopher Murphey]
Drama
DVD Engelsk [2012]

Ikke ledig · ca 2 - 4 uker ventetid
· 1 eksemplar

Vis mer

Bilde mangler

Body of proof. The complete third season.

[created by Christopher Murphey]
Drama
DVD Flerspråklig 2013

Ikke ledig · ca 2 - 4 uker ventetid
· 1 eksemplar

Vis mer

168 treff