Cover Image
Read Now

181
by Barwise, Jon
Published 1977
North-Holland Pub. Co.
“...The handbook is divided into four parts: model theory, set theory, recursion theory and proof...”
Cover Image
Read Now

182
by Wilansky, Albert
Published 1984
North-Holland
“... could be used as a source for such applications. Those parts of summability which only have ``hard...”
Cover Image
Read Now

183
by Vrabie, I. I.
Published 2003
Elsevier Science
“...The book contains a unitary and systematic presentation of both classical and very recent parts...”
Cover Image
Read Now

184
by Hurd, A. E.
Published 1985
Academic Press
“.... The first chapter and parts of the rest of the book can be used in an advanced undergraduate course...”
Cover Image
Read Now

185
by Bierstedt, Klaus-Dieter
Published 1984
North-Holland
“... and its applications. Parts of this volume can be used profitably in advanced seminars and courses...”
Cover Image
Read Now

186
by Deza, Elena
Published 2006
Elsevier
“... tutorials on some parts of this material. - Applicability: the distances, as well as distance-related...”
Cover Image
Read Now

187
by Ramm, A. G.
Published 2007
Elsevier
“... and partly for undergraduates (especially for RUE classes)...”
Cover Image
Read Now

188
by Cusick, Thomas W.
Published 2004
Elsevier
“... in research papers. Some parts of this book consist of new research results that are not available elsewhere...”
Cover Image
Read Now

189
by Sørensen, Morten Heine
Published 2006
Elsevier
“... systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type...”
Cover Image
Read Now

190
by Chavent, Guy
Published 1986
North-Holland
“... of the immiscible flow models, partly by using the novel `global pressure' approach in treating incompressible two...”
Cover Image
Read Now

191
by Vel, M. L. J. Van de
Published 1993
North-Holland
“... topology. Although addressed primarily to the researcher, parts of this monograph can be used as a basis...”
Cover Image
Read Now

192
by Bergstra, J. A.
Published 2007
Elsevier
“... of as the technological side of a system: the architecture, construction and optimization of the collaborating parts...”
Cover Image
Read Now

193
by Fujita, Hiroshi, Saito, Norikazu., Suzuki, Takashi.
Published 2001
Elsevier
“.... Many parts are devoted to the finite element method, of which history is described in Oden [306]. We...”