Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Temporal Logic

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

Język AngielskiAngielski
Książka Miękka
Książka Temporal Logic Dov M. Gabbay
Kod Libristo: 05274404
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
486.58 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Endokrinologie Michael Krieg / Książka Miękka
common.buy 327.33 zł
Pop for Violin, m. Audio-CD. Vol.2 / Książka Miękka
common.buy 105.01 zł
Gespräche mit Tieren Penelope Smith / Książka Twarda
common.buy 66.69 zł
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Książka Twarda
common.buy 46.37 zł
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Książka Miękka
common.buy 61.45 zł
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Wideo Blu-ray
common.buy 80.27 zł
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Książka Miękka
common.buy 49.69 zł
TOP
Liebesfreud - Liebesleid Fritz Kreisler / Książka Miękka
common.buy 115.37 zł
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Książka Miękka
common.buy 58.14 zł
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Książka Miękka
common.buy 261.24 zł
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Książka Karta
common.buy 32.28 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Temporal Logic
Autor Dov M. Gabbay, Hans J. Ohlbach
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 551
EAN 9783540582410
ISBN 354058241X
Kod Libristo 05274404
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1740
Wymiary 155 x 235 x 31

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie baz danych
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Bazy danych
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Temporal Logic: Volume 2 Dov M. Gabbay / Książka Twarda
common.buy 1 365.09 zł
Temporal Logic: Volume 1 Dov M. Gabbay / Książka Twarda
common.buy 2 092.21 zł
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Książka Miękka
common.buy 81.98 zł
Danger in the Wind Jane Finnis / Książka Miękka
common.buy 74.93 zł
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Książka Miękka
common.buy 66.18 zł
Field Trip Mad Libs Mickie Matheis / Książka Miękka
common.buy 25.64 zł
Saugerties Edward Poll / Książka Miękka
common.buy 88.62 zł
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Książka Miękka
common.buy 145.25 zł
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Książka Miękka
common.buy 638.58 zł
Fairmont Bears Go To Radium Joan Olsen / Książka Miękka
common.buy 90.43 zł
Gears of a Mad God Omnibus Brent Nichols / Książka Miękka
common.buy 47.57 zł
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Książka Miękka
common.buy 166.58 zł
All the Books of the Bible: Nehemiah M E Rosson / Książka Miękka
common.buy 51.60 zł
Scholar's Challenge Julian Bauer / Książka Miękka
common.buy 111.45 zł
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Książka Miękka
common.buy 68.60 zł
Abandoned Derek Hart / Książka Miękka
common.buy 106.42 zł
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Książka Miękka
common.buy 43.55 zł
The Arrow-Maker Mary Hunter Austin / Książka Miękka
common.buy 32.48 zł
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Książka Twarda
common.buy 182.57 zł
Zapowiedź
Treasury of the True Dharma Eye Soto Zen Text Project / Książka Miękka
common.buy 995.30 zł
First-Century Palestinian Judaism David Ray Bourquin / Książka Twarda
common.buy 125.94 zł
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Książka Miękka
common.buy 372.80 zł
Biology of the Autistic Syndromes Mary Coleman / Książka Twarda
common.buy 427.93 zł
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Książka Miękka
common.buy 593.31 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?