Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
1st ed. 2016
Book Details
Format
Paperback / Softback
Book Series
Theoretical Computer Science and General Issues
ISBN-10
3319403699
ISBN-13
9783319403694
Edition
1st ed. 2016
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
CH
Country of Publication
GB
Publication Date
Jun 4th, 2016
Print length
235 Pages
Product Classification:
Maths for computer scientistsArtificial intelligenceUser interface design & usability
AI Summary
Ksh 8,100.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.
The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Get Coalgebraic Methods in Computer Science by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Multiagent System Technologies
Ksh 8,100.00
Data Mining for Bioinformatics Applications
Ksh 26,100.00
Digital Afterlife
Ksh 8,650.00
Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2023
Ksh 45,000.00
Computational Intelligence and Blockchain in Complex Systems
Ksh 24,850.00
Parallel Problem Solving from Nature – PPSN XVI
Ksh 14,400.00