Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569227
Price: 97.4 EUR
Availability: InStock
Author: Jacques Duparc
ISBN: 9783540749141

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc

Thomas A. Henzinger

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01569227

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2007

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Celoten opis

Koda Libristo: 01569227

236 b

97.40 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

La caida Dan Simmons

Mehka

17.59 €

Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland

Mehka

11.72 €

Legie plamenů Anthony Ryan

Trda

14.15 €

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

Mehka

33.57 €

C'est l'heure du bain, petit lion Gomi

Mehka

15.16 €

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

Mehka

24.87 €

Полезные машины Елена Хомич

Trda

29.22 €

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.