Research Catalog

  • CWI newsletter / Centrum voor Wiskunde en Informatica.

    • Text
    • Amsterdam, Netherlands : CWI, 1983-1987.
    • 1983-1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSP 88-315 v. 1-16 ( Nov 1983-Sept 1987)Offsite
  • Calculation of special functions : the gamma function, the exponential integrals and error-like functions / C.G. van der Laan, N.M. Temme.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-711Offsite
  • Controlled Markov processes : time discretization / N.M. van Dijk.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-700Offsite
  • Euclidean rings with two infinite primes / F.J. van der Linden.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 85-1523Offsite
  • Inequalities for stopped Brownian motion / D.P. van der Vecht.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1670Offsite
  • On the design of ALEPH / D. Grune.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1718Offsite
  • Topological dynamix / J.C.S.P. van der Woude.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1719Offsite
  • Foundations and applications of Montague grammar / T.M.V. Janssen.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 2 Items
    FormatCall NumberItem Location
    Text JSk 86-98 v. 1Offsite
    FormatCall NumberItem Location
    Text JSk 86-98 v. 2Offsite
  • Homogeneous zero-dimensional absolute Borel sets / A.J.M. van Engelen.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1841Offsite
  • Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science (CWI) June 2-6, 1986, Amsterdam, the Netherlands / edited by O.J. Boxma, J.W. Cohen, H.C. Tijms.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 87-306Offsite
  • Stochastic games with finite state and action spaces / O.J. Vrieze.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 87-858Offsite
  • Infinitesimal symmetries : a computational approach / P.H.M. Kersten.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 87-856Offsite
  • Proceedings of the first International Conference on Industrial and Applied Mathematics (ICIAM 87) / edited by A.H.P. van der Burgh, R.M.M. Mattheij.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-2193Offsite
  • Essays on concepts, formalisms, and tools / edited by P.R.J. Asveld, A. Nijholt.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-2514Offsite
  • Design and analysis of algorithms for stochastic integer programming / L. Stougie.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-1932Offsite
  • Multigrid solution of the steady Euler equations / S.P. Spekreijse.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 89-1109Offsite
  • Intelligent CAD systems II : implementational issues / V. Akman, P.J.W. ten Hagen, P.J. Veerkamp (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-715Offsite
  • CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-964Offsite
  • Exercises in parallel combinatorial computing / G.A.P. Kindervater.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 92-664Offsite
  • Order dependence / B.F. Schriever.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 86-1671Offsite
  • Convergence properties of recurrence sequences / R.J. Kooman.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, c1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 93-234Offsite
  • Matrix and operator extensions / H.J. Woerdeman.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-279Offsite
  • Loop checking in logic programming / R.N. Bol.

    • Text
    • Amsterdam, the Netherlands : CWI, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-2193Offsite
  • Covariant formal group theory and some applications / I. Helsloot.

    • Text
    • Amsterdam, the Netherlands : CWI, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-2194Offsite
  • Distributed computing : structure and complexity / H.L. Bodlaender.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 11-364 Offsite
  • Vacillation and predictability properties of low-order atmospheric spectral models / H.E. de Swart.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 12-155Offsite
  • CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
  • Mathematics and computer science : proceedings of the CWI symposium, November 1983 / edited by J.W. de Bakker, M. Hazewinkel, J.K. Lenstra.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.95 .M39 1986Off-site
  • Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science (CWI) June 2-6, 1986, Amsterdam, the Netherlands / edited by O.J. Boxma, J.W. Cohen, H.C. Tijms.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text TK5101.A1 T474 1986Off-site
  • Surveys in game theory and related topics / edited by H.J.M. Peters, O.J. Vrieze.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, [1987], ©1987.
    • 1987-1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA269 .S87 1987gOff-site
  • Proceedings of the first international conference on industrial and applied mathematics (ICIAM 87) / edited by A.H.P. van der Burgh, R.M.M. Mattheij.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, [1987], ©1987.
    • 1987-1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .I25 1987gOff-site
  • System theoretic description of physical systems / A.J. van der Schaft.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, [1984], ©1984.
    • 1984-1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA402 .S36 1984gOff-site
  • The numerical solution of nonlinear stiff initial value problems : an analysis of one step methods / W.H. Hundsdorfer.

    • Text
    • Amsterdam, the Netherlands : Centrum Voor Wiskunde en Informatica, [1985], ©1985.
    • 1985-1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA378 .H86 1985gOff-site
  • Algorithms and approximations for queueing systems / M.H. van Hoorn.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, [1984], ©1984.
    • 1984-1984
    • 1 Item
    FormatCall NumberItem Location
    Text T57.9 .H66 1984gOff-site
  • CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .C5927 1990Off-site
  • A random model for plant cell population growth / M.C.M. de Gunst.

    • Text
    • [Amsterdam, the Netherlands] : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QK725 .G86 1989Off-site
  • A specification system for statistical software / V.J. de Jong.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA276.4 .J66 1989Off-site
  • Vacillation and predictability properties of low-order atmospheric spectral models / H.E. de Swart.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QC880.4.A8 S92 1989Off-site
  • Adaptive control & identification : conflict or conflux? / J.W. Polderman.

    • Text
    • Amsterdam, The Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text TJ217 .P64 1989Off-site
  • Twenty-five years of operations research in the Netherlands : papers dedicated to Gijs de Leve / edited by Jan Karel Lenstra, Henk Tijms, Ton Volgenant.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text T57.6 .T83 1989Off-site
  • Foundations and applications of Montague grammar / T.M.V. Janssen.

    • Text
    • Amsterdam : Centrum voor Wiskunde en Informatica, 1986.
    • 1986
    • 2 Items
    FormatCall NumberItem Location
    Text P158.5 .J36 v. 1Off-site
    FormatCall NumberItem Location
    Text P158.5 .J36 v. 2Off-site
  • Surveys in game theory and related topics / edited by H.J.M. Peters, O.J. Vrieze.

    • Text
    • Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA269 .S97Off-site
  • CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .C5927 1990Off-site
  • Proceedings of the Ninth Annual Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, The Netherlands / sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS with support from CWI ... [et al.].

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S77 1994Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta