Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Temporal Logic

Name: Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274404
Price: 118.29 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9783540582410

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

Dov M. Gabbay

Hans J. Ohlbach

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274404

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 1994

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Vollständige Beschreibung

Libristo-Code: 05274404

290 b

118.29 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Endokrinologie Michael Krieg

Broschur

80.29 €

Pop for Violin, m. Audio-CD. Vol.2

Broschur

25.49 €

Gespräche mit Tieren Penelope Smith

Hardcover

18.50 €

Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald

Hardcover

10.00 €

Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz

Broschur

14.99 €

PAYBACK 2014, 1 Blu-ray John/Bryan Cena

Blu-ray

19.59 €

Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin

Broschur

12.90 €

Liebesfreud - Liebesleid Fritz Kreisler

Broschur

27.99 €

Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur

Broschur

14.19 €

Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa

Broschur

64.39 €

Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze

Blatt

7.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logic

Autor Dov M. Gabbay, Hans J. Ohlbach

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 551

EAN 9783540582410

ISBN 354058241X

Libristo-Code 05274404

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1740

Abmessungen 155 x 235 x 31

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Datenbankprogrammierung

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Datenbanken

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Temporal Logic: Volume 2 Dov M. Gabbay

Hardcover

331.09 €

Temporal Logic: Volume 1 Dov M. Gabbay

Hardcover

507.99 €

Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness

Broschur

20.09 €

Danger in the Wind Jane Finnis

Broschur

18.39 €

Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale

Broschur

16.09 €