Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Computer Science Logic

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01569227

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2007

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Descrizione completa

Codice Libristo: 01569227

222 b

90.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Vesmír – aký úžasný je náš Boh Austin Salsbury

Rigido

32.39 €

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

In brossura

22.19 €

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

In brossura

13.39 €

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

Rigido

30.79 €

Legie plamenů Anthony Ryan

Rigido

12.69 €

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

In brossura

10.45 €

La caida Dan Simmons

In brossura

16.29 €

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

In brossura

31.09 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Science Logic

Autore Jacques Duparc, Thomas A. Henzinger

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2007

Numero di pagine 600

EAN 9783540749141

ISBN 3540749144

Codice Libristo 01569227

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 932

Dimensioni 155 x 235 x 33

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale