Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 2185970

Edit research

Active filters:

Simili a: Theory of formal systems.
Category: Testo
Theory of formal systems
Testo
Theory of formal systems

Smullyan, Raymond

Theory of formal systems
Testo
Theory of formal systems

Smullyan, Raymond

Basic logic : the fundamental principles of formal deductive reasoning
Testo
Basic logic : the fundamental principles of formal deductive reasoning

McCall, Raymond J.

Systems of formal logic
Testo
Systems of formal logic

Hackstaff, L. H.

First-order logic
Testo
First-order logic

Smullyan, Raymond

Formal power series and linear systems of meromorphic ordinary differential equations
Testo
Formal power series and linear systems of meromorphic ordinary differential equations

Balser, Werner

A formal model of visualization in computer graphics systems
Testo
A formal model of visualization in computer graphics systems

Onodera, Tamiya

FMICS ... : *Proceedings of the ... international workshop on formal methods for industrial critical systems
Testo
FMICS ... : *Proceedings of the ... international workshop on formal methods for industrial critical systems
FMICS ... : Proceedings of the ... international workshop on formal methods for industrial critical systems
Testo
FMICS ... : Proceedings of the ... international workshop on formal methods for industrial critical systems
FMICS ... : Proceedings of the ... international workshop on formal methods for industrial critical systems
Testo
FMICS ... : Proceedings of the ... international workshop on formal methods for industrial critical systems
Theory of linear physical systems : theory of physical systems from the view of point of classical dynamics including Fourier methods
Testo
Theory of linear physical systems : theory of physical systems from the view of point of classical dynamics including Fourier methods

Guillemin, Ernst A.

Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici
Testo
Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici

Smullyan, Raymond

Mathematical interpretation of formal systems
Testo
Mathematical interpretation of formal systems
Logic : ˆthe ‰theory of formal inference
Testo
Logic : ˆthe ‰theory of formal inference

Ambrose, Alice

Fare il verso al pappagallo e altri rompicapi logici : ivi inclusa una stupefacente avventura nel mondo della logica combinatoria
Testo
Fare il verso al pappagallo e altri rompicapi logici : ivi inclusa una stupefacente avventura nel mondo della logica combinatoria

Smullyan, Raymond

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
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
Formal techniques in real-time and fault tolerant systems : second international symposium
Testo
Formal techniques in real-time and fault tolerant systems : second international symposium
2: Formal methods and software development : Colloquium on Software Engineering (CSE)
Testo
2: Formal methods and software development : Colloquium on Software Engineering (CSE)

TAPSOFT : joint conference on theory and practice of software development <1985

Satana, Cantor e l'infinito e altri inquietanti rompicapi
Testo
Satana, Cantor e l'infinito e altri inquietanti rompicapi

Smullyan, Raymond

A theory of formal deducibility
Testo
A theory of formal deducibility

Curry, Haskell Brooks

The formal theory of grammar
Testo
The formal theory of grammar

Kimball, John Price

Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory
Testo
Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory

International workshop on computer aided systems theory <2. ; 1991

Satana, Cantor e l' infinito e altri inquietanti rompicapi
Testo
Satana, Cantor e l' infinito e altri inquietanti rompicapi

Smullyan, Raymond

Ternary systems : introduction to the theory of three component systems
Testo
Ternary systems : introduction to the theory of three component systems

Masing, Georg

Fundamentals of logic
Testo
Fundamentals of logic

Smullyan, Arthur

Introduction to the theory of formal groups
Testo
Introduction to the theory of formal groups

Dieudonné, Jean

Views on general systems theory : proceedings of the second Systems Symposium at Case Institute of technology
Testo
Views on general systems theory : proceedings of the second Systems Symposium at Case Institute of technology

Systems symposium <2. ; 1963

3: Algebraic topics of importance in systems theory
Testo
3: Algebraic topics of importance in systems theory

Hermann, Robert A.

Theory and applications of variable structure systems
Testo
Theory and applications of variable structure systems
Quantum theory of many-particle systems
Testo
Quantum theory of many-particle systems

Fetter, Alexander L.

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963
Testo
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium [8 ; 1963 ; Oxford]

Problems in quantum theory of many-particle systems : a lecture note and reprint volume
Testo
Problems in quantum theory of many-particle systems : a lecture note and reprint volume

Hove, L. : van

Combustion theory : the fundamental theory of chemically reacting flow systems
Testo
Combustion theory : the fundamental theory of chemically reacting flow systems

Williams, Forman Arthur <1934- >

Schaum's outline of theory and problems of introduction to digital systems
Testo
Schaum's outline of theory and problems of introduction to digital systems

Palmer, James E.

Nuclear energy : an introduction to the concepts, systems, and applications of nuclear processes
Testo
Nuclear energy : an introduction to the concepts, systems, and applications of nuclear processes

Murray, Raymond Leroy <1920-2011>

Statistical thermodynamics and stochastic theory of nonequilibrium systems
Testo
Statistical thermodynamics and stochastic theory of nonequilibrium systems

Ebeling, Werner

General decoupling theory of multivariable process control systems
Testo
General decoupling theory of multivariable process control systems

Hui, Liu Chen

Vol. 1: An introduction to the theory of formal languages and automata
Testo
Vol. 1: An introduction to the theory of formal languages and automata

Levelt, W. J. M. <Willlem J. M.>

Quantum theory of many-particle systems
Testo
Quantum theory of many-particle systems

Fetter, Alexander L.

Formal organization : a systems approach
Testo
Formal organization : a systems approach

Carzo, Rocco <jr.>

Classical and quantum field theory of exactly soluble nonlinear systems
Testo
Classical and quantum field theory of exactly soluble nonlinear systems

Garbaczewski, Piotr

A theory of economic systems
Testo
A theory of economic systems

Gottlieb, Manuel

Structural theory of distributed systems
Testo
Structural theory of distributed systems

Butkovskij, Anatolij Grigorʹevic

Spectral theory of canonical differential systems : method of operator identities
Testo
Spectral theory of canonical differential systems : method of operator identities

Sakhnovich, Lev A.

Realization theory of continuous-time dynamical systems
Testo
Realization theory of continuous-time dynamical systems

Matsuo, Tsuyoshi

Explorations toward an economic theory of political systems
Testo
Explorations toward an economic theory of political systems

Cao Garcia, Ramon J.

Qual è il titolo di questo libro ? : l'enigma di Dracula e altri indovinelli logici
Testo
Qual è il titolo di questo libro ? : l'enigma di Dracula e altri indovinelli logici

Smullyan, Raymond

La teoría formal de la gramática
Testo
La teoría formal de la gramática

Kimball, John Price

Embedded systems : new approaches to their formal description and design
Testo
Embedded systems : new approaches to their formal description and design
2: Theory and systems of legal philosophy : IVR 12th World Congress (Athens 1985), Proceedings
Testo
2: Theory and systems of legal philosophy : IVR 12th World Congress (Athens 1985), Proceedings
Donna o tigre? ... e altri indovinelli logici, compreso un racconto matematico sul teorema di Godel
Testo
Donna o tigre? ... e altri indovinelli logici, compreso un racconto matematico sul teorema di Godel

Smullyan, Raymond

General systems : yearbook of the Society for the advancement of General systems theory
Testo
General systems : yearbook of the Society for the advancement of General systems theory
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

Social change in developing areas : a reinterpretation of evolutionary theory
Testo
Social change in developing areas : a reinterpretation of evolutionary theory
The idea of a critical theory : Habermas and the Frankfurt School
Testo
The idea of a critical theory : Habermas and the Frankfurt School

Geuss, Raymond

Theory of interacting Fermi systems
Testo
Theory of interacting Fermi systems

Nozieres, Philippe

Foundations of the theory of learning systems
Testo
Foundations of the theory of learning systems

Cypkin, Jakov Zalmanovic

A theory of computer semiotics : semiotic approaches to construction and assessment of computer systems
Testo
A theory of computer semiotics : semiotic approaches to construction and assessment of computer systems

Andersen, P. B.

Fundamentals of robotic mechanical systems : theory, methods, and algorithms
Testo
Fundamentals of robotic mechanical systems : theory, methods, and algorithms

Angeles, Jorge

Quantum theory of many-variable systems and fields
Testo
Quantum theory of many-variable systems and fields

Sakita, B

Systems of ethics and value theory
Testo
Systems of ethics and value theory
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
2: Theory and application of hyperbolic systems of quasilinear equations
Testo
2: Theory and application of hyperbolic systems of quasilinear equations

Rhee, Hyun-Ku

Alice nel paese degli indovinelli : racconto alla maniera di Lewis Carroll per bambini infraottantenni
Testo
Alice nel paese degli indovinelli : racconto alla maniera di Lewis Carroll per bambini infraottantenni

Smullyan, Raymond

Automatic control : an introduction to the theory of feedback and feedback control systems
Testo
Automatic control : an introduction to the theory of feedback and feedback control systems

De Barr, A. E.

Turbulent motion and the structure of chaos : a new approach to the statistical theory of open systems
Testo
Turbulent motion and the structure of chaos : a new approach to the statistical theory of open systems

Klimontovich, Jurij L.

A systems view of planning : towards a theory of the urban and regional planning process
Testo
A systems view of planning : towards a theory of the urban and regional planning process

Chadwick, George F.

Computer programming and formal systems
Testo
Computer programming and formal systems
Material and formal authorisation in Kelsen's pure theory
Testo
Material and formal authorisation in Kelsen's pure theory

Paulson, Stanley L.

Material and formal authorisation in Kelsen's pure theory
Testo
Material and formal authorisation in Kelsen's pure theory

Paulson, Stanley L.

Theory of computing and systems : ISTCS '92, Israel symposium
Testo
Theory of computing and systems : ISTCS '92, Israel symposium

ISTCS <1992

Computational complexity of bilinear forms : algebraic coding theory and applications to digital communication systems
Testo
Computational complexity of bilinear forms : algebraic coding theory and applications to digital communication systems

Krishna, Hari

Many-Body Theory of Condensed Matter Systems: An Introductory Course
Testo
Many-Body Theory of Condensed Matter Systems: An Introductory Course
Hyperbolic systems of conservation laws and the mathematical theory of shock waves
Testo
Hyperbolic systems of conservation laws and the mathematical theory of shock waves

Lax, Peter

The philosophy of the limit : systems theory and feminist legal reform
Testo
The philosophy of the limit : systems theory and feminist legal reform

Cornell, Drucilla

The philosophy of the limit : systems theory and feminist legal reform
Testo
The philosophy of the limit : systems theory and feminist legal reform

Cornell, Drucilla

Quantum field theory of many-body systems : from the origin of sound to an origin of light and electrons
Testo
Quantum field theory of many-body systems : from the origin of sound to an origin of light and electrons

Wen, Xiao-Gang

Theory of nonlinear control systems
Testo
Theory of nonlinear control systems

Minorsky, Nicholas

Methodological pragmatism : a systems-theoretic approach to the theory of knowledge
Testo
Methodological pragmatism : a systems-theoretic approach to the theory of knowledge

Rescher, Nicholas

Qualitative theory of second-order dynamic systems
Testo
Qualitative theory of second-order dynamic systems
Kinetic energy storage : theory and practice of advanced flywheel systems
Testo
Kinetic energy storage : theory and practice of advanced flywheel systems

Genta, Giancarlo

European police systems
Testo
European police systems

Fosdick, Raymond B.

Banking systems simulation : theory, practice, and application of modeling shocks, losses, and contagion
Testo
Banking systems simulation : theory, practice, and application of modeling shocks, losses, and contagion
Formal category theory : adjointness for 2-categories
Testo
Formal category theory : adjointness for 2-categories

Gray, John Walker <1931-...>

National systems of innovation : towards a theory of innovation and interactive learning
Testo
National systems of innovation : towards a theory of innovation and interactive learning
The theory of Eisenstein systems
Testo
The theory of Eisenstein systems

Osborne, M. Scott <1946-2014>

The theory and management of systems
Testo
The theory and management of systems

Johnson, Richard Arnold

On moment theory and controllability of one-dimensional vibrating systems and heating processes
Testo
On moment theory and controllability of one-dimensional vibrating systems and heating processes

Krabs, Werner <1934- >

Schaum's outline of theory and problems of feedback and control systems
Testo
Schaum's outline of theory and problems of feedback and control systems

DiStefano, Joseph J.

Schaums outline of theory and problems of state space and linear systems
Testo
Schaums outline of theory and problems of state space and linear systems

Wiberg, Donald M.

Stochastic control theory and stochastic differential systems : proceedings of a workshop of the "Sonderforschungsbereich 72 der deutschen Forschungsgemeinschaft an der Universitat Bonn" wich took place in January 1979 at Bad Honnef
Testo
Stochastic control theory and stochastic differential systems : proceedings of a workshop of the "Sonderforschungsbereich 72 der deutschen Forschungsgemeinschaft an der Universitat Bonn" wich took place in January 1979 at Bad Honnef

Universitat <Bonn> : Deutschen Forschungsgemeinschaft : Sonderforschungsbereich 72.

IEEE transactions on circuits and systems. 1., Fundamental theory and applicatons
Testo
IEEE transactions on circuits and systems. 1., Fundamental theory and applicatons
Control theory of distributed parameter systems and applications : proceedings of the IFIP WG 7.2 working conference
Testo
Control theory of distributed parameter systems and applications : proceedings of the IFIP WG 7.2 working conference

International federation for information processing : Working group 7.2

The algebraic theory of modular systems
Testo
The algebraic theory of modular systems

Macaulay, Francis Sowerby

Nonequilibrium thermodynamics : a phenomenological theory of irreversible processes in fluid systems
Testo
Nonequilibrium thermodynamics : a phenomenological theory of irreversible processes in fluid systems

