Verwandte Artikel zu Theoretical Aspects of Computing - ICTAC 2005: Second...
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium Hanoi, Vietnam, October 17-21, 2005 Proceedings: 3722 (Theoretical Computer Science and General Issues) - Softcover
Inhaltsangabe
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 92,27
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Theoretical Aspects of Computing - ICTAC 2005: Second...
Foto des Verkäufers
Theoretical Aspects of Computing - ICTAC 2005
Verlag:
Springer Berlin Heidelberg, 2005
ISBN 10: 3540291075
ISBN 13: 9783540291077
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Artikel-Nr. 4887175
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries. Artikel-Nr. 9783540291077
Anzahl: 1 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computing - ICTAC 2005
ISBN 10: 3540291075
ISBN 13: 9783540291077
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17¿21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries. 632 pp. Englisch. Artikel-Nr. 9783540291077
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science, 3722)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540291077_new
Anzahl: Mehr als 20 verfügbar