Published by Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540738576 ISBN 13: 9783540738572
Language: English
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
£ 13.39
Convert currencyQuantity: 1 available
Add to basket2007. 16 x 24 cm. XI, 463 S. XI, 463 p. Softcover. 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. (Lecture Notes in Computer Science; Theoretical Computer Science and General Issues). Sprache: Englisch.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
£ 27.28
Convert currencyQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Seller: Basi6 International, Irving, TX, U.S.A.
£ 27.28
Convert currencyQuantity: 3 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642402054 ISBN 13: 9783642402050
Language: English
Seller: Buchpark, Trebbin, Germany
£ 33.02
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher.
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642037402 ISBN 13: 9783642037405
Language: English
Seller: Buchpark, Trebbin, Germany
£ 35.52
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 457 | Sprache: Englisch | Produktart: Bücher.
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642229433 ISBN 13: 9783642229435
Language: English
Seller: Buchpark, Trebbin, Germany
£ 38.73
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 419 | Sprache: Englisch | Produktart: Bücher.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 48.59
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.80
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In English.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
£ 42.81
Convert currencyQuantity: 1 available
Add to basketBroschiert. Condition: Gut. 455 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 720.
Condition: New. pp. 484 Illus.
£ 53.42
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 484.
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540286209 ISBN 13: 9783540286202
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.75
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jörg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and co- ductive methods; modal logics; relational systems and term rewriting.
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2009
ISBN 10: 3642037402 ISBN 13: 9783642037405
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.75
Convert currencyQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining CMCS (the International WorkshoponCoalgebraicMethodsinComputerScience)andWADT(theWo- shoponAlgebraicDevelopmentTechniques).CALCObringstogetherresearchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer s- ence. The study of algebra and coalgebra relates to the data, process and str- tural aspects of software systems. CALCO is supervised by the Steering C- mittee, co-chaired by Jos e Luiz Fiadeiro and Jan Rutten. The rst two CALCO conferences took place in 2005 in Swansea, Wales, and in 2007 in Bergen, Norway. CALCO 2009, the third event in the series, took place in Udine, Italy, during September 7 10, 2009. CALCO 2009 received 42 submissions, out of which 23 were selected for presentationattheconference.Inspiteofarelativelylownumberofsubmissions, their standard was generally very high. The selection process was carried out by the Program Committee, taking into account the originality, quality and relevance of the material presented in each submission, based on the opinions of expert reviewers, four for each submission. The selected and revised papers are included in this volume, together with the contributions from the invited speakersMaiGehrke,ConorMcBride,PrakashPanangadenandGordonPlotkin.
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642402054 ISBN 13: 9783642402050
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.75
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013.The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540738576 ISBN 13: 9783540738572
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.75
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 46.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 47.17
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
£ 56.83
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 484.
Seller: California Books, Miami, FL, U.S.A.
£ 56.91
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
£ 56.91
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
£ 56.91
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
£ 56.91
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 476 Illus.