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 :-(

Theoretical Aspects of Computing - ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Augusto Sampaio

Farn Wang

Lingua

Inglese

Libro In brossura

Codice Libristo: 13938115

Casa editrice Springer International Publishing AG, settembre 2016

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical A... Descrizione completa

Codice Libristo: 13938115

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Untersuchungshaft in der Praxis - Band I

In brossura

45.79 €

Verloschen Svenja Pages

Digitale

12.59 €

Nobile bellezza, sublime santità. Perché la modernità ha bisogno della messa tradizionale Peter Kwasniewski

In brossura

26.60 €

Uso de técnicas de Inteligencia Artificial para rastrear accesos no autorizados Vasile-Daniel P?v?loaia

In brossura

34.49 €

Čo robí tento gombík? Bruce Dickinson

Rigido

6.79 €

Gesundheitsoekonomische Aspekte der HPV-Impfung als Leistung der Gesetzlichen Krankenkassen in Deutschland Maria Blümel

In brossura

42.29 €

Vaříme s úsměvem Dáša Kalina

Libro

7.09 €

Observer avec une lunette et un téléscope Jean-Luc Dauvergne

In brossura

15.39 €

Pohľadom k oblohe Rebecca Yarros

Rigido

15.89 €

Naigheachdan Firinneach I (1905) Fionn

In brossura

25.09 €

40 x Gedichte analysieren in Stundenbildern 7-8 Stefan Schäfer

Foglio

26.29 €

Lichtbotschaften von den Plejaden [Übungs-CD 4] Pavlina Klemm

CD audio

16.59 €

Horrible Stories My Dad Told Me (Punjabi Edition) David Downie

In brossura

12.39 €

Bremische Werkmeister aus älterer Zeit Joh. Focke

In brossura

17.69 €

Revolution Recherches Historiques Sur l'Origine Et La Propagation Du Mal En Europe T04 Gaume-J

In brossura

24.89 €

Lecturas: del Espacio Intimo Al Espacio Publico Michele Petit

In brossura

10.89 €

Comunicación política en México : retos y desafíos ante el proceso democratizador global Silvia Molina y Vedia

In brossura

33.49 €

Dalai Lama Genevieve Blais

In brossura

9.89 €

Las crónicas yugoslavas QUIÑONES

In brossura

12.49 €

Théâtre De Campagne, Volume 1 Carmontelle

In brossura

21.39 €

Histoire Des Classes Ouvrieres Et de l'Industrie En France Avant 1789. T. 2 Levasseur-E

In brossura

46.69 €

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.