69 results
Characteristics of turbulence in a face-centred cubic porous unit cell
-
- Journal:
- Journal of Fluid Mechanics / Volume 873 / 25 August 2019
- Published online by Cambridge University Press:
- 25 June 2019, pp. 608-645
-
- Article
- Export citation
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 3 / May 2017
- Published online by Cambridge University Press:
- 17 March 2017, pp. 353-358
-
- Article
- Export citation
Particle based modelling and simulation of natural sand dynamics in the wave bottom boundary layer
-
- Journal:
- Journal of Fluid Mechanics / Volume 796 / 10 June 2016
- Published online by Cambridge University Press:
- 04 May 2016, pp. 340-385
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Volume displacement effects during bubble entrainment in a travelling vortex ring
-
- Journal:
- Journal of Fluid Mechanics / Volume 721 / 25 April 2013
- Published online by Cambridge University Press:
- 13 March 2013, pp. 225-267
-
- Article
- Export citation
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 23 May 2012, pp. 417-419
-
- Article
- Export citation
Contents
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp v-vii
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp viii-viii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp i-iv
-
- Chapter
- Export citation
1 - A Primer on Strategic Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 1-37
-
- Chapter
- Export citation
Lectures in Game Theory for Computer Scientists
-
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011
Preface
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 291-295
-
- Chapter
- Export citation
High Yield Polymer MEMS Process for CMOS/MEMS Integration
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 1299 / 2011
- Published online by Cambridge University Press:
- 20 January 2011, mrsf10-1299-s04-12
- Print publication:
- 2011
-
- Article
- Export citation
SU8 / modified MWNT composite for piezoresistive sensor application
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 1299 / 2011
- Published online by Cambridge University Press:
- 20 January 2011, mrsf10-1299-s04-11
- Print publication:
- 2011
-
- Article
- Export citation
Frontmatter
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp i-iv
-
- Chapter
- Export citation
8 - Top-down search with passive constraints
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 133-154
-
- Chapter
- Export citation
6 - Constraint programming: a primer
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 89-109
-
- Chapter
- Export citation
10 - Constraint propagation in ECLipse
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 185-204
-
- Chapter
- Export citation
Contents
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp v-viii
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 305-319
-
- Chapter
- Export citation