10392 search results - page 8 / 2079 » Introduction to Computer Science |
141
Voted
Presentation
Very easy to read tutorial about scalar visualization in VTK.
155
Voted
Presentation
Very easy to read tutorial about vector visualization in VTK.
108
Voted
RTA
2007
Springer
15 years 8 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. ...
146
Voted
TLCA
2007
Springer
15 years 8 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...
244
Voted
Lecture Notes
The lecture notes cover the following topics,
Course Overview , Data Communications and Networking Overview , Data Transmission , Transmission Media , Signal Encoding Techniques ...