Lataa...

QR-koodi

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

Bibliografiset tiedot
Päätekijä:	Goos,G.ed
Muut tekijät:	Goos,G, Hartmanis,J
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Berlin ; New York : Springer-Verlag, 1975.
Sarja:	Lecture notes in computer science;25
Aiheet:	Machine theory > Congresses. Control theory > Congresses. Categories (Mathematics) > Congresses.

Samankaltaisia teoksia

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

Theory of categories.
Tekijä: Mitchell, Barry
Julkaistu: (1965)

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

Mathematical control theory /
Tekijä: Sontag, E.D
Julkaistu: (1990)

Category theory; an introduction
Tekijä: Herrlich, Horst
Julkaistu: (1973)

Control theory of partial differential equations /
Tekijä: Imanuvilov, Oleg.,ed
Julkaistu: (2005)

Categories and functors.
Tekijä: Pareigis, Bodo
Julkaistu: (1970)

Conceptual mathematics : a first introduction to categories /
Tekijä: Lawvere, F. W.
Julkaistu: (1997)

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

Homotopy theory of higher categories /
Tekijä: Simpson, Carlos
Julkaistu: (2011)

Basic category theory
Tekijä: Leinster, Tom
Julkaistu: (2014)

Optimization and operations research.
Tekijä: Oettli,W
Julkaistu: (1976)

Dharma, the categorial imperative /
Julkaistu: (2005)

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

Noncommutative rational series with applications /
Tekijä: Berstel, Jean
Julkaistu: (2011)

Automata and languages : theory and applications /
Tekijä: Meduna, Alexander
Julkaistu: (2000)

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

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

Computational category theory.
Tekijä: Rydeheard, David E
Julkaistu: (1988)

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

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

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

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

Algebraic theories : a categorical introduction to general algebra /
Tekijä: Adamek, J ing
Julkaistu: (2010)

Purity, spectra and localisation /
Tekijä: Prest, Mike
Julkaistu: (2009)

Categories and functors /
Tekijä: Pareigis, Bodo
Julkaistu: (1970)

Categories and sheaves /
Tekijä: Kashiwara, Masaki
Julkaistu: (2006)

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

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

Combinatorics, automata, and number theory /
Tekijä: Berthe , Valerie ed
Julkaistu: (2010)

Introduction to formal languages and automata .-2nd ed. /
Tekijä: Linz, Peter
Julkaistu: (1997)

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

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

Categories and commutative algebra /
Tekijä: Salmon,P,ed
Julkaistu: (1973)

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

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

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