David h pitt (12 Ergebnisse)
- Softcover
Anbieter: NEPO UG, Rüsselsheim am Main, , DeutschlandNEPO UG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 38,09
EUR 24,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,21
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,28
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,28
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,28
EUR 62,85 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Composi…tional relational semantics for indeterminate dataflow networks.- Operations on records.- Projections for polymorphic strictness analysis.- A category-theoretic account of program modules.- A note on categorical datatypes.- A set constructor for inductive sets in Martin-Löf's type theory.- Independence results for calculi of dependent types.- Quantitative domains, groupoids and linear logic.- Graded multicategories of polynomial-time realizers.- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative continuations: An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative theories: A categorical treatment.- An abstract formulation for rewrite systems.- From petri nets to linear logic.- A dialectica-like model of linear logic.- A final coalgebra theorem.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equational presentation of higher order logic.- Enriched categories for local and interaction calculi.- The category of Milner processes is exact.- Relating tw…o models of hardware.- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms.- A typed lambda calculus with categorical type constructors.- Final algebras, cosemicomputable algebras, and degrees of unsolvability.- Good functors . are those preserving philosophy.- Viewing implementations as an institution.- An interval model for second order lambda calculus.- Logical aspects of denotational semantics.- Connections between partial maps categories and tripos theory.- A fixpoint construction of the p-adic domain.- A category of Galois connections.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,41 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. 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.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,50
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Category Theory and Computer Science | Manchester, UK, September 5-8, 1989. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516620 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]s…pringer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Category Theory and Computer Science | Edinburgh, UK, September 7-9, 1987. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1987 | Springer | EAN 9783540185086 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]sp…ringer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Category Theory and Computer Science | Paris, France, September 3-6, 1991. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540544951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]sp…ringer[dot]com | Anbieter: preigu.
Verlag: The Academy of American Poets, (New York 1966
- Softcover
- Erstausgabe
Anbieter: Between the Covers-Rare Books, Inc. ABAA, Gloucester City, NJ, USABetween the Covers-Rare Books, Inc. ABAA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 134,79
EUR 4,80 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Softcover. Zustand: Near Fine. First edition. Stapled wrappers. 65pp. Edges lightly age-toned and bumped, near fine. Contributions by Robert M. Philmus, Margaret Edwards, Ron Loewinsohn, Priscilla Shames, James Reiss, Eric Felderman, Louise Gluck, Daniel Cassidy, Jr., Douglas L. Eichhorn, Paul W. Roewade, Joseph W. Survant, Davi…d Landon, Paul Brinkley-Rogers, Peter Welter, Helen Pringle, Anne Cleaves, David E. Cummings, William Pitt Root, Paul Oppenheimer, Shirley Kaufman, Stan Rice, DeWitt Beall, Jane Yolen, Gay Cothran, Kenneth Fields, Benito Cereno, John Peck, David Ransom, Tim Reynolds, L. Wittgenstein, Rodham Tulloss, McLister, Mary Maxwell Davis, Janis Adams, Roger H. Fogelman, Henry Taylor, Richard L. Pevear, Alexander Theroux, James Scay, Coburn Freer, E.G. Leimbacher, Frances McConnel, Susan Mitchell, David F.R. McGeary, Hunt Hawkins, and Patricia C. Smith.
Verlag: The International News Company, New York 1916
- Softcover
- Erstausgabe
Anbieter: RareNonFiction, IOBA, Ladysmith, BC, KanadaRareNonFiction, IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 2.246,54
EUR 17,44 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Single Issue Magazine. Zustand: Good. First Edition. Abundant black and white illustrations and reproductions of photos. Features: Two Men's Madness - six lives and a fine ship, the Frank N. Thayer, are lost through the unaccountable frenzy of two Indians; In Wildest Ireland - A.W. Cutler describes and photographs "unspoilt" reg…ions of the Emerald Isle - with many fascinating photos; The Guardian of the Line - the ordeal undergone by a humble railway-crossing keeper's wife in Lithuania on the Russian Front; In Search of the Unknown Land - The tragic story of the Stefansson Arctic Exploration Expedition, twelve-page article including many photos; The Tales of Golab Khan - some amusing stories of Indian life; The Airman's Escape - two British aviators raid a Bulgarian town, then one is shot down and must be rescued by his companion; From Job To Job Around the World - part VI - Two American wanderers make there way through the Holy Land to Constantinople - with photos; The Trouble at Crib No. 2 - a tug-boat fireman recounts an exciting story of a winter rescue on the Great Lakes; Australia's Water Miracle - article and photos describe how the Government of New South Wales has created a miracle of irrigation; The Story of Count Seilern - A Tragedy of the Hapsburgs; Alpine Acrobats - A vivid account, illustrated by some very remarkable photographs, of the first ascent of the needle-like "Cigar Rock" in the Italian Alps; Lovely one-page illustrated ad by Canada Steamship Lines promotes their Niagara to the Sea all-water route; and more. pp. 4 [ads], [3], 290-385, 7-32 [ads]. Unmarked with moderate wear. Soiling to back cover. Covers beginning to loosen, otherwise a sound vintage copy of this exceptional issue. Somerfield, Thomas; Pride, Sid; Holloway, W.H.; Gillett, Frank; Evison, G.H.; Pitcher, Sotheby; Prater, Ernest (illustrator).
