Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theoretical Aspects of Computing - ICTAC 2016

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

Augusto Sampaio

Farn Wang

Sprache

Englisch

Buch Broschur

Libristo-Code: 13938115

Verlag Springer International Publishing AG, September 2016

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical A... Vollständige Beschreibung

Libristo-Code: 13938115

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Verloschen Svenja Pages

Digital

14.95 €

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

Buch

7.09 €

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

Broschur

19.59 €

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

Broschur

24.59 €

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

Broschur

34.49 €

Čo robí tento gombík? Bruce Dickinson

Hardcover

6.79 €

Untersuchungshaft in der Praxis - Band I

Broschur

49.00 €

Pohľadom k oblohe Rebecca Yarros

Hardcover

15.89 €

Naigheachdan Firinneach I (1905) Fionn

Broschur

30.79 €

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

Blatt

27.99 €

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

Audio CD

19.99 €

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

Broschur

15.39 €

Bremische Werkmeister aus älterer Zeit Joh. Focke

Broschur

19.90 €

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

Broschur

24.89 €

Lecturas: del Espacio Intimo Al Espacio Publico Michele Petit

Broschur

12.09 €

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

Broschur

36.79 €

Dalai Lama Genevieve Blais

Broschur

10.99 €

Las crónicas yugoslavas QUIÑONES

Broschur

13.89 €

Théâtre De Campagne, Volume 1 Carmontelle

Broschur

27.89 €

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

Broschur

46.69 €

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

Broschur

47.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theoretical Aspects of Computing - ICTAC 2016

Autor Augusto Sampaio, Farn Wang

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 479

EAN 9783319467498

ISBN 3319467492

Libristo-Code 13938115

Verlag Springer International Publishing AG

Gewicht 7489

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert