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: 05274407
Price: 1182 CZK
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Egon Börger

Yuri Gurevich

Karl Meinke

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274407

Nakladatelství Springer, Berlin, listopad 1993

This volume contains the final versions of a collection of papers presented at the Annual Conference... Celý popis

Libristo kód: 05274407

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

One Piece 109 Eiichiro Oda

Brožovaná

183 Kč

Gouverner le social par le religieux Faure

Brožovaná

835 Kč

Tiamatin hněv James S. A. Corey

Brožovaná

324 Kč

Kabala Pro Zacatecniky Michael Laitman

Brožovaná

436 Kč

Le journal de ma vie Kate Clayborn

Brožovaná

612 Kč

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

345 Kč

Programació lineal

Brožovaná

361 Kč

Agenda Mindenensis dioecesis Carl von Reifitz

Brožovaná

1 435 Kč

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Brožovaná

2 565 Kč

Spuk Ernst Kallmeyer

Brožovaná

509 Kč

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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 Egon Börger, Yuri Gurevich, Karl Meinke

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1994

Počet stran 336

EAN 9783540582779

ISBN 3540582770

Libristo kód 05274407

Nakladatelství Springer, Berlin

Váha 466

Rozměry 216 x 279 x 18

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 > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost

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

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 > Počítačové programování/softwarové inženýrství