Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Risultati Ricerca

Risultati di Ricerca

Risultati: 1-120 di 771494

Modifica la ricerca

Filtri attivi:

Simili a: Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963
Categoria: Testo
Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Testo
Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Logic colloquium [10. ; 1965 ; Leicester]

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973
Testo
Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973

Logic colloquium [1973 ; Bristol]

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Testo
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium [1976 ; Oxford]

Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974
Testo
ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974

International summer institute and logic colloquium <1974

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Testo
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Logic Colloquium <1966

Holomorphic dynamics : proceedings of the Second international colloquium on dynamical systems, held in Mexico, July 1986
Testo
Holomorphic dynamics : proceedings of the Second international colloquium on dynamical systems, held in Mexico, July 1986

International colloquium on dynamical systems <2. ; 1986

Stochastic differential systems : proceedings of the 2. °...!, University of Bonn, June 28-July 2, 1982
Testo
Stochastic differential systems : proceedings of the 2. °...!, University of Bonn, June 28-July 2, 1982
Kinetic logic a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course Formal analysis of genetic regulation, held in Brussels, September 6-16, 1977
Testo
Kinetic logic a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course Formal analysis of genetic regulation, held in Brussels, September 6-16, 1977
Optimization and discrete choice in urban systems : proceedings of the international symposium ... , Canada, july 1983
Testo
Optimization and discrete choice in urban systems : proceedings of the international symposium ... , Canada, july 1983
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Testo
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

Summer Research Insitute of the Australian Mathematical Society <14. ; 1974

Estimation and control of distributed parameter systems : proceedings of an International conference on Control and estimation of distributed parameter systems, Vorau, July 8-14, 1990
Testo
Estimation and control of distributed parameter systems : proceedings of an International conference on Control and estimation of distributed parameter systems, Vorau, July 8-14, 1990

International conference on Control and estimation of distributed parameter systems < 1990

Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Banach spaces of analytic functions : proceedings of the Pelczynski conference held at Kent State university, July 12-16, 1976
Testo
Banach spaces of analytic functions : proceedings of the Pelczynski conference held at Kent State university, July 12-16, 1976
Proceedings of the symposium on Differential equations and dynamical systems : University of Warwick, September 1968-August 1969, Summer school, July 15-25, 1969
Testo
Proceedings of the symposium on Differential equations and dynamical systems : University of Warwick, September 1968-August 1969, Summer school, July 15-25, 1969

Symposium on Differential equations and dynamical systems <1968/1969

Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Testo
Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Testo
Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Protides of the biological fluids : proceedings of the eighth colloquium
Testo
Protides of the biological fluids : proceedings of the eighth colloquium

Colloquium on protides of the biological fluids <8. ; 1960

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Testo
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

Goodstein, Reuben Louis

Systems of formal logic
Testo
Systems of formal logic

Hackstaff, L. H.

Vol. 2: Proceedings of the eighth Midwestern mechanics conference : held at Case institute of technology, April 1-3, 1963
Testo
Vol. 2: Proceedings of the eighth Midwestern mechanics conference : held at Case institute of technology, April 1-3, 1963

Midwestern mechanics conference <8. ; 1963

Combinatorial mathematics and its applications : proceedings of a conference held at the Mathematical institute, Oxford, from 7-10 July, 1969
Testo
Combinatorial mathematics and its applications : proceedings of a conference held at the Mathematical institute, Oxford, from 7-10 July, 1969
The foundations of intuitionistic mathematics especially in relation to recursive functions
Testo
The foundations of intuitionistic mathematics especially in relation to recursive functions

Kleene, Stephen Cole

Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science
Testo
Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science

International congress for logic, methodology and philosophy of science <3. ; 1967

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Testo
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Modular functions of one variable 5. : proceedings international conference, University of Bonn, Sonderforschungsbereich theoretische Mathematik, July 2-14, 1976
Testo
Modular functions of one variable 5. : proceedings international conference, University of Bonn, Sonderforschungsbereich theoretische Mathematik, July 2-14, 1976
Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972

International Summer School on Modular functions of one variable and ar ithmetical applications <1972

