Copied Category Theory and Computer Science
Category Theory and Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Design of Experiments for Pharmaceutical Product Development
$149.00
Formulation of Microbial Biopesticides
$329.99
Proceedings of All India Seminar on Biomedical Engineering 2012 (AISOBE 2012)
$219.99
Classical Mechanics
$39.99
Light Scattering Reviews 10
$129.00
Dokumentationsverfahren in der Herzchirurgie III
$44.99
Official Wings of Fire Coloring Book by Brianna C. Walsh
$15.99
Fracture Scaling
$129.00
Creative Space
$129.00
iRODS Primer
$19.99
Microbial Ecology of a Brackish Water Environment
$109.99
Fuzzy Logic and Soft Computing
$129.00
Holocaust as Fiction
$99.99
Vienna A Doctors Guide
$64.99
Children in Conflict with the Law
$39.99
Recent Progress in Operator Theory
$109.99
Multiscale Modeling of Pedestrian Dynamics
$54.99
Construction and Real Estate Dynamics
$109.99
Advanced Materials
$169.00
Lectures on Location Theory
$109.99
Borders, Mobility, Regional Integration and Development
$109.99
Microactuators
$129.00
Neural Development and Stem Cells
$219.99
The European Union as Guardian of Internet Privacy
$199.99
Remote Sensing for Environmental Sciences
$84.99
Globalisation and Education Reforms
$129.99
Offending Women in Contemporary China
$54.99
The Touch of the Past
$54.99
Arbeit zwischen Selbstverwirklichung und Selbstgefhrdung
$17.99
Dispersed Manufacturing Networks
$169.99
Deliberative Public Engagement with Science
$24.99
Arbitrary Modeling of TSVs for 3D Integrated Circuits
$109.99
Computational Methods for Fluid Dynamics
$79.99
Electron Correlation in New Materials and Nanosystems
$109.99
Die Verantwortungen des Naturwissenschaftlers
$54.99
Handbook of LGBT Elders
$89.00
The Geoheritage of Hot Springs
$199.99
Advances in Industrial Internet of Things, Engineering and Management
$109.00
Bio-synthetic Polymer Conjugates
$169.00
Health, Safety and Well-being of Migrant Workers: New Hazards, New Workers
$84.99
