Llwytho...

Côd QR

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /

Manylion Llyfryddiaeth
Prif Awdur:	Goos,G.ed
Awduron Eraill:	Goos,G, Hartmanis,J
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Berlin ; New York : Springer-Verlag, 1975.
Cyfres:	Lecture notes in computer science;25
Pynciau:	Machine theory > Congresses. Control theory > Congresses. Categories (Mathematics) > Congresses.

Eitemau Tebyg

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Cyhoeddwyd: (1977)

Theory of categories.
gan: Mitchell, Barry
Cyhoeddwyd: (1965)

Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978 /
gan: Herrlich, Horst.ed
Cyhoeddwyd: (1979)

Mathematical control theory /
gan: Sontag, E.D
Cyhoeddwyd: (1990)

Category theory; an introduction
gan: Herrlich, Horst
Cyhoeddwyd: (1973)

Control theory of partial differential equations /
gan: Imanuvilov, Oleg.,ed
Cyhoeddwyd: (2005)

Categories and functors.
gan: Pareigis, Bodo
Cyhoeddwyd: (1970)

Conceptual mathematics : a first introduction to categories /
gan: Lawvere, F. W.
Cyhoeddwyd: (1997)

Systems, control, modeling and optimization : proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy /
Cyhoeddwyd: (2006)

Homotopy theory of higher categories /
gan: Simpson, Carlos
Cyhoeddwyd: (2011)

Basic category theory
gan: Leinster, Tom
Cyhoeddwyd: (2014)

Optimization and operations research.
gan: Oettli,W
Cyhoeddwyd: (1976)

Dharma, the categorial imperative /
Cyhoeddwyd: (2005)

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
gan: Brakhage, H. ed
Cyhoeddwyd: (1975)

Noncommutative rational series with applications /
gan: Berstel, Jean
Cyhoeddwyd: (2011)

Automata and languages : theory and applications /
gan: Meduna, Alexander
Cyhoeddwyd: (2000)

Woodward conference(2nd: 1989: san jose state university): nonlinear structures in physical systems: pattern formation,chaos and waves: proceedings
gan: Lam, Lui
Cyhoeddwyd: (1990)

Informatics in control, automation and robotics II /
Cyhoeddwyd: (2007)

Computational category theory.
gan: Rydeheard, David E
Cyhoeddwyd: (1988)

Symmetries and nonlinear phenomena : proceedings of the International School on Applied Mathematics, Paipa (Colombia), Feb. 22-26, 1988 /
gan: Levi, D., ed
Cyhoeddwyd: (1988)

Mathematical foundations of computer science ,1977: Proceedings,6th symposium,Tatransk Lomnica September5-9,
gan: Gruska, J ed
Cyhoeddwyd: (1977)

Complex systems, operational approaches in neurobiology, physics, and computers: proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, May 6-11, 1985 /
Cyhoeddwyd: (1985)

Variational analysis and generalized differentiation in optimization and control : in honor of Boris S. Mordukhovich /
Cyhoeddwyd: (2010)

Theory of topological structures : an approach to categorical topology /
gan: Preuss, Gerhard
Cyhoeddwyd: (1988)

Evolution of order and chaos in physics, chemistry, and biology : proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, April 26-May 1, 1982 /
Cyhoeddwyd: (1982)

Algebraic theories : a categorical introduction to general algebra /
gan: Adamek, J ing
Cyhoeddwyd: (2010)

Purity, spectra and localisation /
gan: Prest, Mike
Cyhoeddwyd: (2009)

Categories and functors /
gan: Pareigis, Bodo
Cyhoeddwyd: (1970)

Categories and sheaves /
gan: Kashiwara, Masaki
Cyhoeddwyd: (2006)

Nonlinear phenomena in solids : modern topics : proceedings of the 3rd International School on Condensed Matter Physics, Varna, 21-29 September, 1984 /
gan: Borisov, Milko., ed
Cyhoeddwyd: (1985)

Dynamics and analytic number theory : proceedings of the Durham Easter School 2014 /
Cyhoeddwyd: (2016)

Combinatorics, automata, and number theory /
gan: Berthe , Valerie ed
Cyhoeddwyd: (2010)

Introduction to formal languages and automata .-2nd ed. /
gan: Linz, Peter
Cyhoeddwyd: (1997)

Symposium on Anomalies, Geometry, Topology /
Cyhoeddwyd: (1985)

Topology, Geometry and Quantum Field Theory Proceedings of the 2002 Oxford Symposium in Honour of the 60th Birthday of Graeme Segal /
gan: Tillmann, Ulrike
Cyhoeddwyd: (2004)

Categories and commutative algebra /
gan: Salmon,P,ed
Cyhoeddwyd: (1973)

Structure of knowledge and the curriculum.
Cyhoeddwyd: (1964)

Systems : approaches, theories, applications : including the proceedings of the eighth George Hudson Symposium held at Plattsburgh, New York, April 11-12, 1975 /
Cyhoeddwyd: (1977)

Symmetries and groups in contemporary physics : proceedings of the XXIX International Colloquium on Group-Theoretical Methods in Physics, Tianjin, China, 20-26 August 2012 /
Cyhoeddwyd: (2013)

Transcendental arguments and science : essays in epistemology /
Cyhoeddwyd: (1979)