Relational and Algebraic Methods in Computer Science Image close
Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
Show Hide Adult Content
Relational and Algebraic Methods in Computer Science close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics  
Mathematics for scientists & engineers

Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$156.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.00 with Afterpay Learn more

6 weekly interest-free payments of $26.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Computer Vision Systems
$159.00
Computer Vision Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Quantitative Evaluation of Systems
$152.00
Quantitative Evaluation of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Topics in Theoretical Computer Science
$151.00
Topics in Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Queueing Theory and Network Applications
$151.00
Queueing Theory and Network Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Network and Parallel Computing
$151.00
Network and Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation: Extending Horizons of Computing
$139.00
Reversible Computation: Extending Horizons of Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Satisfiability Testing - SAT 2014
$156.00
Theory and Applications of Satisfiability Testing - SAT 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning – ICANN 2017
$292.00
Artificial Neural Networks and Machine Learning – ICANN 2017
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Data Driven Applications Systems
$151.00
Dynamic Data Driven Applications Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$154.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2020
$151.00
Advances in Neural Networks – ISNN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$267.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$292.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$149.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2019: Parallel Processing Workshops
$292.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
SOFSEM 2021: Theory and Practice of Computer Science
$292.00
SOFSEM 2021: Theory and Practice of Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
April 10th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Martin Eric Muller
  • Edited by Peter Hofner
  • Edited by Peter Jipsen
  • Edited by Wolfram Kahl
Illustrations
28 Illustrations, black and white; XII, 463 p. 28 illus.
Pages
463
Dimensions
155x235x24
ISBN-13
9783319062501
Product ID
22234244

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence