1
Veröffentlicht 2008
Inhaltsangabe: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2006
Inhaltsangabe: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2007
Inhaltsangabe: ...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...
Volltext
Elektronisch E-Book