Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Temporal Logic

Name: Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274404
Price: 2646 CZK
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274404

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 1994

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT... Celý popis

Libristo kód: 05274404

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Endokrinologie Michael Krieg

Brožovaná

1 763 Kč

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

Brožovaná

598 Kč

Gespräche mit Tieren Penelope Smith

Pevná

356 Kč

Rocco Randale 09 - Erste Hilfe mit Senf Alan MacDonald

Pevná

264 Kč

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

Brožovaná

333 Kč

PAYBACK 2014, 1 Blu-ray John/Bryan Cena

Blu-ray

435 Kč

Unterredung zwischen einem Deutschen Reichsfursten und einem seiner Rate Schulin

Brožovaná

267 Kč

Liebesfreud - Liebesleid Fritz Kreisler

Brožovaná

657 Kč

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

Brožovaná

315 Kč

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

Brožovaná

1 400 Kč

Diercke Geographie - Ausgabe 2008 Sachsen-Anhalt Notburga Protze

List

175 Kč

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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Temporal Logic

Autor Dov M. Gabbay, Hans J. Ohlbach

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1994

Počet stran 551

EAN 9783540582410

ISBN 354058241X

Libristo kód 05274404

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

Váha 1740

Rozměry 155 x 235 x 31

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programování databázových aplikací

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence

Výpočetní a informační technologie > Databáze

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Temporal Logic: Volume 2 Dov M. Gabbay

Pevná

7 444 Kč

Temporal Logic: Volume 1 Dov M. Gabbay

Pevná

11 397 Kč

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

Brožovaná

444 Kč

Danger in the Wind Jane Finnis

Brožovaná

403 Kč

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

Brožovaná

359 Kč