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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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.18 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Endokrinologie Michael Krieg / Carte Carte broșată
common.buy 403.40 lei
Gespräche mit Tieren Penelope Smith / Carte Copertă tare
common.buy 100.79 lei
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Carte Carte broșată
common.buy 79.38 lei
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Carte Copertă tare
common.buy 47.79 lei
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Videoclip Blu-ray
common.buy 103.91 lei
Pop for Violin, m. Audio-CD. Vol.2 / Carte Carte broșată
common.buy 128.12 lei
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Carte Carte broșată
common.buy 61.20 lei
Liebesfreud - Liebesleid Fritz Kreisler / Materiale tipărite Note muzicale
common.buy 214.47 lei
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Carte Carte broșată
common.buy 322.03 lei
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Carte Carte broșată
common.buy 65.15 lei
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Carte Foaie
common.buy 39.79 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 643.33 lei
Temporal Logic: Volume 1 Dov M. Gabbay / Carte Copertă tare
common.buy 2 821.44 lei
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Carte Carte broșată
common.buy 84.58 lei
Field Trip Mad Libs Mickie Matheis / Carte Carte broșată
common.buy 31.58 lei
Saugerties Edward Poll / Carte Carte broșată
common.buy 109.10 lei
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Carte Carte broșată
common.buy 187.14 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.47 lei
Fairmont Bears Go To Radium Joan Olsen / Carte Carte broșată
common.buy 116.59 lei
History of the town of Berlin William A. Houghton / Carte Carte broșată
common.buy 214.68 lei
Hedgehog and Rabbit: The Stubborn Cloud PABLO / Carte Copertă tare
common.buy 83.75 lei
Gears of a Mad God Omnibus Brent Nichols / Carte Carte broșată
common.buy 61.72 lei
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Carte Carte broșată
common.buy 215.31 lei
All the Books of the Bible: Nehemiah M E Rosson / Carte Carte broșată
common.buy 66.81 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.19 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.51 lei
Abandoned Derek Hart / Carte Carte broșată
common.buy 137.37 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.52 lei
The Arrow-Maker Mary Hunter Austin / Carte Carte broșată
common.buy 42.18 lei
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Carte Copertă tare
common.buy 236.09 lei
The Wealth and Income of the Chief Powers Josiah Stamp / Carte Copertă tare
common.buy 163.35 lei
Real Doc Martin Martin Stagg / Carte Carte broșată
common.buy 78.13 lei
Treasury of the True Dharma Eye Soto Zen Text Project / Carte Carte broșată
common.buy 1 225.27 lei
Top
Shadows of Navarre (Fourth Wing) Canvas Bag Paperblanks / Articole de papetărie Articole de papetărie
common.buy 113.57 lei
Reusable Launch Vehicle Committee on Reusable Launch Vehicle Technology and Test Program / Carte Carte broșată
common.buy 797.66 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?