Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

STACS 2007

Name: STACS 2007
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568161
Price: 113.19 EUR
Availability: InStock
Author: Wolfgang Thomas
ISBN: 9783540709176

24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Wolfgang Thomas

Pascal Weil

Lingua

Inglese

Libro In brossura

Codice Libristo: 01568161

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

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects o... Descrizione completa

Codice Libristo: 01568161

277 b

113.19 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Der Weg William Paul Young

In brossura

15.39 €

El tresor de Sierra Madre Traven

In brossura

10.89 €

SAFAREIG CARLES DURA I HERRERO

In brossura

13.39 €

CELSO EMILIO FERREIRO PEPE CARREIRO

Rigido

10.69 €

kontrare Sexualempfindung Albert Moll

In brossura

38.19 €

Raketenlexikon Bernd Leitenberger

In brossura

28.09 €

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.§The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing.