Category theory and computer science
By: Contributor(s): Material type:
TextLanguage: English Series: Lecture notes in computer science; 283Publication details: Berlin Springer-Verlag 1987Description: 300p. cmSubject(s): DDC classification: - D65,8(B)0aB2-316, M7
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)0aB2-316 M7 (Browse shelf(Opens below)) | Available | SL0956651 |
There are no comments on this title.
-
47801
Theories of ethics
by Foot Philippa Ed. -
47802
Theories of ethics
by Foot Philippa Ed. -
47803
Theories of ethics
by Foot Philippa Ed. -
47804
Theories of ethics
by Foot Philippa Ed. -
47805
Theories of ethics
by Foot Philippa Ed. -
47806
Theories of ethics
by Foot Philippa Ed. -
47807
Theories of ethics
by Foot Philippa Ed. -
47808
Theories of ethics
by Foot Philippa Ed. -
47809
Theories of ethics
by Foot Philippa Ed. -
47810
Theories of ethics
by Foot Philippa Ed. -
47811
Theories of ethics
by Foot Philippa Ed. -
47812
Theories of ethics
by Foot Philippa Ed. -
47813
Theories of ethics
by Foot Philippa Ed. -
47814
Theories of ethics
by Foot Philippa Ed. -
47815
Theories of Justice and Rights
by Moberger & Olson -
47816
Theories of Lexical Semantics
by Geeraerts -
47817
Theories of Molecular Reaction Dynamics
by Henriksen, Hansen -
47818
Theories of Molecular Reaction Dynamics
by Henriksen, Hansen -
47819
Theories of Organizational Stress
by Cooper -
47820
Theories of primlive religion
by Evans-pritchard E. E. -
47821
Theories of primlive religion
by Evans-pritchard E. E. -
47822
Theories of rights
by Waldron Jeremy Ed. -
47823
Theories of rights.
by Waldron Jeremy Ed. -
47824
Theories of the Soundtrack
by Buhler -
47825
Theories of the Text
by Greetham -
47826
Theories, Sites, Toposes
by Caramello -
47827
Theorists of economic growth from David Hume to the persent
by Rostow W.W -
47828
Theorists of economic growth from David Hume to the persent
by Rostow W.W -
47829
Theorizing Communication A History
by Schiller -
47830
Theorizing Feminist Policy
by Mazur -
47831
Theorizing Internal Security in the European Union
by Bossong, Rhinard -
47832
Theorizing Music Evolution
by Piilonen -
47833
Theorizing Race in the Americas
by Hooker -
47834
Theorizing the Local
by Wolf -
47835
Theorizing the local
by WOLF Richard K. -
47836
Theorizing the local
by WOLF Richard K. -
47837
Theorizing the present
by Ghosh Anjan Ed. -
47838
Theory and Application of Quantum-Based Interatomic Potentials in Metals and Alloys
by Moriarty -
47839
Theory and Credibility
by Scott Ashworth, Christopher R. Berry, Ethan Bueno de Mesquita -
47840
Theory and in practice.
by Selbourne David Ed. -
47841
Theory and meaning
by papineau David -
47842
Theory and Meaning
by Papineau -
47843
Theory and Numerics of Ordinary and Partial Differential Equations
by Ainsworth -
47844
Theory and Practice in Essene Law
by Amihay -
47845
Theory and Practice of Excise Taxation
by Cnossen -
47846
Theory and practice of language teaching: With special reference to French and German
by Kittson E Creagh -
47847
Theory and practice of language teaching: With special reference to French and German
by Kittson E Creagh -
47848
Theory and Practice of Psychiatry
by Cohen -
47849
Theory and practice of psychological testing
by Freeman Frank S -
47850
Theory and practice of psychological testing
by Freeman Frank S
Category theory and computer science
APA
PITT D H Ed, Symposium on category theory and computer science (1987 : Edinburgh U K., Poigne A Ed & Rydeheard D E Ed. (1987). Category theory and computer science. Berlin: Springer-Verlag.
Chicago
PITT D H Ed, Symposium on category theory and computer science (1987 : Edinburgh U K), Poigne A Ed and Rydeheard D E Ed. 1987. Category theory and computer science. Berlin: Springer-Verlag.
Harvard
PITT D H Ed, Symposium on category theory and computer science (1987 : Edinburgh U K., Poigne A Ed and Rydeheard D E Ed. (1987). Category theory and computer science. Berlin: Springer-Verlag.
MLA
PITT D H Ed, Symposium on category theory and computer science (1987 : Edinburgh U K), Poigne A Ed and Rydeheard D E Ed. Category theory and computer science. Berlin: Springer-Verlag. 1987.