Modular functions of one variable 6. : proceedings international conference, University of Bonn, Sonderforschungsbereich theoretische Mathematik, July 2-14, 1976
Testo
Modular functions of one variable 6. : proceedings international conference, University of Bonn, Sonderforschungsbereich theoretische Mathematik, July 2-14, 1976
Algorithms for approximation : based on the proceedings of the IMA conference on algorithms for the approximation of functions and data held at the Royal military college of science, Shrivenham, July 1985
Testo
Algorithms for approximation : based on the proceedings of the IMA conference on algorithms for the approximation of functions and data held at the Royal military college of science, Shrivenham, July 1985
Computer programming and formal systems
Testo
Computer programming and formal systems
The concept and the role of the model in mathematics and natural and social sciences : proceedings of the Colloquium sponsored by the Division of philosophy of sciences of the International union of history and philosophy of sciences
Testo
The concept and the role of the model in mathematics and natural and social sciences : proceedings of the Colloquium sponsored by the Division of philosophy of sciences of the International union of history and philosophy of sciences
Distributed parameter systems : proceedings of the 3rd International Conference Vorau, Styria, july 6-12, 1986
Testo
Distributed parameter systems : proceedings of the 3rd International Conference Vorau, Styria, july 6-12, 1986

Kappel, Franz

Numerical Analysis : proceedings of the colloquium on numerical analysis
Testo
Numerical Analysis : proceedings of the colloquium on numerical analysis

Colloquium on numerical analysis <1976

Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971
Testo
Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971

International congress for logic methodology and phylosophy of science [4. ; 1971 ; Bucarest]

Hanging roofs : proceedings of the IASS colloquium on hanging roofs, continuous metallic shell roofs and superficial lattice roofs
Testo
Hanging roofs : proceedings of the IASS colloquium on hanging roofs, continuous metallic shell roofs and superficial lattice roofs

IASS colloquium on hanging roofs continuous metallic shell roofs and superficial lattice roofs <1962

Spectral theory and differential equations : proceedings of the symposium held at Dundee, Scotland, 1-19 July 1974
Testo
Spectral theory and differential equations : proceedings of the symposium held at Dundee, Scotland, 1-19 July 1974
In memory of Norwood Russell Hanson : proceedings of the Boston Colloquium for the philosophy of science, 1964/1966
Testo
In memory of Norwood Russell Hanson : proceedings of the Boston Colloquium for the philosophy of science, 1964/1966
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979
Testo
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979

Conference on Applications of Logic to Algebra and Arithmetic <1979

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic
Testo
Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic

Beth, Evert Willem

Harmonic analysis Iraklion 1978 : proceedings of a conference held at the university of Crete, Iraklion, Greece, July 1978
Testo
Harmonic analysis Iraklion 1978 : proceedings of a conference held at the university of Crete, Iraklion, Greece, July 1978
Proceedings of the eighth international congress of linguists
Testo
Proceedings of the eighth international congress of linguists

International congress of linguists <8. ; 1957

Continuum models of discrete systems 4. : proceedings of the fourth International Conference on Continuum Models of Discrete Systems, Stockholm, Sweden, June 29-July 3, 1981
Testo
Continuum models of discrete systems 4. : proceedings of the fourth International Conference on Continuum Models of Discrete Systems, Stockholm, Sweden, June 29-July 3, 1981

International conference on continuum models of discrete systems <4. ; 1981

Real time control of large scale systems : proceedings of the 1. european workshop, University of Patras, Greece, July 9-12, 1984
Testo
Real time control of large scale systems : proceedings of the 1. european workshop, University of Patras, Greece, July 9-12, 1984
High-power lasers and applications : proceedings of the 4. Colloquium on electronic transition lasers in Munich, June 20-22, 1977
Testo
High-power lasers and applications : proceedings of the 4. Colloquium on electronic transition lasers in Munich, June 20-22, 1977

Colloquium on electronic transition lasers <4. ; 1977

Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987
Testo
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987

Logic meeting <1987

Probability theory and mathematical statistics : proceedings of the fifth Japan-USSR symposium, held in Kyoto, Japan, July 8-14, 1986
Testo
Probability theory and mathematical statistics : proceedings of the fifth Japan-USSR symposium, held in Kyoto, Japan, July 8-14, 1986
Stability of stochastic dynamical systems : proceedings of the international symposium organized by the Control Theory Centre, University of Warwick, July 10-14, 1972
Testo
Stability of stochastic dynamical systems : proceedings of the international symposium organized by the Control Theory Centre, University of Warwick, July 10-14, 1972

