1
door Horstmann, Cay S.
Gepubliceerd in 2013
Onderwerpen: ...Java (Computer program language)....
Cover image
Boek
2
Gepubliceerd in 2006
Inhoudsopgave: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... Barrier? -- Degrees of Weakly Computable Reals -- Understanding and Using Spector’s Bar Recursive...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2005
Inhoudsopgave: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
Volledige tekst
Elektronisch E-boek