Проверка на състоянието на поръчката
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.65 €
234.02  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Endokrinologie Michael Krieg / Книга С меки корици
common.buy 81.21 € 158.84 лв
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Книга С меки корици
common.buy 12.41 € 24.27 лв
Gespräche mit Tieren Penelope Smith / Книга С твърди корици
common.buy 16.70 € 32.67 лв
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Книга С твърди корици
common.buy 9.67 € 18.91 лв
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Книга С меки корици
common.buy 14.48 € 28.32 лв
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Видео Blu-ray
common.buy 19.86 € 38.84 лв
Liebesfreud - Liebesleid Fritz Kreisler / Книга С меки корици
common.buy 28.29 € 55.33 лв
Pop for Violin, m. Audio-CD. Vol.2 / Книга С меки корици
common.buy 25.81 € 50.48 лв
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Книга С меки корици
common.buy 13.70 € 26.80 лв
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Книга С меки корици
common.buy 65.13 € 127.37 лв
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Книга Лист
common.buy 7.96 € 15.57 лв

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 321.35 € 628.52 лв
Temporal Logic: Volume 1 Dov M. Gabbay / Книга С твърди корици
common.buy 513.95 € 1 005.21 лв
All the Books of the Bible: Nehemiah M E Rosson / Книга С меки корици
common.buy 12.15 € 23.77 лв
Good Morning, Mr Mandela Zelda La Grange / Книга С меки корици
common.buy 14.84 € 29.03 лв
Danger in the Wind Jane Finnis / Книга С меки корици
common.buy 18.62 € 36.41 лв
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.57 € 30.45 лв
Field Trip Mad Libs Mickie Matheis / Книга С меки корици
common.buy 6.46 € 12.64 лв
Saugerties Edward Poll / Книга С меки корици
common.buy 22.14 € 43.29 лв
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Книга С меки корици
common.buy 35.74 € 69.90 лв
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Книга С меки корици
common.buy 164.71 € 322.14 лв
Fairmont Bears Go To Radium Joan Olsen / Книга С меки корици
common.buy 21.31 € 41.68 лв
Gears of a Mad God Omnibus Brent Nichols / Книга С меки корици
common.buy 11.22 € 21.95 лв
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Книга С меки корици
common.buy 39.21 € 76.68 лв
Scholar's Challenge Julian Bauer / Книга С меки корици
common.buy 26.22 € 51.29 лв
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Книга С меки корици
common.buy 19.29 € 37.73 лв
Abandoned Derek Hart / Книга С меки корици
common.buy 25.03 € 48.96 лв
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.07 лв
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Книга С меки корици
common.buy 87.73 € 171.59 лв
Biology of the Autistic Syndromes Mary Coleman / Книга С твърди корици
common.buy 100.72 € 196.99 лв
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Книга С меки корици
common.buy 154.42 € 302.01 лв
Rose O' the River Kate Douglas Smith Wiggin / Книга С меки корици
common.buy 9.57 € 18.71 лв
Reusable Launch Vehicle Committee on Reusable Launch Vehicle Technology and Test Program / Книга С меки корици
common.buy 41.12 € 80.43 лв

Вход

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

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

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

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

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