Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Deductive Software Verification – The KeY Book
nidottu,
2016,
englanti,
ISBN 9783319498119
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a …
Genetic Programming
nidottu,
2000,
englanti,
ISBN 9783540673392
These papers address genetic programming issues ranging from theoretical and foundational issues to applications in a variety of fields such as automatic design, pattern …