Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Temporal Logic

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Temporal Logic Dov M. Gabbay
Code Libristo: 05274404
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 1994
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Description détaillée
? points 290 b
118.29 € TVA incluse
Stockage externe en petites quantités Expédition sous 13-18 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Endokrinologie Michael Krieg / Livre Livre de poche
common.buy 80.29 €
Gespräche mit Tieren Penelope Smith / Livre Livre relié
common.buy 18.50 €
Dormi bene, piccolo lupo - Aludj jol, Kisfarkas (italiano - ungherese) Ulrich Renz / Livre Livre de poche
common.buy 14.99 €
Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald / Livre Livre relié
common.buy 10.00 €
PAYBACK 2014, 1 Blu-ray John/Bryan Cena / Video Blu-ray
common.buy 19.59 €
Pop for Violin, m. Audio-CD. Vol.2 / Livre Livre de poche
common.buy 25.49 €
Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin / Livre Livre de poche
common.buy 12.90 €
Top
Liebesfreud - Liebesleid Fritz Kreisler / Articles imprimés Partitions
common.buy 42.39 €
Apport me thodologique a la conception et mise en oeuvre des projets Alejandro Sandoval-Correa / Livre Livre de poche
common.buy 64.39 €
Pieces de Poesie Pour Le Prix de l'Annee 1706 Sans Auteur / Livre Livre de poche
common.buy 13.59 €
Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze / Livre Feuille
common.buy 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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Temporal Logic
Auteur Dov M. Gabbay, Hans J. Ohlbach
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1994
Nombre de pages 551
EAN 9783540582410
ISBN 354058241X
Code Libristo 05274404
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1740
Dimensions 155 x 235 x 31

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation de base de données
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Bases de données
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Temporal Logic: Volume 2 Dov M. Gabbay / Livre Livre relié
common.buy 338.49 €
Temporal Logic: Volume 1 Dov M. Gabbay / Livre Livre relié
common.buy 532.69 €
Psychoanalysis - Sleep and Dreams ANDRE TRIDON / Livre Livre de poche
common.buy 16.89 €
Field Trip Mad Libs Mickie Matheis / Livre Livre de poche
common.buy 6.29 €
Saugerties Edward Poll / Livre Livre de poche
common.buy 21.79 €
Timed Readings: Book Five: Fifty 400-Word Passages with Questions for Building Reading Speed Edward Spargo / Livre Livre de poche
common.buy 35.29 €
Uist 12 Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology Uist 12 Conference Committee / Livre Livre de poche
common.buy 169.79 €
Fairmont Bears Go To Radium Joan Olsen / Livre Livre de poche
common.buy 21.99 €
History of the town of Berlin William A. Houghton / Livre Livre de poche
common.buy 42.89 €
Hedgehog and Rabbit: The Stubborn Cloud PABLO / Livre Livre relié
common.buy 18.29 €
Gears of a Mad God Omnibus Brent Nichols / Livre Livre de poche
common.buy 11.59 €
Plotinus, V1: The First, Second and Third Ennead Stephen MacKenna / Livre Livre de poche
common.buy 40.69 €
All the Books of the Bible: Nehemiah M E Rosson / Livre Livre de poche
common.buy 12.59 €
Digital Nomad Secrets: A Step-By-Step Guide To Working Digitally From Anywhere In The World Ron Kness / Livre Livre de poche
common.buy 20.09 €
Toy Australian Shepherd. Toy Australian Shepherd Dog Complete Owners Manual. Toy Australian Shepherd book for care, costs, feeding, grooming, health a George Hoppendale / Livre Livre de poche
common.buy 16.09 €
Abandoned Derek Hart / Livre Livre de poche
common.buy 25.89 €
First Stop Brooklyn: A selection of twenty-five short chronicles on life in Old Brooklyn. Harrison Gross / Livre Livre de poche
common.buy 10.69 €
The Arrow-Maker Mary Hunter Austin / Livre Livre de poche
common.buy 7.99 €
Primogeniture: A Short History Of Its Development In Various Countries And Its Practical Effects (1895) Evelyn Cecil / Livre Livre relié
common.buy 44.59 €
The Wealth and Income of the Chief Powers Josiah Stamp / Livre Livre relié
common.buy 30.79 €
Real Doc Martin Martin Stagg / Livre Livre de poche
common.buy 15.49 €
Treasury of the True Dharma Eye Soto Zen Text Project / Livre Livre de poche
common.buy 243.49 €
Top
Shadows of Navarre (Fourth Wing) Canvas Bag Paperblanks / Articles de papeterie Articles de papeterie
common.buy 21.49 €
Reusable Launch Vehicle Committee on Reusable Launch Vehicle Technology and Test Program / Livre Livre de poche
common.buy 158.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?