10392 search results - page 8 / 2079 » Introduction to Computer Science |
127
Voted
Presentation
Very easy to read tutorial about scalar visualization in VTK.
135
Voted
Presentation
Very easy to read tutorial about vector visualization in VTK.
RTA
2007
Springer
15 years 6 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
135
Voted
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
229
Voted
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...