Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 54.35 EUR
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

Език

Английски език

Книга С меки корици

Код Либристо: 05274587

Издателство Springer, Berlin, ноември 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Цялото описание

Код Либристо: 05274587

132 b

54.35 €

106.30 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

12.40 € 24.24 лв

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

Аудио компактдиск

11.47 € 22.42 лв

Asphalt Tribe Morton Rhue

С меки корици

8.73 € 17.07 лв

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

С меки корици

41.43 € 81.04 лв

besten und verrucktesten Kneipen-Namen Dieter Auer

С меки корици

10.54 € 20.60 лв

Wichtel Nick Admar Kwant

Дипляна

11.21 € 21.92 лв

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

С меки корици

67.11 € 131.26 лв

Erfolgreich verhandeln Jörg Kupjetz

С меки корици

31.15 € 60.93 лв

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.