Gesamtpreis (1 Artikel Artikel):
Versandziel:
category theory computer science von pitt rydeheard (41 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (41)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (41)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
- Keine Print-on-Demand Angebote (31)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 23,73
Währung umrechnenEUR 3,78 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First or Reprint ] Publisher: Springer Pub Date: 10/1/1986 Binding: Paperback Pages: 532 First or Reprint.
-
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science)
Anbieter: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 19,68
Währung umrechnenEUR 10,90 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Gut. 532 Seiten Artikel stammt aus Nichtraucherhaushalt! CA9 Sprache: Englisch Gewicht in Gramm: 921.
-
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 36,47
Währung umrechnenEUR 7,11 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,01
Währung umrechnenEUR 7,11 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. 038754495X Ex-library paperback in very nice condition with the usual markings and attachments.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,91
Währung umrechnenEUR 7,11 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 47,07
Währung umrechnenEUR 7,11 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. 0387185089 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science, 530)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,60
Währung umrechnenEUR 3,55 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,60
Währung umrechnenEUR 3,55 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, 283)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,60
Währung umrechnenEUR 3,55 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science, 240)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 55,02
Währung umrechnenEUR 3,55 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 38,09
Währung umrechnenEUR 24,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Auflage: 1989. 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch.
-
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science, 530)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 67,86
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 50,24
Währung umrechnenEUR 18,42 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,89
Währung umrechnenEUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science, 283)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,25
Währung umrechnenEUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science, 240)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,25
Währung umrechnenEUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science, 953)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,25
Währung umrechnenEUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science, 530)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,25
Währung umrechnenEUR 14,25 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,72
Währung umrechnenEUR 18,42 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
EUR 78,97
Währung umrechnenEUR 3,55 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 376.
-
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 354051662X ISBN 13: 9783540516620
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 50,28
Währung umrechnenEUR 30,84 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
-
Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 3540601643 ISBN 13: 9783540601647
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 30,05 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
-
Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings
Verlag: Springer Berlin Heidelberg, 1987
ISBN 10: 3540185089 ISBN 13: 9783540185086
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 30,37 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
-
Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 354054495X ISBN 13: 9783540544951
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 30,40 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389.
-
Category Theory and Computer Science Manchaster Sep. 1989 / Lecture Notes in Computer Science # 389
Verlag: Springer 1989, 1989
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Deutschland
Verkäuferbewertung 2 von 5 Sternen
EUR 40,00
Währung umrechnenEUR 15,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover Sehr gut erhalten.
-
Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,04
Währung umrechnenEUR 18,42 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,04
Währung umrechnenEUR 18,42 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science, 953)
Anbieter: BennettBooksLtd, North Las Vegas, NV, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 105,56
Währung umrechnenEUR 6,19 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science (530))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 100,45
Währung umrechnenEUR 29,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 110,25
Währung umrechnenEUR 29,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