International Symposium on Stability of Stochastic Dynamical Systems

Spline functions and approximation theory : proceedings of the symposium held at the University of Alberta, Edmonton, May 29 to June 1, 1972
Testo
Spline functions and approximation theory : proceedings of the symposium held at the University of Alberta, Edmonton, May 29 to June 1, 1972
Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of the NATO and of the Discrete optimization symposium ...
Testo
Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of the NATO and of the Discrete optimization symposium ...

Advanced research insitute on discrete optimization and systems applications <1979

Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Clays and clay minerals : proceedings of the eighth National Conference on clays and clay minerals
Testo
Clays and clay minerals : proceedings of the eighth National Conference on clays and clay minerals

National Conference on Clays and Clay Minerals <8. ; 1959

Geometries and groups : proceedings of a colloquium held at the Freie Universitat Berlin, May 1981
Testo
Geometries and groups : proceedings of a colloquium held at the Freie Universitat Berlin, May 1981
Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of NATO and of the Discrete optimization symposium .... 2.
Testo
Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of NATO and of the Discrete optimization symposium .... 2.
Approximation theory : proceedings of an International colloquium held at Bonn, Germany, June 8-11, 1976
Testo
Approximation theory : proceedings of an International colloquium held at Bonn, Germany, June 8-11, 1976
Deontic logic and artificial normative systems : 8. international workshop on deontic logic in computer science, DEON 2006, Utrecht, Te Netherlands, july 12-14, 2006
Testo
Deontic logic and artificial normative systems : 8. international workshop on deontic logic in computer science, DEON 2006, Utrecht, Te Netherlands, july 12-14, 2006
Analysis and Optimization of systems : proceedings of the sixth International conference on analysis and optimization of systems, Nice, June, 19-22, 1984
Testo
Analysis and Optimization of systems : proceedings of the sixth International conference on analysis and optimization of systems, Nice, June, 19-22, 1984

International conference on Analysis and optimization of systems <6 ; 1984

Proceedings of the Second West African micropaleontological colloquium : Ibadan June 18th-July 1st.
Testo
Proceedings of the Second West African micropaleontological colloquium : Ibadan June 18th-July 1st.

West African Micropaleontological Colloquium <2. ; 1965

Analysis and optimization of systems : proceedings of the 4. International conference on analysis and optimization of systems, Versailles, December 16-19, 1980
Testo
Analysis and optimization of systems : proceedings of the 4. International conference on analysis and optimization of systems, Versailles, December 16-19, 1980

International conference on analysis and optimization of systems <4. ; 1980

Proceedings of the eighth International congress of linguists
Testo
Proceedings of the eighth International congress of linguists

International congress of linguists <8. ; 1957

Ordinary and partial differential equations : proceedings of the eighth conference held at Dundee, Scotland, June 25-29, 1984
Testo
Ordinary and partial differential equations : proceedings of the eighth conference held at Dundee, Scotland, June 25-29, 1984
Analysis and optimization of systems : proceedings of the seventh international conference on analysis and optimization of systems, Antibes, June 25-27, 1986
Testo
Analysis and optimization of systems : proceedings of the seventh international conference on analysis and optimization of systems, Antibes, June 25-27, 1986
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday
Testo
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

International summer institute and logic colloquium <1974

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis
Testo
Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis

Research symposium on applications of sheaf theory to logic algebra and analysis <1977

Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of NATO and of the Discrete optimization symposium .... 1.
Testo
Discrete optimization : proceedings of the Advanced research institute on discrete optimization and systems applications of the Systems science panel of NATO and of the Discrete optimization symposium .... 1.
Flocculation in biotechnology and separation systems : proceedings of the International symposium on flocculation in biotechnology and separation systems, San Francisco, California, USA, July 28-August 1, 1986
Testo
Flocculation in biotechnology and separation systems : proceedings of the International symposium on flocculation in biotechnology and separation systems, San Francisco, California, USA, July 28-August 1, 1986

International symposium on flocculation in biotechnology and separation systems <1986

A course in modern analysis : an introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions
Testo
A course in modern analysis : an introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions

Whittaker, Edmund Taylor <1873-1956>

