Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Category Theory and Computer Science David H. Pitt
Код Либристо: 01565222
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Цялото описание
? points 124 b
51.08 €
99.91  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Може би ще Ви заинтересува

On the Way to the Web Michael Banks / Книга С меки корици
common.buy 15.73 € 30.77 лв
Abstract Algebra 3e (WSE) I.N. Herstein / Книга С меки корици
common.buy 169.57 € 331.64 лв
Biomedical Signals and Sensors II Eugenijus Kaniusas / Книга С твърди корици
common.buy 129.93 € 254.13 лв
The Teeth Whitening Cure Dds Lester Sawicki / Книга С меки корици
common.buy 9.39 € 18.36 лв
Rules for Vanishing Kate Alice Marshall / Книга С твърди корици
common.buy 21.46 € 41.98 лв
That Fruit Is Mine! Anuska Allepuz / Книга С меки корици
common.buy 9.28 € 18.16 лв
The Fates Divide Veronica Roth / Книга С меки корици
common.buy 14.13 € 27.64 лв
Memoirs of a Book Thief Alessandro Tota / Книга С твърди корици
common.buy 19.29 € 37.74 лв
Harvest of Sorrow Robert Conquest / Книга С меки корици
common.buy 22.60 € 44.20 лв
Through Russia Maxim Gorky / Книга С меки корици
common.buy 13.21 € 25.83 лв
Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows / Книга С меки корици
common.buy 8.46 € 16.54 лв
Top
Advances in Financial Machine Learning Marcos Lopez de Prado / Книга С твърди корици
common.buy 41.38 € 80.94 лв
Is Your Liver Making You Fat? Christy Belmont / Книга С меки корици
common.buy 6.19 € 12.10 лв
Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah / Книга С меки корици
common.buy 30.49 € 59.64 лв
Hegde's PocketGuide to Assessment in Speech-Language Pathology MN Hegde / Книга С меки корици
common.buy 115.59 € 226.07 лв
New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books / Книга С меки корици
common.buy 15.63 € 30.57 лв
Category Theory in Context Riehl / Книга С меки корици
common.buy 26.78 € 52.37 лв
Our Voices Alberto Gonzalez / Книга С меки корици
common.buy 172.92 € 338.20 лв
Falcons Melissa Gish / Книга С меки корици
common.buy 12.17 € 23.81 лв
Staten Island Rapid Transit Marc Pitanza / Книга С твърди корици
common.buy 24.51 € 47.93 лв
The Imperialism of French Decolonisaton R. Ikeda / Книга С меки корици
common.buy 95.31 € 186.41 лв
Top
Roadside Picnic Boris Strugatsky / Книга С меки корици
common.buy 11.19 € 21.89 лв
Top
Bank Treasury Management Beata Lubinska / Книга С твърди корици
common.buy 61.92 € 121.10 лв
An Introduction to Theory of Computation Mitsunori Ogihara / Книга С твърди корици
common.buy 84.88 € 166.02 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Category Theory and Computer Science
Автор David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Език Английски език
Корици Книга - С меки корици
Брой страници 372
Баркод 9783540516620
ISBN 354051662X
Код Либристо 01565222
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1160
Размери 170 x 250 x 21

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo