[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Theoretical Aspects of Computing - ICTAC 2005

Sprache EnglischEnglisch
Buch Broschur
Buch Theoretical Aspects of Computing - ICTAC 2005 Dang Van Hung
Libristo-Code: 01561192
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2005
This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical... Vollständige Beschreibung
? points 349 b
139.23 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Metamorphosen im Fleischwolf. Neue Fabeln fur Verwachsene Hartwig Stein / Broschur
common.buy 7.87 €
Scientific Procedures L. Tondl / Hardcover
common.buy 220.95 €
BAUKULTUR VERKEHR Michael Braum / Hardcover
common.buy 38.34 €
Social Media Marketing - Bedarf, Herausforderungen und Marktpotential fur Beratungsdienstleistungen Michael Gauch / Broschur
common.buy 25.21 €
Yes I Can!: A Story of Grit Mari Schuh / Hardcover
common.buy 34.50 €
Theocritus, Translated Into English Verse heocritus / Broschur
common.buy 28.44 €
Crocodile's Sore Tooth Lunda version Fundisile GwazubeThomson Kambangaji / Broschur
common.buy 6.85 €

This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005.§The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.

Informationen zum Buch

Vollständiger Name Theoretical Aspects of Computing - ICTAC 2005
Autor Dang Van Hung, Martin Wirsing
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 618
EAN 9783540291077
ISBN 3540291075
Libristo-Code 01561192
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1940
Abmessungen 152 x 229 x 34

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto