KOBV Portal

Hits per page

hits 1 - 3 | 3 hits

Sorting

Book

Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers (2010)

Eekelen, Marko van ; FOPARA 1 2009 Eindhoven

Berlin [u.a.] :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV036676991

Format: VIII, 162 S. : , graph. Darst. ; , 24 cm.

ISBN: 978-3-642-15330-3

Series Statement: Lecture notes in computer science 6324

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-642-15331-0

Language: English

Keywords: Eingebettetes System ; Programmanalyse ; Komplexitätsklasse ; Ressourcenbeschränktes Maß ; Kostenfunktion ; Abstrakte Interpretation ; Konferenzschrift ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: http://d-nb.info/100501017X/04

URL: http://deposit.dnb.de/cgi-bin/dokserv?id=3517525&prov=M&dok_var=1&dok_ext=htm

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Online Resource

Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers (2010)

Eekelen, Marko van [Sonstige] ; FOPARA 1 2009 Eindhoven

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036718262

Format: 1 Online-Ressource (VIII, 162 S.) , graph. Darst.

ISBN: 9783642153303 , 9783642153310

Series Statement: Lecture notes in computer science 6324

Note: Literaturangaben

Language: English

Keywords: Eingebettetes System ; Programmanalyse ; Komplexitätsklasse ; Ressourcenbeschränktes Maß ; Kostenfunktion ; Abstrakte Interpretation ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-15331-0

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltsverzeichnis

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

Online Resource

Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers (2010)

Eekelen, Marko van. [editor.] ; Shkaravska, Olha. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947364251902882

Format: 170 p. 35 illus. , online resource.

ISBN: 9783642153310

Series Statement: Lecture Notes in Computer Science, 6324

Note: FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis for Hume -- A Space Consumption Analysis by Abstract Interpretation -- Global and Local Space Properties of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination -- Static Complexity Analysis of Higher Order Programs -- Derivational Complexity Is an Invariant Cost Model -- A Local Criterion for Polynomial-Time Stratified Computations -- Non-deterministic Boolean Proof Nets -- Polynomial Time Computation in the Context of Recursive Analysis.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642153303

Language: English

DOI: 10.1007/978-3-642-15331-0

URL: http://dx.doi.org/10.1007/978-3-642-15331-0

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 3 | 3 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 9783642053603?

Did you mean 9783642103308?

Did you mean 9783641163303?

Kooperativer Bibliotheksverbund

Berlin Brandenburg