Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Science Logic

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274587

Nakladateľstvo Springer, Berlin, november 1995

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

Libristo kód: 05274587

125 b

51.63 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

11.71 €

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

Audio CD

10.90 €

Asphalt Tribe Morton Rhue

Brožovaná

8.28 €

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

Brožovaná

39.20 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Brožovaná

9.89 €

Wichtel Nick Admar Kwant

Leporelo

10.50 €

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

Brožovaná

63.96 €

Erfolgreich verhandeln Jörg Kupjetz

Brožovaná

29.40 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Science Logic

Autor Hans Kleine Buening

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1996

Počet strán 492

EAN 9783540613770

ISBN 3540613773

Libristo kód 05274587

Nakladateľstvo Springer, Berlin

Váha 659

Rozmery 156 x 234 x 25

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn