Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Theoretical Aspects of Computing - ICTAC 2016

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

Augusto Sampaio

Farn Wang

Língua

Inglês

Livro Capa mole

Código Libristo: 13938115

Editoras Springer International Publishing AG, setembro 2016

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical A... Descrição completa

Código Libristo: 13938115

132 b

54.40 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Untersuchungshaft in der Praxis - Band I

Capa mole

46.31 €

Verloschen Svenja Pages

Digital

13.54 €

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

Capa mole

29.42 €

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

Capa mole

34.88 €

Čo robí tento gombík? Bruce Dickinson

Livro de capa dura

8.18 €

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

Capa mole

45.30 €

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

Livro

8.59 €

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

Capa mole

18.09 €

Pohľadom k oblohe Rebecca Yarros

Livro de capa dura

19.21 €

Naigheachdan Firinneach I (1905) Fionn

Capa mole

29.72 €

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

Folha

28.00 €

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

CD de áudio

17.89 €

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

Capa mole

14.76 €

Bremische Werkmeister aus älterer Zeit Joh. Focke

Capa mole

19.00 €

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

Capa mole

29.42 €

Lecturas: del Espacio Intimo Al Espacio Publico Michele Petit

Capa mole

12.94 €

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

Capa mole

38.93 €

Dalai Lama Genevieve Blais

Capa mole

11.72 €

Las crónicas yugoslavas QUIÑONES

Capa mole

14.65 €

Théâtre De Campagne, Volume 1 Carmontelle

Capa mole

26.59 €

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

Capa mole

54.40 €

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.