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.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 1182 CZK
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Buening

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274587

Nakladatelství Springer, Berlin, listopad 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Celý popis

Libristo kód: 05274587

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Brožovaná

267 Kč

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

Audio CD

253 Kč

Asphalt Tribe Morton Rhue

Brožovaná

188 Kč

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Brožovaná

893 Kč

besten und verrucktesten Kneipen-Namen Dieter Auer

Brožovaná

226 Kč

Wichtel Nick Admar Kwant

Leporelo

240 Kč

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Brožovaná

1 549 Kč

Erfolgreich verhandeln Jörg Kupjetz

Brožovaná

671 Kč

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Computer Science Logic

Autor Hans Kleine Buening

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1996

Počet stran 492

EAN 9783540613770

ISBN 3540613773

Libristo kód 05274587

Nakladatelství Springer, Berlin

Váha 659

Rozměry 156 x 234 x 25

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

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

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

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