Global differential geometry and global analysis : proceedings of the colloquium held at the Technical university of Berlin, November 21-24, 1979
Testo
Global differential geometry and global analysis : proceedings of the colloquium held at the Technical university of Berlin, November 21-24, 1979
Combinatorial mathematics 8. : proceedings of the eighth Australian conference on combinatorial mathematics, held at Deakin university, Geelong, Australia, August 25-29, 1980
Testo
Combinatorial mathematics 8. : proceedings of the eighth Australian conference on combinatorial mathematics, held at Deakin university, Geelong, Australia, August 25-29, 1980

Australian conference on combinatorial mathematics <8. ; 1980

Proceedings of the Cambridge Colloquium on Mycenaean studies
Testo
Proceedings of the Cambridge Colloquium on Mycenaean studies

Cambridge Colloquium on Mycenaean studies <4. ; 1965>

Eighth symposium on biotechnology for fuels and chemicals : proceedings of the Eighth symposium on biotechnology for fuels and chemicals held in Gatlinburg, Tennessee, May 13-16, 1986
Testo
Eighth symposium on biotechnology for fuels and chemicals : proceedings of the Eighth symposium on biotechnology for fuels and chemicals held in Gatlinburg, Tennessee, May 13-16, 1986

Symposium on biotechnology for fuels and chemicals <8. ; 1986

Enumerability, decidability, computability : an introduction to the theory of recursive functions
Testo
Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans

Filtering and control of random processes : proceedings of the E.N.S.T.-C.N.E.T. colloquium, Paris, France, February 23-24, 1983
Testo
Filtering and control of random processes : proceedings of the E.N.S.T.-C.N.E.T. colloquium, Paris, France, February 23-24, 1983
Feedback control of linear and nonlinear systems : proceedings of the joint °...!, Bielefeld
Testo
Feedback control of linear and nonlinear systems : proceedings of the joint °...!, Bielefeld
Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematical Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975
Testo
Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematical Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975
Recursive function theory and logic
Testo
Recursive function theory and logic

Yasuhara, Ann

Theory and applications of spline functions : proceedings of an advanced seminar conducted by the Mathematics research center, United States Army, at the University of Wisconsin, Madison, October 7-9, 1968
Testo
Theory and applications of spline functions : proceedings of an advanced seminar conducted by the Mathematics research center, United States Army, at the University of Wisconsin, Madison, October 7-9, 1968
Stochastic processes and their applications : proceedings of the international conference held in Nagoya, July 2-6, 1985
Testo
Stochastic processes and their applications : proceedings of the international conference held in Nagoya, July 2-6, 1985

Conference on stochastic processes and their applications <15. ; 1985

Proceedings of the third international conference on numerical methods in fluid mechanics : July 3-7, 1972, Universities of Paris VI and XI
Testo
Proceedings of the third international conference on numerical methods in fluid mechanics : July 3-7, 1972, Universities of Paris VI and XI

International Conference on Numerical Methods in Fluid Mechanics <3. ; 1972

Complex analysis, Joensuu 1978 : proceedings of the Colloquium on complex analisys, Joensuu, Finland, August 24-27, 1978
Testo
Complex analysis, Joensuu 1978 : proceedings of the Colloquium on complex analisys, Joensuu, Finland, August 24-27, 1978

Colloquium on complex analysis <1978

Algebraical and topological foundations of geometry : proceedings of a colloquium held in Utrecht, August 1959
Testo
Algebraical and topological foundations of geometry : proceedings of a colloquium held in Utrecht, August 1959
Calculus of variations and its applications : [proceedings of the eighth symposium in applied mathematics of the American mathematical society, held at the university of Chicago, April 12-13, 1956]
Testo
Calculus of variations and its applications : [proceedings of the eighth symposium in applied mathematics of the American mathematical society, held at the university of Chicago, April 12-13, 1956]
Adaptive systems in control and signal processing 1986 : proceedings of the 2. IFAC workshop Lund, Sweden 1-3 july 1986
Testo
Adaptive systems in control and signal processing 1986 : proceedings of the 2. IFAC workshop Lund, Sweden 1-3 july 1986

ström, Karl Johan <1934- >

