Lanean...

QR Kodea

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

Xehetasun bibliografikoak
Egile nagusia:	Goos,G.ed
Beste egile batzuk:	Goos,G, Hartmanis,J
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Berlin ; New York : Springer-Verlag, 1975.
Saila:	Lecture notes in computer science;25
Gaiak:	Machine theory > Congresses. Control theory > Congresses. Categories (Mathematics) > Congresses.

Antzeko izenburuak

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

Theory of categories.
nork: Mitchell, Barry
Argitaratua: (1965)

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

Mathematical control theory /
nork: Sontag, E.D
Argitaratua: (1990)

Category theory; an introduction
nork: Herrlich, Horst
Argitaratua: (1973)

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

Categories and functors.
nork: Pareigis, Bodo
Argitaratua: (1970)

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

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

Homotopy theory of higher categories /
nork: Simpson, Carlos
Argitaratua: (2011)

Basic category theory
nork: Leinster, Tom
Argitaratua: (2014)

Optimization and operations research.
nork: Oettli,W
Argitaratua: (1976)

Dharma, the categorial imperative /
Argitaratua: (2005)

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

Noncommutative rational series with applications /
nork: Berstel, Jean
Argitaratua: (2011)

Automata and languages : theory and applications /
nork: Meduna, Alexander
Argitaratua: (2000)

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

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

Computational category theory.
nork: Rydeheard, David E
Argitaratua: (1988)

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

Mathematical foundations of computer science ,1977: Proceedings,6th symposium,Tatransk Lomnica September5-9,
nork: Gruska, J ed
Argitaratua: (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 /
Argitaratua: (1985)

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

Theory of topological structures : an approach to categorical topology /
nork: Preuss, Gerhard
Argitaratua: (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 /
Argitaratua: (1982)

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

Purity, spectra and localisation /
nork: Prest, Mike
Argitaratua: (2009)

Categories and functors /
nork: Pareigis, Bodo
Argitaratua: (1970)

Categories and sheaves /
nork: Kashiwara, Masaki
Argitaratua: (2006)

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

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

Combinatorics, automata, and number theory /
nork: Berthe , Valerie ed
Argitaratua: (2010)

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

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

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

Categories and commutative algebra /
nork: Salmon,P,ed
Argitaratua: (1973)

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

Systems : approaches, theories, applications : including the proceedings of the eighth George Hudson Symposium held at Plattsburgh, New York, April 11-12, 1975 /
Argitaratua: (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 /
Argitaratua: (2013)

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