Gesamtpreis (1 Artikel Artikel):
Versandziel:
manes e g (39 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (39)
- 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 Mehr dazu
- Neu (29)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (21)
- Keine Print-on-Demand Angebote (27)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Predicate Transformer Semantics
Buch 12 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10: 0521420369 ISBN 13: 9780521420365
Anbieter: Benjamin Books, Ottawa, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good (+). hardcover.
-
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Paperback or Softback)
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974. Book.
-
REVISTA INTERNACIONAL DE INSTITUCIONES ECONÓMICAS Y SOCIALES. Año IV, Nº 3. Julio-septiembre 1926.
Anbieter: EL RINCÓN ESCRITO, Villanueva de las Carretas, BU, Spanien
Verkäuferbewertung 5 von 5 Sternen
Instituto Internacional de Agricultura, Roma, 1926, en-4º menor, rústica con tipografía, paginación seriada p. 344 a p. 463; 196 g., cubiertas con mermas en la parte superior e inferior del lomo en todo lo demás buen estado. [Publicaciones periódicas, revistas, economía agrícola].
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science, 25)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Foundations of System Theory: Finitary and Infinitary Conditions : Finitary and Infinitary Conditions
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Foundations of System Theory: Finitary and Infinitary Conditions (Lecture Notes in Economics and Mathematical Systems, 115)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,77
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic Theories (Graduate Texts in Mathematics)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,50
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Foundations of System Theory: Finitary and Infinitary Conditions : Finitary and Infinitary Conditions
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science, 25)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,50
EUR 13,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,80
EUR 17,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Algebraic Theories (Graduate Texts in Mathematics)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,89
EUR 17,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,76
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New. pp. 108.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,59
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Foundations of System Theory: Finitary and Infinitary Conditions (Lecture Notes in Economics and Mathematical Systems)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,85
EUR 11,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 108 pages. 9.61x6.69x0.25 inches. In Stock.
-
Foundations of System Theory: Finitary and Infinitary Conditions (Lecture Notes in Economics and Mathematical Systems, 115)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 107 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.
-
EUR 52,76
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Basic concepts of category theory applicable to computation and control.- A control theorist looks at abstract nonsense.- A Categorist's view of automata and systems.- Categorical theory of tree processing.- Realization of multilinear and multidecomposable machines.- Fuzzy morphishms in automata theory.- Time-varying systems.- Addressed machines and duality.- Factorization of scott-style automata.- An abstract machine theory for formal language parsers.- Some structural properties of automata defined on groups.- Automata in additive categories with applications to stochastic linear automata.- The algebraic theory of recursive program schemes.- Realization is continuously universal.- Diagram-characterization of recursion.- Power and initial automata in pseudoclosed categories.- Semantics of computation.- Scattering theory and non linear systems.- Synthesis and complexity of logical systems.- Strukturelle verwandtschaften von Semi-Thue-Systemen.- Control of linear continuous-time systems defined over rings of distributions.- Cellular automata with additive local transition.- Automata in semimodule categories.- Representation of a class of nonlinear systems.- Duals of input/output maps.- An algebraic formulation of the Chomsky hierarchy.- On the recursive specification of data types.- Linear systems over rings of operators.- The tricotyledon theory of system design.
-
Taschenbuch. Zustand: Neu. Category Theory Applied to Computation and Control | Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 | E. G. Manes | Taschenbuch | xii | Englisch | Springer | EAN 9783540071426 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Algebraic Theories | E. G. Manes | Taschenbuch | Graduate Texts in Mathematics | x | Englisch | 2011 | Humana | EAN 9781461298625 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the past decade, category theory has widened its scope and now inter acts with many areas of mathematics. This book develops some of the interactions between universal algebra and category theory as well as some of the resulting applications. We begin with an exposition of equationally defineable classes from the point of view of 'algebraic theories,' but without the use of category theory. This serves to motivate the general treatment of algebraic theories in a category, which is the central concern of the book. (No category theory is presumed; rather, an independent treatment is provided by the second chap ter.) Applications abound throughout the text and exercises and in the final chapter in which we pursue problems originating in topological dynamics and in automata theory. This book is a natural outgrowth of the ideas of a small group of mathe maticians, many of whom were in residence at the Forschungsinstitut für Mathematik of the Eidgenössische Technische Hochschule in Zürich, Switzerland during the academic year 1966-67. It was in this stimulating atmosphere that the author wrote his doctoral dissertation. The 'Zürich School,' then, was Michael Barr, Jon Beck, John Gray, Bill Lawvere, Fred Linton, and Myles Tierney (who were there) and (at least) Harry Appelgate, Sammy Eilenberg, John Isbell, and Saunders Mac Lane (whose spiritual presence was tangible.) I am grateful to the National Science Foundation who provided support, under grants GJ 35759 and OCR 72-03733 A01, while I wrote this book.
-
Malraux. Être et dire. Postface inédite de Malraux.
Verlag: Paris : Plon, 1976. Un volume in-8°, broché, planches hors-texte., 1976
Anbieter: Librairie Dhouailly, Paris, Frankreich
Verbandsmitglied: ILAB
Verkäuferbewertung 4 von 5 Sternen
Quelques annotations. [25277].
-
Predicate Transformer Semantics
Sprache: Englisch
Verlag: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.
-
L'economia del País Valencià: Estratègies sectorials Volums I i II
Sprache: Katalanisch
Verlag: Institució Alfons el Magnànim, 1982
ISBN 10: 8400051726 ISBN 13: 9788400051723
Anbieter: Un rastro de libros, L'Alcúdia, V, Spanien
Verkäuferbewertung 5 von 5 Sternen
Encuadernación de tapa blanda. Zustand: Bueno. L'economia del País Valencià: Estratègies sectorials Volums I i II A. Rico, J. C. Genoves, J. Mafé, A. Mañes, F. Mas, E. Sanchis, G. Roca Institució Alfons el Magnànim 1982 ISBN 84-00-05172-6 rústica amb solapes 21x29cm 398pp 1250gr.
-
L'eloquenza. Antologia, critica, cronaca. Anno VI - 1916
Verlag: Roma, 1916
Anbieter: Libreria Antiquaria Giulio Cesare di Daniele Corradi, Roma, RM, Italien
Verkäuferbewertung 2 von 5 Sternen
728 con una tavola fotografica p. annata 1916 in-8.
-
Algebraic Theories (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 3 von 5 Sternen
EUR 50,23
EUR 6,80 Versand
Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
-
Category Theory Applied to Computation and Control
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Feb 1975, 1975
ISBN 10: 3540071423 ISBN 13: 9783540071426
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Basic concepts of category theory applicable to computation and control.- A control theorist looks at abstract nonsense.- A Categorist's view of automata and systems.- Categorical theory of tree processing.- Realization of multilinear and multidecomposable machines.- Fuzzy morphishms in automata theory.- Time-varying systems.- Addressed machines and duality.- Factorization of scott-style automata.- An abstract machine theory for formal language parsers.- Some structural properties of automata defined on groups.- Automata in additive categories with applications to stochastic linear automata.- The algebraic theory of recursive program schemes.- Realization is continuously universal.- Diagram-characterization of recursion.- Power and initial automata in pseudoclosed categories.- Semantics of computation.- Scattering theory and non linear systems.- Synthesis and complexity of logical systems.- Strukturelle verwandtschaften von Semi-Thue-Systemen.- Control of linear continuous-time systems defined over rings of distributions.- Cellular automata with additive local transition.- Automata in semimodule categories.- Representation of a class of nonlinear systems.- Duals of input/output maps.- An algebraic formulation of the Chomsky hierarchy.- On the recursive specification of data types.- Linear systems over rings of operators.- The tricotyledon theory of system design. 260 pp. Englisch.
-
Foundations of System Theory
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 75,64
EUR 7,52 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 108 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
