Foreslåede emner i din søgning.
Showing 1 - 7 results of 7 for search '', Forespørselstid: 0.09s Refine Results
1
Van der Waals molecules.
London : Faraday Division, Royal Society of Chemistry, 1982

Bog
3
Systems of nonlinear partial differential equations /
Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1983

Conference Proceeding Bog
4
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures /
Berlin ; New York : Springer, 2003

Conference Proceeding Bog
5
Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /
Berlin ; New York : Springer, 2005

Conference Proceeding Bog
6
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Berlin ; New York : Springer, 2005

Conference Proceeding Bog
7
Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers /
Berlin ; New York : Springer, 2001

Conference Proceeding Bog
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning