Foundations of stochastic differential equations in infinite dimensional spaces, Arithmetic complexity of computations



Mathematical theory of computation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
A00000588662 / 1974-10-22
RE0000864216 / 2002-05-14
Title:
Mathematical theory of computation.
Copyright Claimant:
Zohar Manna (A)
Names:
Zohar Manna

Copyrights records by Manna, Zohar

Lectures on the logic of computer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000588628 / 1980-11-10
Date of Publication:
March 1, 1980
Date of Creation:
1980
Title:
Lectures on the logic of computer programming / Zohar Manna.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1980.
Description:
49 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 31.
Copyright Claimant:
Society for Industrial and Applied Mathematics
Names:
Zohar Manna
Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis

Copyrights records by Society for Industrial and Applied Mathematics

National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion

Copyrights records by National Science Foundation

Conference Board of the Mathematical Sciences

Copyrights records by Conference Board of the Mathematical Sciences

NSF.

Copyrights records by NSF.

CBMS.

Copyrights records by CBMS.

Arithmetic complexity of computations

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000588629 / 1980-11-10
Date of Publication:
March 1, 1980
Date of Creation:
1980
Title:
Arithmetic complexity of computations / Shmuel Winograd.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1980.
Description:
93 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 33.
Copyright Claimant:
Society for Industrial and Applied Mathematics
Names:
Shmuel Winograd
Society for Industrial and Applied Mathematics (173 documents)
example document: Ordinary differential equations in theory and practice
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences

Integer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000588630 / 1980-11-10
Date of Publication:
March 1, 1980
Date of Creation:
1980
Title:
Integer programming : facets, subadditivity, and duality for group and semi-group problems / Ellis L. Johnson.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1980.
Description:
68 p.
Number of similar titles:
7
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 32.
Copyright Claimant:
Society for Industrial and Applied Mathematics
Names:
Ellis L. Johnson
Society for Industrial and Applied Mathematics (173 documents)
example document: Numerical analysis: a second course
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences

Mathematics of genetic diversity

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000869948 / 1981-12-29
Date of Publication:
October 21, 1980
Date of Creation:
1980
Title:
Mathematics of genetic diversity / J. F. C. Kingman.
Copyright Note:
C.O. correspondence.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1980.
Description:
70 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 34
Copyright Claimant:
Society for Industrial and Applied Mathematics
Notes:
Based on lectures given at a regional conference held at Iowa State University in June 1979.
Names:
J. F. C. Kingman
Society for Industrial and Applied Mathematics (173 documents)
example document: Perspectives in flow control and optimization
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences
NSF.
CBMS.

Topics in finite elasticity

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000869949 / 1981-12-29
Date of Publication:
January 26, 1981
Date of Creation:
1981
Title:
Topics in finite elasticity / Morton E. Gurtin.
Copyright Note:
C.O. correspondence.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1981.
Description:
58 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 35
Copyright Claimant:
Society for Industrial and Applied Mathematics
Notes:
Based on a series of lectures delivered at the University of Tennessee in June 1979.
Names:
Morton E. Gurtin (1 documents)
example document: Configurational forces as basic concpets of continuum physics

Copyrights records by Gurtin, Morton E.

Society for Industrial and Applied Mathematics (173 documents)
example document: Recurrent events data analysis for product repairs, disease, recurrences, and other applications
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences

Approximation of population processes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000869950 / 1981-12-29
Date of Publication:
February 23, 1981
Date of Creation:
1981
Title:
Approximation of population processes / Thomas G. Kurtz.
Copyright Note:
C.O. correspondence.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1981.
Description:
75 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 36
Copyright Claimant:
Society for Industrial and Applied Mathematics
Notes:
Based on lectures given in June 1979 at a regional conference held at the University of Montana in Missoula.
Names:
Thomas G. Kurtz
Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences

Nonlinear renewal theory in sequential analysis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000969855 / 1982-07-16
Date of Publication:
June 1, 1982
Date of Creation:
1982
Title:
Nonlinear renewal theory in sequential analysis / Michael Woodroofe.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1982.
Description:
119 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 39.
Copyright Claimant:
Society for Industrial & Applied Mathematics
Names:
Michael Woodroofe
Society for Industrial & Applied Mathematics (27 documents)
example document: A Multigrid tutorial

Copyrights records by Society for Industrial & Applied Mathematics

National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences

The Jackknife, the bootstrap, and other resampling plans

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000969856 / 1982-07-16
Date of Publication:
May 17, 1982
Date of Creation:
1982
Title:
The Jackknife, the bootstrap, and other resampling plans / Bradley Efron.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1982.
Description:
92 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 38.
Copyright Claimant:
Society for Industrial & Applied Mathematics
Names:
Bradley Efron
Society for Industrial & Applied Mathematics (27 documents)
example document: The Society for Industrial and Applied Mathematics. Journal. Vol. 3, no. 1, Mar. 1955
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
NSF.
CBMS.

Branching in the presence of symmetry

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001148476 / 1983-06-07
Date of Publication:
March 31, 1983
Date of Creation:
1983
Title:
Branching in the presence of symmetry / D. H. Sattinger.
Previous Registration:
Place of first publication stated on appl.: Northern Ireland.
Series:
Sponsored by Conference Board of the Mathematical Sciences, supported by National Science Foundation
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : The Society, 1983.
Description:
73 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 40
Copyright Claimant:
S I A M
Names:
D. H. Sattinger
Society for Industrial and Applied Mathematics (173 documents)
example document: Numerical analysis: a second course
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences
SIAM.

Copyrights records by SIAM.

NSF.
CBMS.

Navier-Stokes equations and nonlinear functional analysis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001180933 / 1983-07-28
Date of Publication:
May 31, 1983
Date of Creation:
1983
Title:
Navier-Stokes equations and nonlinear functional analysis / Roger Temam.
Series:
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1983.
Description:
122 p.
Number of similar titles:
1
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 41
Copyright Claimant:
S I A M, Society for Industrial and Applied Mathematics
Notes:
Sponsored by Conference Board of the Mathematical Sciences & National Science Foundation.
Names:
Roger Temam

Copyrights records by Temam, Roger

Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences

Competition models in population biology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001324962 / 1984-01-19
Date of Publication:
December 13, 1983
Date of Creation:
1983
Title:
Competition models in population biology / Paul Waltman.
Copyright Note:
(C.O. correspondence.)
Series:
Sponsored by Conference Board of the Mathematical Sciences, supported by National Science Foundation
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1983.
Description:
77 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 45.
Copyright Claimant:
S I A M
Names:
Paul Waltman
Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
SIAM.
NSF.
CBMS.

Lectures on mathematical combustion

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001359071 / 1983-11-14
Date of Publication:
October 21, 1983
Date of Creation:
1983
Title:
Lectures on mathematical combustion / J. D. Buckmaster and G. S. S. Ludford.
Copyright Note:
C.O. correspondence.
Series:
Sponsored by Conference Board of the Mathematical Sciences, supported by National Science Foundation
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1983.
Description:
126 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 43.
Copyright Claimant:
S I A M
Performer:
Papers presented at the C B M S-N S F regional conference held at Colorado State University, Fort Collins in June 1982.
Names:
G. S. S. Ludford
J. D. Buckmaster
Society for Industrial and Applied Mathematics (173 documents)
example document: Adaptive methods for partial differential equations
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
SIAM.
NSF.
CBMS.

Data structures and network algorithms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001359072 / 1983-11-14
Date of Publication:
October 19, 1983
Date of Creation:
1983
Title:
Data structures and network algorithms / Robert Endre Tarjan.
Copyright Note:
C.O. correspondence.
Series:
Sponsored by Conference Board of the Mathematical Sciences, supported by National Science Foundation
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1983.
Description:
131 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 44
Copyright Claimant:
S I A M
Performer:
Papers presented at the C B M S regional conference held at Worcester Polytechnic Institute, Mass. in June 1981.
Names:
Robert Endre Tarjan
Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
SIAM.
NSF.
CBMS.

Foundations of stochastic differential equations in infinite dimensional spaces

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001484208 / 1984-11-20
Date of Publication:
October 10, 1984
Date of Creation:
1984
Title:
Foundations of stochastic differential equations in infinite dimensional spaces / Kiyosi Ito.
Application Title:
Foundations 47 of stochastic differential equations in infinite dimensional spaces.
Copyright Note:
C.O. correspondence.
Series:
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : The Society, 1984.
Description:
70 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 47
Copyright Claimant:
S I A M, Society for Industrial & Applied Mathematics
Notes:
Sponsored by Conference Board of the Mathematical Sciences & National Science Foundation.
Names:
Kiyosi Ito

Copyrights records by Ito, Kiyosi

Society for Industrial & Applied Mathematics (27 documents)
example document: The Society for Industrial and Applied Mathematics. Journal. Vol. 3, no. 1, Mar. 1955
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
SIAM.
NSF.
CBMS.

The Logical basis for computer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001575672 / 1985-05-28
Date of Publication:
April 18, 1985
Date of Creation:
1984
Title:
The Logical basis for computer programming : v. I, deductive reasoning / Zohar Manna, Richard Waldinger.
Imprint:
Reading, Mass. : Addison-Wesley Pub. Co., c1985.
Description:
618 p.
Number of similar titles:
1
Variant title:
The Logical basis for computer programming : v. I, deductive reasoning
Copyright Claimant:
Addison-Wesley Publishing Company, Inc.
Names:
Richard Waldinger

Copyrights records by Waldinger, Richard

Zohar Manna
Addison-Wesley Publishing Company, Inc. (3661 documents)
example document: Management: a contingency approaches

Copyrights records by Addison-Wesley Publishing Company, Inc.

Multivariate approximation theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001900081 / 1986-08-18
Date of Publication:
July 9, 1986
Date of Creation:
1986
Title:
Multivariate approximation theory : selected topics / E. Ward Cheney.
Series:
Sponsored by Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : SIAM, 1986.
Description:
68 p.
Other Title:
C B M S-NSF regional conference series in applied mathematics ; 51.
Copyright Claimant:
Society for Industrial & Applied Mathematics
Names:
E. Ward Cheney
Society for Industrial & Applied Mathematics (27 documents)
example document: The Society for Industrial and Applied Mathematics. Journal. Vol. 3, no. 1, Mar. 1955
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Conference Board of the Mathematical Sciences
NSF.
CBMS.

A National computing initiative

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002249439 / 1987-12-21
Date of Publication:
October 21, 1987
Date of Creation:
1987
Title:
A National computing initiative : the agenda for leadership : report of the Panel on Research Issues in Large-Scale Computational Science and Engineering / Harold J. Raveche, Duncan H. Lawrie, Alvin M. Despain.
Imprint:
Philadelphia : Distributed by the Society for Industrial and Applied Mathematics, 1987.
Description:
77 p.
Variant title:
A National computing initiative : the agenda for leadership
Copyright Claimant:
Society for Induatrial [sic] and Applied Math[e]matics
Notes:
S I A M workshop held at Leesburg, Va., Feb. 2-3, 1987, sponsored by the National Science Foundation and the U. S. Department of Energy.
Names:
Alvin M. Despain
Duncan H. Lawrie
Harold J. Raveche
Society for Industrial and Applied Mathematics. Panel on Research Issues in Large-Scale Computational Science ...
United States. Department of Energy (50 documents)
example document: Sweet sunshine, friend of mine

Copyrights records by United States. Department of Energy

Society for Industrial and Applied Mathematics (173 documents)
example document: Optimization and nonsmooth analysis
National Science Foundation (83 documents)
example document: Utilization of ocean waves--wave to energy conversion
Panel on Research Issues in Large-Scale Computation Science and Engineering.
U.S. Department of Energy.

Copyrights records by U.S. Department of Energy.

Methods of dynamic and nonsmooth optimization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002696789 / 1989-11-27
Date of Publication:
October 27, 1989
Date of Creation:
1989
Title:
Methods of dynamic and nonsmooth optimization / Frank H. Clarke.
Series:
CBMS-NSF regional conference series in applied mathematics ;
Imprint:
Philadelphia : Society for Industrial and Applied Mathematics, 1989.
Description:
90 p.
Other Title:
CBMS-NSF regional conference series in applied mathematics ; 57
Copyright Claimant:
Society for Industrial and Applied Mathematics
Notes:
Sponsored by Conference Board of the Mathematical Sciences & National Science Foundation.
Names:
Frank H. Clarke (3 documents)
example document: Optimization and nonsmooth analysis

