Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Temporal Logic

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Temporal Logic Dov M. Gabbay
Libristo kod: 05274404
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Cijeli opis
? points 265 b
109.14 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Endokrinologie Michael Krieg / Knjiga Meki uvez
common.buy 76.93 €
Pop for Violin, m. Audio-CD. Vol.2 / Knjiga Meki uvez
common.buy 23.62 €
Gespräche mit Tieren Penelope Smith / Knjiga Tvrdi uvez
common.buy 15.64 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Knjiga Tvrdi uvez
common.buy 10.29 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Knjiga Meki uvez
common.buy 14.43 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Video Blu-ray
common.buy 18.87 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Knjiga Meki uvez
common.buy 11.70 €
Top
Liebesfreud - Liebesleid Fritz Kreisler / Knjiga Meki uvez
common.buy 25.94 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Knjiga Meki uvez
common.buy 13.62 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Knjiga Meki uvez
common.buy 61.38 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Knjiga List
common.buy 7.56 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Temporal Logic
Autor Dov M. Gabbay, Hans J. Ohlbach
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 551
EAN 9783540582410
ISBN 354058241X
Libristo kod 05274404
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1740
Dimenzije 155 x 235 x 31

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Temporal Logic: Volume 2 Dov M. Gabbay / Knjiga Tvrdi uvez
common.buy 320.67 €
Temporal Logic: Volume 1 Dov M. Gabbay / Knjiga Tvrdi uvez
common.buy 491.51 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Knjiga Meki uvez
common.buy 19.28 €
Danger in the Wind Jane Finnis / Knjiga Meki uvez
common.buy 17.56 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Knjiga Meki uvez
common.buy 15.54 €
Field Trip Mad Libs Mickie Matheis / Knjiga Meki uvez
common.buy 5.64 €
Saugerties Edward Poll / Knjiga Meki uvez
common.buy 19.58 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Knjiga Meki uvez
common.buy 34.12 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Knjiga Meki uvez
common.buy 157.20 €
Fairmont Bears Go To Radium Joan Olsen / Knjiga Meki uvez
common.buy 21.19 €
Gears of a Mad God Omnibus Brent Nichols / Knjiga Meki uvez
common.buy 11.20 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Knjiga Meki uvez
common.buy 39.17 €
All the Books of the Bible: Nehemiah M E Rosson / Knjiga Meki uvez
common.buy 12.11 €
Scholar's Challenge Julian Bauer / Knjiga Meki uvez
common.buy 26.14 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Knjiga Meki uvez
common.buy 16.15 €
Abandoned Derek Hart / Knjiga Meki uvez
common.buy 25.03 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Knjiga Meki uvez
common.buy 10.19 €
The Arrow-Maker Mary Hunter Austin / Knjiga Meki uvez
common.buy 7.66 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Knjiga Tvrdi uvez
common.buy 42.90 €
Pripremamo
Treasury of the True Dharma Eye Soto Zen Text Project / Knjiga Meki uvez
common.buy 221.52 €
First-Century Palestinian Judaism David Ray Bourquin / Knjiga Tvrdi uvez
common.buy 31.09 €
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Knjiga Meki uvez
common.buy 87.53 €
Biology of the Autistic Syndromes Mary Coleman / Knjiga Tvrdi uvez
common.buy 100.56 €
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Knjiga Meki uvez
common.buy 146.70 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?