SULJE VALIKKO

avaa valikko

Marko Van Eekelen | Akateeminen Kirjakauppa

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



Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands,
Marko van Eekelen; Olha Shkaravska
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce
Marko Van Eekelen; Herman Geuvers; Julien Schmaltz; Freek Wiedijk
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Trends in Functional Programming Volume 6
Marko Van Eekelen
Intellect Books (2013)
Pehmeäkantinen kirja
52,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. R
Marko van Eekelen; Ugo Dal Lago
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 201
Ricardo Peña; Marko van Eekelen; Olha Shkaravska
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
45,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands,
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 170 sivua
Asu: Pehmeäkantinen kirja
Painos: 2010
Julkaisuvuosi: 2010, 09.09.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006,andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL).
Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.

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
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands,zoom
Näytä kaikki tuotetiedot
ISBN:
9783642153303
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste