Order Total (1 Item Items):
Shipping Destination:
Kahl Wolfram (67 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (67)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (50)
- As New, Fine or Near Fine (14)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (36)
- Not Print on Demand (50)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
RELATIONAL METHODS IN COMPUTER SCIENCE: ADVANCES IN COMPUTING SCIENCE
Language: English
Published by Springer-Verlag, Wine and New York, 1997
ISBN 10: 3211829717 ISBN 13: 9783211829714
Seller: Second Story Books, ABAA, Rockville, MD, U.S.A.
Seller rating 4 out of 5 stars
Softcover. Large Octavo, xii, xiv, xv, 272 pages. In Very Good minus condition. Paperback binding. Spine gray with green and blue lettering. Covers have slight wear including previous bookshop's sticker to the front, sparse soiling and minor edge wear. Text block has slight wear including light age toning and minimal soiling to the edges. Frontispiece. Illustrated. NOTE: Shelved in Locked Annex, Column X. 1406055. FP New Rockville Stock.
-
Relational Methods in Computer Science (Advances in Computing Sciences)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Relational Methods in Computer Science (Advances in Computing Sciences)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: New.
-
-
-
-
-
Condition: New.
-
Relational and Algebraic Methods in Computer Science : 15th International Conference, Ramics 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Relational and Algebraic Methods in Computer Science : 14th International Conference, Ramics 2014, Marienstatt, Germany, April 28 - May 1, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Relational Methods in Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, ... (Lecture Notes in Computer Science, 7560)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 53.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Relational and Algebraic Methods in Computer Science : 13th International Conference, Ramics 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Relational Methods in Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Relational and Algebraic Methods in Computer Science : 13th International Conference, Ramics 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 1st edition. 272 pages. French language. 9.50x6.75x0.75 inches. In Stock.
-
Paperback. Condition: Brand New. 2012 edition. 369 pages. 9.00x6.20x0.90 inches. In Stock.
-
Paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the 'calculus of relatives' what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper 'On the calculus of binary relations' of 1941 (actually his presidential address to the Association for Symbolic Logic).
-
Relational and Algebraic Methods in Computer Science
Language: English
Published by Springer International Publishing, Springer International Publishing Nov 2015, 2015
ISBN 10: 3319247034 ISBN 13: 9783319247038
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.
-
Relational and Algebraic Methods in Computer Science
Language: English
Published by Springer International Publishing, Springer International Publishing Apr 2014, 2014
ISBN 10: 3319062506 ISBN 13: 9783319062501
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
-
Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642333133 ISBN 13: 9783642333132
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
-
Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319247034 ISBN 13: 9783319247038
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
