Treffer 1 - 10 von 10

computational complexity 11 machine design -- congresses 6 parallel programs (computer programs) -- verification 6 01 natural sciences 3 0102 computer and information sciences 3 02 engineering and technology 3 mehr ... 0209 industrial biotechnology 2 algorithmic skeletons 2 cost models 2 parallel computing 2 parallel programs (computer programs) 2 vdp::420 2 005.3 1 0202 electrical engineering, electronic engineering, information engineering 1 hylomorphisms 1 parallel computing ; algorithmic skeletons ; structured recursion ; hylomorphisms ; type and effect systems ; cost models ; qa76.642c2 ; parallel programs (computer programs) ; parallel programs (computer programs)--verification ; parallel programs (computer programs)--costs 1 weniger ...

springer berlin heidelberg 2 springer-verlag berlin heidelberg 2 university of oslo. department of informatics 2 university of st andrews 2 acm 1 springer, berlin, heidelberg 1 mehr ... springer-verlag berlin, heidelberg 1 the university of st andrews 1 weniger ...

english 13 undetermined 1

BASE 8 OpenAIRE 6 OAIster 1 OpenDissertations 1