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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € 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: 05274407
Price: 51.78 EUR
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

Nakladateľstvo Springer, Berlin, november 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

51.78 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Holzhaus am Wasser (Puzzle) Pia Thauwald

Hra

30.49 €

L’examen de conscience philosophique Martha

Brožovaná

15.80 €

Kabala Pro Zacatecniky Michael Laitman

Brožovaná

18.33 €

One Piece 109 Eiichiro Oda

Brožovaná

7.49 €

Tiamatin hněv James S. A. Corey

Brožovaná

12.66 €

Le journal de ma vie Kate Clayborn

Brožovaná

25.22 €

Pixel Art Memo

Hra

13.47 €

Gouverner le social par le religieux Faure

Brožovaná

34.45 €

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

Brožovaná

49.95 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

15.19 €

Die Frau des Arztes Brian Moore

Brožovaná

12.86 €

Programació lineal

Brožovaná

15.80 €

Agenda Mindenensis dioecesis Carl von Reifitz

Brožovaná

59.38 €

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

Brožovaná

116.74 €

Mit K, 1 Audio-CD Kraftklub

Audio CD

17.93 €

Spuk Ernst Kallmeyer

Brožovaná

22.39 €

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

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1994

Počet strán 336

EAN 9783540582779

ISBN 3540582770

Libristo kód 05274407

Nakladateľstvo Springer, Berlin

Váha 466

Rozmery 216 x 279 x 18

Kategórie

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

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť

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

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

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

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