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

125 b

1 250 Kč

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

Holzhaus am Wasser (Puzzle) Pia Thauwald

Hra

735 Kč

L’examen de conscience philosophique Martha

Brožovaná

380 Kč

Kabala Pro Zacatecniky Michael Laitman

Brožovaná

441 Kč

One Piece 109 Eiichiro Oda

Brožovaná

181 Kč

Tiamatin hněv James S. A. Corey

Brožovaná

316 Kč

Le journal de ma vie Kate Clayborn

Brožovaná

607 Kč

Pixel Art Memo

Hra

325 Kč

Gouverner le social par le religieux Faure

Brožovaná

829 Kč

Diagnostico sobre a gestao dos RSU no Brasil, estudo de caso Rosana Brusamarelo

Brožovaná

1 206 Kč

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

345 Kč

Die Frau des Arztes Brian Moore

Brožovaná

311 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 819 Kč

Mit K, 1 Audio-CD Kraftklub

Audio CD

411 Kč

Spuk Ernst Kallmeyer

Brožovaná

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