Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Temporal Logic

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

Limba englezăengleză
Carte Carte broșată
Carte Temporal Logic Dov M. Gabbay
Codul Libristo: 05274404
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Descrierea completă
? points 277 b
599.44 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Endokrinologie Michael Krieg / Carte Carte broșată
common.buy 425.03 lei
Pop for Violin, m. Audio-CD. Vol.2 / Carte Carte broșată
common.buy 129.31 lei
Gespräche mit Tieren Penelope Smith / Carte Copertă tare
common.buy 87.35 lei
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Carte Copertă tare
common.buy 57.12 lei
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Carte Carte broșată
common.buy 79.35 lei
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Videoclip Blu-ray
common.buy 103.86 lei
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Carte Carte broșată
common.buy 64.91 lei
Top
Liebesfreud - Liebesleid Fritz Kreisler / Carte Carte broșată
common.buy 142.09 lei
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Carte Carte broșată
common.buy 75.09 lei
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Carte Carte broșată
common.buy 340.69 lei
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Carte Foaie
common.buy 41.75 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Temporal Logic
Autor Dov M. Gabbay, Hans J. Ohlbach
Limba engleză
Legare Carte - Carte broșată
Data publicării 1994
Număr pagini 551
EAN 9783540582410
ISBN 354058241X
Codul Libristo 05274404
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1740
Dimensiuni 155 x 235 x 31

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Temporal Logic: Volume 2 Dov M. Gabbay / Carte Copertă tare
common.buy 1 752.73 lei
Temporal Logic: Volume 1 Dov M. Gabbay / Carte Copertă tare
common.buy 2 689.34 lei
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Carte Carte broșată
common.buy 106.15 lei
Danger in the Wind Jane Finnis / Carte Carte broșată
common.buy 97.53 lei
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Carte Carte broșată
common.buy 85.48 lei
Field Trip Mad Libs Mickie Matheis / Carte Carte broșată
common.buy 31.57 lei
Saugerties Edward Poll / Carte Carte broșată
common.buy 109.26 lei
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Carte Carte broșată
common.buy 187.06 lei
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Carte Carte broșată
common.buy 824.11 lei
Fairmont Bears Go To Radium Joan Olsen / Carte Carte broșată
common.buy 116.53 lei
Gears of a Mad God Omnibus Brent Nichols / Carte Carte broșată
common.buy 61.69 lei
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Carte Carte broșată
common.buy 215.21 lei
All the Books of the Bible: Nehemiah M E Rosson / Carte Carte broșată
common.buy 66.78 lei
Scholar's Challenge Julian Bauer / Carte Carte broșată
common.buy 143.64 lei
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Carte Carte broșată
common.buy 89.53 lei
Abandoned Derek Hart / Carte Carte broșată
common.buy 137.31 lei
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Carte Carte broșată
common.buy 56.50 lei
The Arrow-Maker Mary Hunter Austin / Carte Carte broșată
common.buy 42.16 lei
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Carte Copertă tare
common.buy 235.99 lei
Curând
Treasury of the True Dharma Eye Soto Zen Text Project / Carte Carte broșată
common.buy 1 225.99 lei
First-Century Palestinian Judaism David Ray Bourquin / Carte Copertă tare
common.buy 163.28 lei
Introduction to the Principles of Plant Taxonomy V. V. SivarajanN. K. P. Robson / Carte Carte broșată
common.buy 480.61 lei
Biology of the Autistic Syndromes Mary Coleman / Carte Copertă tare
common.buy 552.69 lei
Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (1927-1931) Edmund Husserl / Carte Carte broșată
common.buy 769.37 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?