Fitts, Donald D.

Mathematical systems theory and economics : proceeding of an International Summer school held in Varenna, Italy, June 1-12 1967
Testo
Mathematical systems theory and economics : proceeding of an International Summer school held in Varenna, Italy, June 1-12 1967
Principles of sociology : a reader in theory and research
Testo
Principles of sociology : a reader in theory and research

Young, Kimball

The Landau theory of phase transitions : application to structural, incommensurate, magnetic, and liquid crystal systems
Testo
The Landau theory of phase transitions : application to structural, incommensurate, magnetic, and liquid crystal systems

Toledano, Jean-Claude

Kinetic energy storage : theory and practice of advanced flywheel systems
Testo
Kinetic energy storage : theory and practice of advanced flywheel systems

Genta, Giancarlo

The application of control theory to physiological systems
Testo
The application of control theory to physiological systems

Milhorn, H. Thomas

Automaton theory and modeling of biological systems
Testo
Automaton theory and modeling of biological systems

Cetlin, Mihail L'vovi

Global theory of dynamical systems : proceedings of an international conference held at Northwestern university, Evanston, Illinois, June 18-22, 1979
Testo
Global theory of dynamical systems : proceedings of an international conference held at Northwestern university, Evanston, Illinois, June 18-22, 1979
Optimal control theory for the damping of vibrations of simple elastic systems
Testo
Optimal control theory for the damping of vibrations of simple elastic systems

Komkov, Vadim

Art in theory : an introduction to the study of comparative aesthetics
Testo
Art in theory : an introduction to the study of comparative aesthetics

Raymond, George Lansing

The emergence of Maoism : Mao Tse-tung, Ch'en Po-ta, and the search for Chinese theory, 1935-1945
Testo
The emergence of Maoism : Mao Tse-tung, Ch'en Po-ta, and the search for Chinese theory, 1935-1945

Wylie, Raymond F.

Twistor geometry and non-linear systems : review lectures given at the 4th Bulgarian summer school on mathematical problems of quantum field theory, held at Primorsko, Bulgaria, September 1980
Testo
Twistor geometry and non-linear systems : review lectures given at the 4th Bulgarian summer school on mathematical problems of quantum field theory, held at Primorsko, Bulgaria, September 1980

Bulgarian summer school on mathematical problems of quantum field theory <4. ; 1980

2: Observations and theory of weather systems
Testo
2: Observations and theory of weather systems

Bluestein, Howard B.

Dynamical systems X : general theory of vortices
Testo
Dynamical systems X : general theory of vortices

Kozlov, Vladimir Viktorovi

Fundamentals of robotic mechanical systems : theory, methods, and algorithms
Testo
Fundamentals of robotic mechanical systems : theory, methods, and algorithms

Angeles, Jorge

Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem
Testo
Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem

Abraham, Ralph H.

Stability theory of dynamical systems
Testo
Stability theory of dynamical systems

Bhatia, Nam Parshad

Stability theory : an introduction to the stability of dynamic systems and rigid bodies
Testo
Stability theory : an introduction to the stability of dynamic systems and rigid bodies

Leipholz, Horst

3: Ecology and systems engineering; large scale, sensitivity optimization and adaptation theory
Testo
3: Ecology and systems engineering; large scale, sensitivity optimization and adaptation theory

International federation of automatic control

The theory of open quantum systems
Testo
The theory of open quantum systems

Breuer, Heinz-Peter

Anti-equilibrium : on economic systems theory and the tasks of research
Testo
Anti-equilibrium : on economic systems theory and the tasks of research

Kornai, Janos

External costs of transport systems: theory and applications : selected papers
Testo
External costs of transport systems: theory and applications : selected papers
New Trends in Nonlinear Control Theory : Proceedings of an International Conference on Nonlinear Systems, Nantes, France, June 13-17, 1988
Testo
New Trends in Nonlinear Control Theory : Proceedings of an International Conference on Nonlinear Systems, Nantes, France, June 13-17, 1988
A theory of employment systems : micro-foundations of societal diversity
Testo
A theory of employment systems : micro-foundations of societal diversity

Marsden, David

Identification control optimization of dynamical systems : progress report of the research activity funded by Ministero dell'universita e della ricerca scientifica e tecnologica of Italy under the national projects "Model identification, system control, signal processing" "Systems and control theory"
Testo
Identification control optimization of dynamical systems : progress report of the research activity funded by Ministero dell'universita e della ricerca scientifica e tecnologica of Italy under the national projects "Model identification, system control, signal processing" "Systems and control theory"
1 2 3

Filter results

Close

Subjects

Indietro Avanti