Order Total (1 Item Items):
Shipping Destination:
Wolfram Kahl (89 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (89)
- 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 (72)
- 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 (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (36)
- Not Print on Demand (67)
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.
-
-
Relational and Algebraic Methods in Computer Science (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642333133 ISBN 13: 9783642333132
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New.
-
Relational Methods in Computer Science (Paperback)
Language: English
Published by Springer Verlag GmbH, Vienna, 1997
ISBN 10: 3211829717 ISBN 13: 9783211829714
Paperback. Condition: new. Paperback. The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Relational and Algebraic Methods in Computer Science (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2015
ISBN 10: 3319247034 ISBN 13: 9783319247038
First Edition
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 67.30
US$ 21.21 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 67.42
US$ 21.21 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 67.67
US$ 21.21 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
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
US$ 69.54
US$ 16.41 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
US$ 69.54
US$ 16.41 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
US$ 69.54
US$ 16.41 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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.93
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Relational Methods in Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.80
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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
US$ 70.93
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 73.34
US$ 21.21 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. 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
US$ 75.18
US$ 16.41 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 292.
-
Condition: New. pp. 372.
-
Condition: New. pp. 476.
-
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
US$ 76.57
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
