Gesamtpreis (1 Artikel Artikel):
Versandziel:
computation theory logic (29 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (29)
- 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
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (16)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 24,09
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. 2006. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 123,66
Gebraucht ab EUR 24,09
Mehr entdecken Hardcover Erstausgabe
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,87
Währung umrechnenEUR 14,18 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1980
ISBN 10: 354013901X ISBN 13: 9783540139010
Sprache: Englisch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1980. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations car ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Signs of wear on the cover. Slightly creased cover. Stains on the edge. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 62,83
Gebraucht ab EUR 44,55
Mehr entdecken Softcover
-
Computation Theory and Logic.
Anbieter: Dieter Eckert, Bremen, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 18,00
Währung umrechnenEUR 46,30 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbIX,442 S. Orig.-Karton. Erste Ausgabe.- (= Lecture Notes in Computer Science - Vol. 270).- Gutes Exemplar.
-
Computation Theory and Logic (Lecture Notes in Computer Science)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 40,43
Währung umrechnenEUR 24,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Gut. 442 Seiten Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 76,11
Gebraucht ab EUR 64,43
Mehr entdecken Softcover
-
Computation Engineering: Applied Automata Theory and Logic
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 109,48
Währung umrechnenEUR 14,18 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computation Theory and Logic.
Verlag: Berlin / Springer Verlag, 1987
Anbieter: Eugen Küpper, Muenster, Deutschland
Verkäuferbewertung 2 von 5 Sternen
EUR 22,00
Währung umrechnenEUR 45,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBroschiert. Lecture Notes in Computer Science - Vol. 270. 442 S. OBrosch. Sprache: Englisch, Schnitt minimal gebräunt; Besitzvermerk auf Titelblatt; sonst guter Zustand! Keine Anstreichungen! 600 Gramm. Buch.
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 182,36
Währung umrechnenEUR 14,18 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 167,14
Währung umrechnenEUR 29,64 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.
-
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation, 3)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 195,03
Währung umrechnenEUR 14,18 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Verlag: Springer International Publishing, 2020
ISBN 10: 3030302288 ISBN 13: 9783030302283
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 181,89
Währung umrechnenEUR 31,84 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science.The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.
