
Theoretical Aspects of Computing - ICTAC 2008
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-e?ectiveness of tools supporting the exploitation of theories through proof, model-checking and testing. Against this encouraging background, we are pleased to present papers that show something of the live- ness and diversity of research in theoretical aspects of computing today. ICTAC 2008, the 5th International Colloquium on Theoretical Aspects of Computing, was held on 1-3 September 2008 in Istanbul, Turkey, hosted by - banc? University. The ICTAC series was founded by the International Institute for SoftwareTechnologyof the United Nations University(UNU-IIST). It brings together practitioners and researchers from academia, industry and government to present results and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methodsandtoolsforsystemdevelopment. Theseriesalsopromotescooperation in research and education between participants and their institutions, from - veloping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281) and Macau SAR, China (2007, LNCS 4711). von Fitzgerald, John S. und Haxthausen, Anne E. und Yenigun, Hus
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 729 Seiten
- Erschienen 2006
- Springer Berlin Heidelberg
- Kartoniert
- 1078 Seiten
- Erschienen 2001
- Springer
- Kartoniert
- 375 Seiten
- Erschienen 2018
- Springer
- hardcover
- 514 Seiten
- Erschienen 1982
- Birkhäuser Verlag
- Kartoniert
- 408 Seiten
- Erschienen 2003
- Springer
- hardcover
- 658 Seiten
- Erschienen 1988
- Elsevier Science Ltd
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
- Kartoniert
- 289 Seiten
- Erschienen 2007
- Springer Berlin Heidelberg
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer