Gesamtpreis (1 Artikel Artikel):
Versandziel:
oostrom vincent (42 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (42)
- 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 (32)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (8)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
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 (29)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Logic Colloquium '99
Buch 24 von 39: Lecture Notes in LogicSprache: Englisch
Verlag: Association for Symbolic Logic, Urbana, IL, 2004
ISBN 10: 1568812035 ISBN 13: 9781568812038
Anbieter: Carothers and Carothers, Albany, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Soft cover. Zustand: Near Fine. viii, 208 p. Series: Lecture notes in logic ; 17. Light edgewear to original printed paper wrappers, minor bumping to bottom fore-corner of upper panel, backstrip uncreased; contents as new. 300 grams.
-
Logic Colloquium '99: Lecture Notes in Logic 17
Buch 24 von 39: Lecture Notes in LogicAnbieter: Green Ink Booksellers, Hay-on-Wye, POWYS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 26,13
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. - Minor shelfwear ow near new condition - Clean bright tight book 230 pages.
-
Logic Colloquium '99
Buch 24 von 39: Lecture Notes in LogicSprache: Englisch
Verlag: Association for Symbolic Logic, Urbana, IL, 2004
ISBN 10: 1568811993 ISBN 13: 9781568811994
Anbieter: Carothers and Carothers, Albany, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: As New. viii, 208 p. Series: Lecture notes in logic ; 17. Boards and backstrip bright, corners sharp; contents as new. 420 grams.
-
Logic Colloquium '99: Lecture Notes in Logic 17 [Hardcover] [Jul 08, 2004] Van Eijck, Jan; Van Oostrom, Vincent and Visser, Albert
Buch 24 von 39: Lecture Notes in LogicAnbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,79
EUR 28,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. some shelf wear but the content excellent throughout.
-
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Buch 24 von 39: Lecture Notes in LogicAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Buch 24 von 39: Lecture Notes in LogicAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Zustand: New. pp. 230.
-
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,87
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science, 3091)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,90
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Processes, Terms And Cycles
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Processes, Terms And Cycles
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,89
EUR 17,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Buch 24 von 39: Lecture Notes in LogicAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 63,60
EUR 17,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Logic Colloquium '99: Lecture Notes in Logic 17
Buch 24 von 39: Lecture Notes in LogicAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,37
EUR 16,23 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days.
-
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Buch 24 von 39: Lecture Notes in LogicAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,36
EUR 17,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Logic Colloquium '99 (Lecture Notes in Logic, 17)
Buch 24 von 39: Lecture Notes in LogicAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,11
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Buch 24 von 39: Lecture Notes in LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,23
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. illustrated edition. 230 pages. 9.00x6.00x0.75 inches. In Stock.
-
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540221530 ISBN 13: 9783540221531
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), and Valencia (2003). The program committee selected 19 papers for presentation, including ve system descriptions, from a total of 43 submissions. In addition, there were invited talks by Neil Jones, Aart Middeldorp, and Robin Milner. Many people helped to make RTA 2004 a success. I am grateful to the m- bers of the program committee and the external referees for reviewing the s- missionsandmaintainingthehighstandardsoftheRTAconferences. Itisagreat pleasure to thank the conference chair Jurgen Giesl and the other members of the local organizing committee. They were in charge of the local organization of all events partaking in the Federated Conference on Rewriting, Deduction, and Programming (RDP). Apart from RTA 2004, these events were: 2nd International Workshop on Higher-Order Rewriting (Delia Kesner, Femke van Raamsdonk, and Joe Wells), 5th International Workshop on Rule-Based Programming (Slim Abdennadher and Christophe Ringeissen), 13thInternationalWorkshoponFunctionaland(Constraint)LogicProgr- ming (Herbert Kuchen), IFIP Working Group 1.
-
Taschenbuch. Zustand: Neu. Rewriting Techniques and Applications | 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings | Vincent van Oostrom | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540221531 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 3838)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,21
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,47
EUR 17,30 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Processes, Terms and Cycles: Steps on the Road to Infinity
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 354030911X ISBN 13: 9783540309116
EUR 92,27
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science, 3091)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 119,97
EUR 28,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 150,94
EUR 2,26 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 138,98
EUR 28,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Processes, Terms and Cycles: Steps on the Road to Infinity
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2005, 2005
ISBN 10: 354030911X ISBN 13: 9783540309116
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem¿s scienti c achievements, we recall three accomplishments from the early years of his career that especially stand out. The rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church¿Rosserproperty,or, in modern terminology, is not con uent [7,9]. This settled a famous open problem, which had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9],Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs),therebyputtingtheareasofhigher-order rewriting and orthogonality rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work,Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in nitary rewriting, graph rewriting and the geometry of processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 660 pp. Englisch.
-
Taschenbuch. Zustand: Neu. Processes, Terms and Cycles: Steps on the Road to Infinity | Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday | Aart Middeldorp (u. a.) | Taschenbuch | xviii | Englisch | 2005 | Springer | EAN 9783540309116 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem s scienti c achievements, we recall three accomplishments from the early years of his career that especially stand out. The rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church Rosserproperty,or, in modern terminology, is not con uent [7,9]. This settled a famous open problem, which had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9],Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs),therebyputtingtheareasofhigher-order rewriting and orthogonality rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work,Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in nitary rewriting, graph rewriting and the geometry of processes.
-
Rewriting Techniques and Applications
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
