Montant total (1 article articles) :
Destination de la commande :
category theory computer science (120 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (120)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (34)
- Sans impressions à la demande (95)
Langue (3)
Livraison gratuite
Pays
Evaluation du vendeur
-
Practical Applications of Category Theory in Computer Science
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,03
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 20,23
Offres d'occasion à partir de EUR 31,99
Trouvez également Couverture souple
-
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science)
Vendeur : Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,56
Autre deviseEUR 10,50 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Gut. 532 Seiten Artikel stammt aus Nichtraucherhaushalt! CA9 Sprache: Englisch Gewicht in Gramm: 921.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 65,17
Offres d'occasion à partir de EUR 27,06
Trouvez également Couverture souple
-
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Category Theory)
Edité par Cambridge University Press, 2022
ISBN 10 : 110879274X ISBN 13 : 9781108792745
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 25,55
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 30,17
Offres d'occasion à partir de EUR 34,90
Trouvez également Couverture souple
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,09
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Auflage: 1989. 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 55,44
Offres d'occasion à partir de EUR 47,09
Trouvez également Couverture souple
-
Topology and Category Theory in Computer Science
Edité par Oxford University Press, 1991
ISBN 10 : 0198537603 ISBN 13 : 9780198537601
Langue: anglais
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Membre d'association : PBFA
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,70
Autre deviseEUR 13,88 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierCloth. Etat : Good. Type: Book N.B. Small plain label to inside front cover. Damage stamp to title page. Dent to top edge of board. Corners very slightly bumped.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 107,01
Offres d'occasion à partir de EUR 55,58
Trouvez également Couverture rigide
-
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 11)
Edité par Cambridge University Press, 2009
ISBN 10 : 0521117879 ISBN 13 : 9780521117876
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,89
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 56,51
Trouvez également Couverture souple
-
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 354063455X ISBN 13 : 9783540634553
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Trouvez également Couverture souple
-
Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings
Edité par Springer Berlin Heidelberg, 1987
ISBN 10 : 3540185089 ISBN 13 : 9783540185086
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 82,83
Trouvez également Couverture souple
-
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science, 25)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,55
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 65,17
Trouvez également Couverture souple
-
Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 3540601643 ISBN 13 : 9783540601647
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 89,81
Trouvez également Couverture souple
-
Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings
Edité par Springer Berlin Heidelberg, 1991
ISBN 10 : 354054495X ISBN 13 : 9783540544951
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 58,07
Offres d'occasion à partir de EUR 96,98
Trouvez également Couverture souple
-
A Unifying Framework For Structured Analysis And Design Models: An Approach Using Initial Algebra Semantics And Category Theory (Cambridge Tracts In Theoretical Computer Science)
Edité par Cambridge University Press, 1991
ISBN 10 : 0521391962 ISBN 13 : 9780521391962
Langue: anglais
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,64
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 67,64
Trouvez également Couverture rigide
-
Category theory applied to computation and control: Proceedings of the first international symposium, San Francisco, February 25-26, 1974 (Lecture notes in computer science)
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Membre d'association : ABAA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,37
Autre deviseEUR 21,19 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Category Theory and Computer Science Manchaster Sep. 1989 / Lecture Notes in Computer Science # 389
Edité par Springer 1989, 1989
Vendeur : Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Allemagne
Évaluation du vendeur 1 sur 5 étoiles
EUR 40
Autre deviseEUR 8,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover Sehr gut erhalten.
-
Category Theory : Invariances and Symmetries in Computer Science
Edité par Gruyter, Walter de GmbH, 2023
ISBN 10 : 3111080560 ISBN 13 : 9783111080567
Langue: anglais
EUR 78,41
Autre deviseEUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 404 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 159,54
Offres d'occasion à partir de EUR 88,31
Trouvez également Couverture rigide
-
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 227,84
Autre deviseEUR 4,62 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 232,46
Trouvez également Couverture rigide
-
Category Theory for Computing Science (Prentice-hall International Series in Computer Science)
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 528,24
Autre deviseEUR 4,55 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Category Theory and Computer Science: Edinburgh, U.K., Sptember 7-9, 1987 Proceedings (Lecture Notes in Computer Science, Vol 283)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,86
Autre deviseEUR 88,99 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science 389)
Edité par Springer Verlag, Secaucus, New Jersey, U.S.A., 1989
ISBN 10 : 038751662X ISBN 13 : 9780387516622
Vendeur : Book Booth, Berea, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 117,84
Autre deviseEUR 35,59 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoft Cover. Etat : Good. Text clean & bright; binding tight; moderate wear to covers; previous owner's name inked on title page. 365 pages. Volume 389, Lecture Notes in Computer Science.
-
Application of Category Theory in Computer Science (Essence)(Chinese Edition)
Edité par Sun Yat-sen University Press, 2020
ISBN 10 : 7306070193 ISBN 13 : 9787306070197
Langue: chinois
EUR 91,07
Autre deviseEUR 12,71 expédition depuis Chine vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierHardcover. Etat : New. HardCover. Pub Date: 2020-11-01 Pages: 160 Language: Chinese Publisher: Sun Yat-Sen University Press As a highly abstract mathematical theory. the category theory method has broad application prospects in computer science.?The author of this book has been engaged in research work in the field of application of category theory in computer science for more than ten years. Most of the content is the author's recent research results.?The content of the book includes 5 chapters: Chapter 1 introduc.
