Проверка на състоянието на поръчката
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€

Temporal Logic

First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Temporal Logic Dov M. Gabbay
Код Либристо: 05274404
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Цялото описание
? points 289 b
119.63 €
233.97  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

Клиентите са закупили също

Endokrinologie Michael Krieg / Книга С меки корици
common.buy 77.06 € 150.72 лв
Gespräche mit Tieren Penelope Smith / Книга С твърди корици
common.buy 20.27 € 39.64 лв
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Книга С меки корици
common.buy 14.48 € 28.31 лв
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Книга С твърди корици
common.buy 9.15 € 17.89 лв
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Видео Blu-ray
common.buy 19.86 € 38.83 лв
Pop for Violin, m. Audio-CD. Vol.2 / Книга С меки корици
common.buy 25.55 € 49.96 лв
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Книга С меки корици
common.buy 11.68 € 22.85 лв
Liebesfreud - Liebesleid Fritz Kreisler / Печатни материали Ноти
common.buy 42.72 € 83.55 лв
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Книга С меки корици
common.buy 61.49 € 120.27 лв
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Книга С меки корици
common.buy 13.08 € 25.58 лв
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Книга Лист
common.buy 7.60 € 14.86 лв

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

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

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

Пълно заглавие Temporal Logic
Автор Dov M. Gabbay, Hans J. Ohlbach
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1994
Брой страници 551
Баркод 9783540582410
ISBN 354058241X
Код Либристо 05274404
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1740
Размери 155 x 235 x 31

Категории

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 > Database programming
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Databases
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Temporal Logic: Volume 2 Dov M. Gabbay / Книга С твърди корици
common.buy 328.17 € 641.84 лв
Temporal Logic: Volume 1 Dov M. Gabbay / Книга С твърди корици
common.buy 538.88 € 1 053.96 лв
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Книга С меки корици
common.buy 16.13 € 31.55 лв
Field Trip Mad Libs Mickie Matheis / Книга С меки корици
common.buy 6.41 € 12.53 лв
Saugerties Edward Poll / Книга С меки корици
common.buy 22.08 € 43.18 лв
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Книга С меки корици
common.buy 35.73 € 69.89 лв
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Книга С меки корици
common.buy 164.68 € 322.08 лв
Fairmont Bears Go To Radium Joan Olsen / Книга С меки корици
common.buy 21.30 € 41.67 лв
History of the town of Berlin William A. Houghton / Книга С меки корици
common.buy 41.01 € 80.21 лв
Hedgehog and Rabbit: The Stubborn Cloud PABLO / Книга С твърди корици
common.buy 15.98 € 31.25 лв
Gears of a Mad God Omnibus Brent Nichols / Книга С меки корици
common.buy 11.22 € 21.94 лв
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Книга С меки корици
common.buy 39.20 € 76.67 лв
All the Books of the Bible: Nehemiah M E Rosson / Книга С меки корици
common.buy 12.15 € 23.76 лв
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Книга С меки корици
common.buy 19.29 € 37.72 лв
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Книга С меки корици
common.buy 15.56 € 30.44 лв
Abandoned Derek Hart / Книга С меки корици
common.buy 25.03 € 48.95 лв
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Книга С меки корици
common.buy 10.24 € 20.02 лв
The Arrow-Maker Mary Hunter Austin / Книга С меки корици
common.buy 7.65 € 14.96 лв
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Книга С твърди корици
common.buy 42.98 € 84.05 лв
The Wealth and Income of the Chief Powers Josiah Stamp / Книга С твърди корици
common.buy 29.73 € 58.16 лв
Real Doc Martin Martin Stagg / Книга С меки корици
common.buy 14.89 € 29.12 лв
Treasury of the True Dharma Eye Soto Zen Text Project / Книга С меки корици
common.buy 246.34 € 481.81 лв
Top
Shadows of Navarre (Fourth Wing) Canvas Bag Paperblanks / Канцеларски материали Канцеларски материали
common.buy 20.37 € 39.85 лв
Reusable Launch Vehicle Committee on Reusable Launch Vehicle Technology and Test Program / Книга С меки корици
common.buy 152.37 € 298.00 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?