The structure of attractors in dynamical systems : proceedings, North Dakota State university, June 20-24, 1977
Testo
The structure of attractors in dynamical systems : proceedings, North Dakota State university, June 20-24, 1977
Simplified calculation methods of shell structures : proceedings of the Colloquium on simplified calculation methods
Testo
Simplified calculation methods of shell structures : proceedings of the Colloquium on simplified calculation methods

Colloquium on simplified calculation methods <1961

Modular functions of one variable 3. : proceedings international summer school University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable 3. : proceedings international summer school University of Antwerp, RUCA, July 17-August 3, 1972
Issues in the philosophy of language : proceedings of the 1972 Oberlin colloquium in philosophy
Testo
Issues in the philosophy of language : proceedings of the 1972 Oberlin colloquium in philosophy

Oberlin colloquium in philosophy <1972>

Anatolian Iron ages : the proceedings of the second Anatolian Iron ages colloquium held at Izmir, 4-8 may 1987
Testo
Anatolian Iron ages : the proceedings of the second Anatolian Iron ages colloquium held at Izmir, 4-8 may 1987

Anatolian Iron ages Colloquium <2 ; 1987

Abstract spaces and approximation : proceedings of the conference, held at the Mathematical research institute at Oberwolfach, Black Forest, July 18-27, 1968
Testo
Abstract spaces and approximation : proceedings of the conference, held at the Mathematical research institute at Oberwolfach, Black Forest, July 18-27, 1968
Systems and optimization : proceedings of the Twente workshop, Enschede, The Nederlands, April 16-18, 1984
Testo
Systems and optimization : proceedings of the Twente workshop, Enschede, The Nederlands, April 16-18, 1984
Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975
Testo
Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975

International congress of logic, methodology, and philosophy of science <5. ; 1975

The theory of arithmetic functions : proceedings of the conference at Western Michigan University, April 29 - May 1, 1971
Testo
The theory of arithmetic functions : proceedings of the conference at Western Michigan University, April 29 - May 1, 1971
Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968
Testo
Category theory, homology theory and their applications : proceedings of the conference held at the Seattle research center of the Battelle memorial institute, June 24-July 19, 1968
2: The problem of inductive logic
Testo
2: The problem of inductive logic

International colloquium in the philosophy of science <1965

System modelling and optimization : proceedings of the 11. IFIP conference, Copenhagen, Denmark, July 25-29, 1983
Testo
System modelling and optimization : proceedings of the 11. IFIP conference, Copenhagen, Denmark, July 25-29, 1983

International federation for information processing

Prospects in complex geometry : proceedings of the 25. Taniguchi international symposium held in Katata, and the conference held in Kyoto, July 31-August 9, 1989
Testo
Prospects in complex geometry : proceedings of the 25. Taniguchi international symposium held in Katata, and the conference held in Kyoto, July 31-August 9, 1989

Taniguchi international symposium <25. ; 1989

Nonlinear filtering and stochastic control : proceedings of the 3. 1981 session of the Centro internazionale matematico estivo (C.I.M.E.), held at Cortona, July 1-10, 1981
Testo
Nonlinear filtering and stochastic control : proceedings of the 3. 1981 session of the Centro internazionale matematico estivo (C.I.M.E.), held at Cortona, July 1-10, 1981

Centro internazionale matematico estivo

Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80
Testo
Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80

Symposium on Dynamical systems and turbulence <1980

Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975
Testo
Categorical topology : proceedings of the conference held at Mannheim, 21-25 July, 1975
The emergence of number
Testo
The emergence of number

Crossley, John N.

Failure and breakage of rock : proceedings of the eighth Symposium on Rock mechanics, held at the University of Minnesota, September 15-17th, 1966
Testo
Failure and breakage of rock : proceedings of the eighth Symposium on Rock mechanics, held at the University of Minnesota, September 15-17th, 1966

Symposium on Rock Mechanics <8. ; 1966>

Proceedings of the Boston colloquium for the philosophy of science : 1961/1962
Testo
Proceedings of the Boston colloquium for the philosophy of science : 1961/1962

Boston colloquium for the philosophy of science <1961-1962

Probability in Banach spaces 4. : proceedings of the Seminar held in Oberwolfach, Germany, July 1982
Testo
Probability in Banach spaces 4. : proceedings of the Seminar held in Oberwolfach, Germany, July 1982
Cospar Space Research 8. : Proceedings of Open Meetings of working groups of the tenth plenary Meeting of Cospar, London, 25-28 July, 1967
Testo
Cospar Space Research 8. : Proceedings of Open Meetings of working groups of the tenth plenary Meeting of Cospar, London, 25-28 July, 1967