Copyrights records by Clarke, Frank H.

Society for Industrial and Applied Mathematics (173 documents)
example document: Numerical analysis: a second course
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences

The Logical basis for computer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002725268 / 1990-01-04
Date of Publication:
December 27, 1989
Date of Creation:
1989
Title:
The Logical basis for computer programming : vol. II, Deductive systems / Zohar Manna, Richard Waldinger.
Imprint:
Reading, Mass. : Addison-Wesley Pub. Co., c1990.
Description:
642 p.
Number of similar titles:
1
Variant title:
The Logical basis for computer programming : vol. II
Other Title:
Deductive systems
Copyright Claimant:
Addison-Wesley Publishing Company, Inc.
Names:
Richard Waldinger
Zohar Manna
Addison-Wesley Publishing Company, Inc. (3661 documents)
example document: Introduction to linear algebra

Spline models for observational data

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002897260 / 1990-09-05
Date of Publication:
March 23, 1990
Date of Creation:
1990
Title:
Spline models for observational data / Grace Wahba.
Series:
Under the direction of the Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Description:
1 v.
Other Title:
CBMS-NSF regional conference series in applied mathematics ; 59.
Copyright Claimant:
Society for Industrial and Applied Mathematics
Notes:
Based on a series of 10 lectures at Ohio State University at Columbus, Mar. 23-27, 1987.
Names:
Grace Wahba 1934-
Society for Industrial and Applied Mathematics (173 documents)
example document: Adaptive methods for partial differential equations
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
NSF.
CBMS.

Scientific computation on mathematical problems and conjectures

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002897261 / 1990-09-05
Date of Publication:
August 22, 1990
Date of Creation:
1990
Title:
Scientific computation on mathematical problems and conjectures / Richard S. Varga.
Series:
Under the direction of the Conference Board of the Mathematical Sciences ;
CBMS-NSF regional conference series in applied mathematics ;
Description:
1 v.
Other Title:
CBMS-NSF regional conference series in applied mathematics ; 59.
Copyright Claimant:
Society for Industrial and Applied Mathematics
Names:
Richard S. Varga

Copyrights records by Varga, Richard S.

Society for Industrial and Applied Mathematics (173 documents)
example document: Fuzzy logic and probability applications
National Science Foundation (83 documents)
example document: Personnel management and productivity in city government
Conference Board of the Mathematical Sciences
NSF.
CBMS.

The Temporal logic of reactive and concurrent systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003232033 / 1991-12-27
Date of Publication:
December 18, 1991
Date of Creation:
1991
Title:
The Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli ; with 96 ill.
Description:
1 v.
Copyright Claimant:
Springer-Verlag New York, Inc.
Names:
Amir Pnueli
Zohar Manna
Springer-Verlag New York, Inc. (1530 documents)
example document: Complex analysis

Copyrights records by Springer-Verlag New York, Inc.

The deductive foundations of computer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003541306 / 1993-04-23
Date of Publication:
January 27, 1993
Date of Creation:
1992
Title:
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger.
Basis of Claim:
New Matter: additions & revisions.
Description:
717 p.
Copyright Claimant:
Addison-Wesley Publishing Company, Inc.
Names:
Richard Waldinger
Zohar Manna
Addison-Wesley Publishing Company, Inc. (3661 documents)
example document: The Destructive achiever

Temporal verification of reactive systems safety

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004110887 / 1995-08-24
Date of Publication:
August 4, 1995
Date of Creation:
1995
Title:
Temporal verification of reactive systems safety / Zohar Manna, Amir Pneuli ; with 181 ill.
Imprint:
New York : Springer, c1995.
Description:
512 p.
Number of similar titles:
1
Copyright Claimant:
Springer-Verlag New York, Inc.
Names:
Amir Pneuli
Zohar Manna
Springer-Verlag New York, Inc. (1530 documents)
example document: Structures and energies of polycyclic hydrocarbons
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.