Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569227
Price: 103.1 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

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01569227

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2007

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Volledige beschrijving

Libristo-code: 01569227

249 b

103.10 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

La caida Dan Simmons

Gebonden (paperback)

18.63 €

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

Gebonden (paperback)

13.06 €

Legie plamenů Anthony Ryan

Gebonden (harde band)

16.09 €

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

Gebonden (paperback)

35.74 €

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

Gebonden (paperback)

16.60 €

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

Gebonden (paperback)

27.44 €

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

Gebonden (harde band)

34.93 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Science Logic

Auteur Jacques Duparc, Thomas A. Henzinger

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2007

Aantal pagina's 600

EAN 9783540749141

ISBN 3540749144

Libristo-code 01569227

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 932

Afmetingen 155 x 235 x 33

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger