phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Computer Science Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Science Logic Hans Kleine Buening
Libristo kód: 05274587
Nakladatelství Springer, Berlin, listopadu 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Asphalt Tribe Morton Rhue / Brožovaná
common.buy 214 Kč
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / Audio CD
common.buy 236 Kč
Botanical Medicine in Clinical Practice / Pevná
common.buy 8 616 Kč
Připravujeme
Augustine Gillian Clark / Pevná
common.buy 3 290 Kč
Chicana and Chicano Art Carlos Francisco Jackson / Brožovaná
common.buy 771 Kč
Being Modern in Iran Fariba Adelkhah / Pevná
common.buy 1 101 Kč
Handbook of Colorectal Surgery David Beck / Pevná
common.buy 3 117 Kč
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Brožovaná
common.buy 1 588 Kč
besten und verrucktesten Kneipen-Namen Dieter Auer / Brožovaná
common.buy 443 Kč
1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Brožovaná
common.buy 622 Kč
Der Draufgänger, 1 DVD Willy Zeunert / DVD
common.buy 505 Kč
Conversations with Erskine Caldwell Edwin T. Arnold / Brožovaná
common.buy 951 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.

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
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

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet