1
Gepubliceerd in 2013
Inhoudsopgave: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ... Example) -- Learning Java with Sun SPOTs -- Semi- and Fully Self-Organised Teams -- Stochastic Network...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2014
Inhoudsopgave: ... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2014
Inhoudsopgave: ... -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software...
Volledige tekst
Elektronisch E-boek