Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Algebra and Coalgebra in Computer Science José Luis Fiadeiro
Codul Libristo: 01561078
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2005
This book constitutes the refereed proceedings of the First International Conference on Algebra and... Descrierea completă
? points 125 b
270.48 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Curând
O pojmu cosmona; On the Concept od cosmona Rudolf Polách / Carte Foaie
common.buy 35.53 lei
Leftin
Historie a změny klimatu Pascal Acot / Carte Carte broșată
common.buy 28.57 lei
Svetové zdravotnícke systémy v čase globalizácie Peter Ondruš / Carte Carte broșată
common.buy 36.98 lei
Curând
Komunikační systémy Jean Lohisse / Carte Carte broșată
common.buy 45.19 lei
Příběh umění Ernst Hans Gombrich / Carte Copertă tare
common.buy 452.24 lei
Curând
Exegetické zlomky Klement Alexandrijský / Carte Copertă tare
common.buy 65.56 lei
Rozmluva a usuzování Ladislav Tondl / Carte Carte broșată
common.buy 11.94 lei
Globální oteplování Země Jaroslav Kadrnožka / Carte Copertă tare
common.buy 144.12 lei
Curând
Idea univerzity J.H. Newman / Carte Foaie
common.buy 54.55 lei
Curând
Grafy, mapy, stromy Franco Moretti / Carte Carte broșată
common.buy 30.02 lei
Curând
Užívání a prožívání jazyka Světla Čmejrková / Carte Carte broșată
common.buy 61.20 lei
Curând
Hospodářsko-politické důsledky průzkumu vesmíru Martin Machay / Carte Carte broșată
common.buy 43.74 lei
Curând
KULTURY, CIVILIZACE, SVĚTOVÝ SYSTÉM Jiří Šubrt / Carte Carte
common.buy 51.74 lei
Curând
Rétorika a řečová kultura Jiří Kraus / Carte Carte broșată
common.buy 35.74 lei

This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras as mathematical objects as well as their application in computer science.§The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Algebra and Coalgebra in Computer Science
Autor José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 457
EAN 9783540286202
ISBN 3540286209
Codul Libristo 01561078
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1460
Dimensiuni 152 x 229 x 26

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Geology of Clays Georges Millot / Carte Carte broșată
common.buy 270.48 lei
Gardens and Their Meaning Dora Williams / Carte Carte broșată
common.buy 128.33 lei
Windfall Joe Black / Carte Carte broșată
common.buy 56.94 lei
Valley of Death; Zombie Trailer Park MR William R Bebb / Carte Carte broșată
common.buy 61.92 lei
Local Business Insane Results: How local businesses are cashing in on marketing their businesses online MR Jason C Maxwell / Carte Carte broșată
common.buy 41.76 lei
SELECT SPEECHES, FORENSICK AND PARLIAMEN NATHANIEL CHAPMAN / Carte Copertă tare
common.buy 215.31 lei
Handbook of 3D Machine Vision Song Zhang / Carte Carte broșată
common.buy 638.14 lei
Code of Federal Regulations, Title 17, Commodity and Securities Exchanges, PT. 240-End, Revised as of April 1, 2016 Department of the Treasury (U S ) / Carte Carte broșată
common.buy 400.80 lei
How to Prosper in Hard Times: Blueprints for Abundance by the Greatest Motivational Teachers of All Time Napoleon Hill / Carte Carte broșată
common.buy 125.94 lei
History of Society of Friends, V1, Pt4: Vol. 1 PT. 4 James Bowden / Carte Carte broșată
common.buy 50.60 lei
School Leader's Guide to Formative Assessment STANLEY / Carte Copertă tare
common.buy 944.59 lei
Top
Good Menopause Guide Liz Earle / Carte Copertă tare
common.buy 111.91 lei
Creative Haven - Art Nouveau Designs Coloring Book Alphonse Maria Mucha / Carte Carte broșată
common.buy 37.81 lei
Dark Angel Ariel Undine / Carte Carte broșată
common.buy 106.19 lei
Story of One Navy Fighter Pilot Calvin E Sr Rains / Carte Carte broșată
common.buy 111.39 lei
Appreciation of Tactical Agility as a Function of the Decision-Making Process Brian A Lovatt / Carte Carte broșată
common.buy 90.71 lei
Practical Guide to Particle Counting for Drinking Water Treatment John Michael Broadwell / Carte Copertă tare
common.buy 277.86 lei
Top
Building Walking Bass Lines Ed Friedland / Carte Copertă tare
common.buy 109.10 lei
Evolutionary UFOlogy Jordan Hofer / Carte Carte broșată
common.buy 73.35 lei
Good and Bad Ways to Think About Religion and Politics Robert Benne / Carte Carte broșată
common.buy 87.59 lei
Blind Spot Salmaan Keshavjee / Carte Copertă tare
common.buy 593.77 lei
Holding the Man Timothy Conigrave / Carte Carte broșată
common.buy 83.54 lei
Park Cruising: What Happens When We Wander Off the Path Marcus McCann / Carte Carte broșată
common.buy 75.75 lei
American Inventions and Inventors Arthur May Mowry / Carte Carte broșată
common.buy 116.59 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?