Relational Methods Computer Science (323 results)

Hardcover. Condition: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;3051.[x, 277 p. : ill. ; 24 cm].

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Condition: New. pp. xiii + 297.

hardcover. Condition: Good. Ex-library copy with usual markings, otherwise very good condition.

Condition: New. pp. xiii + 297.

Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.1.

Condition: New. pp. xiii + 297.

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

1st ed. 17 x 25 cm. 297 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.

XVIII, 502 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Outstanding Contributions to Logic Book 17 Sprache: Englisch.

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing. This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.

Condition: New.

Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011.This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences, which have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. For that reason this conference included a special track on Computational Social Choice and Social Software. The 18 papers included were carefully reviewed and selected from 27 submissions. In addition the volume contains 2 invited tutorials and 5 invited talks. This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. Relational and algebraic methods and software tools turn out to be useful for solving problems in social choice and game theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing. Constitutes the refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Paperback. Condition: new. Paperback. This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condition: new. Paperback. The origins of relational theories can be found in the work of three 19th cen- tury mathematicians: Augustus de Morgan (1864, On the syllogism IV and on the logic of relations), Charles Sanders Peirce (1882, Brief description of the algebra of relatives) and Ernst Schroder (1895, Vorlesungen iiber die Al- gebra und Logik der Relative). The modern origins of the theory of relations are due to Alfred Tarski (14 January 1902, Warsaw -26 October 1983, Berke- ley). His paper' On the calculus of Relations' published in 1941 gave rise to an algebraic theory of relations which is still extensively studied. In the 1970s, the applications of relational theories to various applied sciences emerged. Nowadays relational theories are experiencing a period of extensive development, with the emergence of new theories and systems allow- ing better understanding and better use of such theories.Relational theories have been used, among others, in the following fields: * Theory of programs: program specification, program verification, mod- elling concurrency, process calculi, semantics of programming languages; * Databases: relational databases, tabular methods, dependency theory, rectangular and difunctional decomposition of databases; * Computational linguistics: relational semantics of natural languages, re- lational grammars, Lambek calculus; * Spatial reasoning: modelling of relationships between space regions; * Handling uncertainty: fuzzy relations, many-valued relations, information relations. Indeed, the concept of relation emerges again and again throughout computer science, from its theoretical foundations to very practical implementations. The origins of relational theories can be found in the work of three 19th cenA tury mathematicians: Augustus de Morgan (1864, On the syllogism IV and on the logic of relations), Charles Sanders Peirce (1882, Brief description of the algebra of relatives) and Ernst Schroder (1895, Vorlesungen iiber die AlA gebra und Logik der Relative). The modern origins of the theory of relations are due to Alfred Tarski (14 January 1902, Warsaw -26 October 1983, BerkeA ley). His paper' On the calculus of Relations' published in 1941 gave rise to an algebraic theory of relations which is still extensively studied. In the 1970s, the applications of relational theories to various applied sciences emerged. Nowadays relational theories are experiencing a period of extensive development, with the emergence of new theories and systems allowA ing better understanding and better use of such theories. Relational theories have been used, among others, in the following fields: a Theory of programs: program specification, program verification, modA elling concurrency, process calculi, semantics of programming languages; a Databases: relational databases, tabular methods, dependency theory, rectangular and difunctional decomposition of databases; a Computational linguistics: relational semantics of natural languages, reA lational grammars, Lambek calculus; a Spatial reasoning: modelling of relationships between space regions; a Handling uncertainty: fuzzy relations, many-valued relations, information relations. Indeed, the concept of relation emerges again and again throughout computer science, from its theoretical foundations to very practical Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

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.

Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences. Compiled from the joint post-proceedings of the 6th International Conference on Relational Methods in Computer Science, and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments, this volume contains 21 papers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.