COSPAR

Proceedings of the colloquium on Abelian groups : Tihany (Ungary), September 1963
Testo
Proceedings of the colloquium on Abelian groups : Tihany (Ungary), September 1963

Colloquium on Abelian groups <1963

Non-classical continuum mechanics : proceedings of the London Mathematical Society Sumposium, Durham, July 1986
Testo
Non-classical continuum mechanics : proceedings of the London Mathematical Society Sumposium, Durham, July 1986

London mathematical society

The cultural context of medieval learning : proceedings of the First international colloquium on philosophy, science, and theology in the Middle Ages
Testo
The cultural context of medieval learning : proceedings of the First international colloquium on philosophy, science, and theology in the Middle Ages

International colloquium on philosophy, science, and theology in the Middle Ages <1. ; 1973

Mathematical logic and the foundations of mathematics : an introductory survey
Testo
Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, G.T.

Mathematical theory of networks and systems : proceedings of the MTNS-83 International Symposium Beer Sheva, Israel, June 20-24, 1983
Testo
Mathematical theory of networks and systems : proceedings of the MTNS-83 International Symposium Beer Sheva, Israel, June 20-24, 1983
Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986
Testo
Third international conference on logic programming : Imperial college of science and technology, London, United Kingdom, July 14-18, 1986

International conference on logic programming <3. ; 1986

Graph theory Singapore 1983 : proceedings of the First Southeast Asian graph theory colloquium, held in Singapore May 10-28, 1983
Testo
Graph theory Singapore 1983 : proceedings of the First Southeast Asian graph theory colloquium, held in Singapore May 10-28, 1983

Southeast Asian graph theory colloquium <1 ; 1983

Proceedings of the 5. world congress on the theory of machines and mechanisms : July 8-13, 1979, Montreal, Canada
Testo
Proceedings of the 5. world congress on the theory of machines and mechanisms : July 8-13, 1979, Montreal, Canada

World congress on the theory of machines and mechanisms <5. ; 1979

Martingale theory in harmonic analysis and Banach spaces : proceedings of the NSF-CBMS conference, held at the Cleveland State University, Cleveland, Ohio, July 13-17, 1981
Testo
Martingale theory in harmonic analysis and Banach spaces : proceedings of the NSF-CBMS conference, held at the Cleveland State University, Cleveland, Ohio, July 13-17, 1981

National science foundation

England and the continent in the eighth century : the Ford lectures delivered in the university of Oxford in the Hilary Term, 1943
Testo
England and the continent in the eighth century : the Ford lectures delivered in the university of Oxford in the Hilary Term, 1943

Levison, Wilhelm

Differential topology and geometry : proceedings of the colloquium held at Dijon, 17-22 June 1974
Testo
Differential topology and geometry : proceedings of the colloquium held at Dijon, 17-22 June 1974
Algebraic K-theory, number theory, geometry and analysis : proceedings of the International conference held at Bielefeld, Federal Republic of Germany, July 26-30, 1982
Testo
Algebraic K-theory, number theory, geometry and analysis : proceedings of the International conference held at Bielefeld, Federal Republic of Germany, July 26-30, 1982
Modular functions of one variable : proceedings International Summer School University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable : proceedings International Summer School University of Antwerp, RUCA, July 17-August 3, 1972
Singularly perturbed and weakly coupled linear control systems : a recursive approach
Testo
Singularly perturbed and weakly coupled linear control systems : a recursive approach

Gajić, Zoran

CCWI 2005 : proceedings of the Eighth International conference on computing and control for the water industry, Exeter, UK
Testo
CCWI 2005 : proceedings of the Eighth International conference on computing and control for the water industry, Exeter, UK

International conference on computing and control for the water industry <8. ; 2005

Analysis and optimization of systems : proceedings of the 9th international conference, Antibes, June 12-15, 1990
Testo
Analysis and optimization of systems : proceedings of the 9th international conference, Antibes, June 12-15, 1990
1 2 3

Filtra Risultati

Chiudi

Argomenti

Indietro Avanti