[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Computer Science Logic

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Science Logic Laurent Fribourg
Код Либристо: 01563752
Издателство Springer, Berlin, ноември 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Цялото описание
? points 324 b
252.78 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

TOP
Rise And Fall Of The Third Reich William Shirer / С меки корици
common.buy 45.18 лв
Oxford Reading Tree: Level 2: Stories: The Toys' Party Roderick Hunt / С меки корици
common.buy 13.41 лв
Harry Potter Paper Models Moira Squier / Канцеларски материали
common.buy 43.67 лв
ПОДГОТВЯМЕ
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / С твърди корици
common.buy 97.53 лв
36x Detox Snadno a lahodně Sandra Jagemann / С меки корици
common.buy 5.74 лв
Moonstone Wilkie Collins / С меки корици
common.buy 8.77 лв
Water Markets for the 21st Century K. William Easter / С твърди корици
common.buy 388.76 лв
African Safari Planning Map Mark W. Nolting / Карта
common.buy 27.33 лв
Photonic Crystals Jean-Michel Lourtioz / С твърди корици
common.buy 388.76 лв
Oversight of the Federal Communications Commission United States Congress / С меки корици
common.buy 49.01 лв
Mom the Chemistry Professor Kimberly Woznack / С меки корици
common.buy 128.20 лв
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / С твърди корици
common.buy 391.88 лв
Chip Dude From Outer Space Sandi Johnson / С меки корици
common.buy 29.04 лв
Financial Management of Life Insurance Companies J. David Cummins / С меки корици
common.buy 250.56 лв
Analog Signal Processing Peter B. Aronhime / С твърди корици
common.buy 252.78 лв
A Moment of War Laurie Lee / С меки корици
common.buy 29.65 лв

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

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

Пълно заглавие Computer Science Logic
Автор Laurent Fribourg
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 628
Баркод 9783540425540
ISBN 3540425543
Код Либристо 01563752
Издателство Springer, Berlin
Тегло 875
Размери 155 x 235 x 32

Категории

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

Вход

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

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

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

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

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