SULJE VALIKKO

avaa valikko

John S. Fitzgerald | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
John S. Fitzgerald; Anne E. Haxthausen; Husnu Yenigun
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Validated Designs for Object-Oriented Systems
John S. Fitzgerald; Peter Gorm Larsen; Paul Mukherjee
SPRINGER VERLAG GMBH (2008)
Pehmeäkantinen kirja
65,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Dignity of Nations - Equality, Competition, and Honor in East Asian Nationalism
Sechin Y. S. Chien; John Fitzgerald
Hong Kong University Press (2006)
Kovakantinen kirja
52,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
David Namet, Petitioner, V. United States. U.S. Supreme Court Transcript of Record with Supporting Pleadings
John H Fitzgerald; Additional Contributors; U S Supreme Court
Gale Ecco, U.S. Supreme Court Records (2011)
Pehmeäkantinen kirja
71,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Worlds of Byzantium: Religion, Culture, and Empire in the Medieval Near East
Elizabeth S. Bolman; Scott Fitzgerald Johnson; Jack Tannous
Cambridge University Press (2024)
Kovakantinen kirja
169,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Science and Technology of Silicones and Silicone-Modified Materials
Stephen J. Clarson; John J. Fitzgerald; Micheal J. Owen; Steven S. Smith; Mark E. Van Dyke
Oxford University Press Inc (2007)
Kovakantinen kirja
95,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Greenhouse Gas Emission Inventories : Interim Results from the U.S. Country Studies Program
Barbara V. Braatz (ed.); B.P. Jallow (ed.); S. Molnár (ed.); D. Murdiyarso (ed.); M. Perdomo (ed.); John F. (ed Fitzgerald
Springer (2010)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Greenhouse Gas Emission Inventories - Interim Results from the U.S. Country Studies Program
Barbara V. Braatz; B.P. Jallow; S. Molnár; D. Murdiyarso; M. Perdomo; John F. Fitzgerald
Springer (1996)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 455 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008
Julkaisuvuosi: 2008, 18.08.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
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).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540857617
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste