LEADER 03969nam  22007935  450 
001 996465966903316
005 20240619233224.0
010   $a1-280-38850-1
010   $a9786613566423
010   $a3-642-15331-3
024 7 $a10.1007/978-3-642-15331-0
035   $a(CKB)2670000000045052
035   $a(SSID)ssj0000446477
035   $a(PQKBManifestationID)11318358
035   $a(PQKBTitleCode)TC0000446477
035   $a(PQKBWorkID)10496049
035   $a(PQKB)10955450
035   $a(DE-He213)978-3-642-15331-0
035   $a(MiAaPQ)EBC3065809
035   $a(PPN)149025130
035   $a(EXLCZ)992670000000045052
100   $a20100907d2010      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundational and Practical Aspects of Resource Analysis $eFirst International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /$fedited by Marko van Eekelen, Olha Shkaravska
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (170 p. 35 illus.)
225 1 $aProgramming and Software Engineering ;$v6324
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-15330-5 
320   $aIncludes bibliographical references and index.
327   $aFOPARA 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.
410  0$aProgramming and Software Engineering ;$v6324
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer communication systems
606   $aAlgorithms
606   $aComputer programming
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer communication systems.
615  0$aAlgorithms.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputer Communication Networks.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProgramming Techniques.
676   $a005.1
702   $aEekelen$b M. C. J. D. van$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aShkaravska$b Olha$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFOPARA 2009
906   $aBOOK
912   $a996465966903316
996   $aFoundational and Practical Aspects of Resource Analysis$92829753
997   $aUNISA