1
Veröffentlicht 2014
Inhaltsangabe: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
Volltext
Elektronisch E-Book
2
Inhaltsangabe: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ... for Earth System Modelling with Windows Workflow Foundation -- Balancing Quality and Performance of Task...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... for Non-Stationary Optimisation Tasks -- Regular Sessions: Evolutionary Methods -- On Asymptotic Behaviour...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...
Volltext
Elektronisch E-Book