Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> S. Nieva
"S. Nieva" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 9 of 9 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Free variable tableaux for a many sorted logic with preorders
A. Gavilanes
;
J. Leach
;
S. Nieva
Algebraic Methodology and Software Technology: 5th International Conference, AMAST ' 96 Munich, Germany, July 1996. Proceedings
Martin Wirsing
;
Maurice Nivat
1996
Springer Berlin Heidelberg
Introduction
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Some Mathematical Optimization Techniques
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Distributed Reactor Modeling
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Optimal Control of Distributed Nuclear Reactors
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Control of Distributed Reactors in Load-Following
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Application of the Minimum Norm Formulation to Problems in Control of Distributed Reactors
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Conclusions
G. S. Christensen
;
S. A. Soliman
;
R. Nieva
Optimal Control of Distributed Nuclear Reactors
G.S. Christensen
;
S.A. Soliman
;
R. Nieva
1990
Springer US
Reasoning with preorders and dynamic sorts using free variable tableaux
A. Gavilanes
;
J. Leach
;
P. J. Martín
;
S. Nieva
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Jaques Calmet
;
John A. Campbell
;
Jochen Pfalzgraf
1996
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 9 of 9 entries
«
‹
1
›
»