Tag Archives: computer

The children of Napster: NEW FILE-EXCHANGE PROGRAMS ARE EVERYWHERE. (WINDOWS).(Smirck 1.1, Hotline Communications’ Hotline Connect Client 1.85, FreePeers’ … An article from: Computer User

Posted on October 4, 2011 by

The children of Napster: NEW FILE-EXCHANGE PROGRAMS ARE EVERYWHERE. (WINDOWS).(Smirck 1.1, Hotline Communications’ Hotline Connect Client 1.85, FreePeers’ … An article from: Computer User This digital document is an article from Computer User, published by MSP Communications on September 1, … Continue reading →

Posted in Sharing File Programs | Tagged , , , , , , , , , , , , , , , | Leave a comment

“ICON FILE (.ico)” How to convert Image File into Icon File (.ico) for FREE. – Computer Graphic CG ICON DESIGN – TKP 0070 -

Posted on October 1, 2011 by

“ICON FILE (.ico)” How to convert Image File into Icon File (.ico) for FREE. – Computer Graphic CG ICON DESIGN – TKP 0070 – [ How to convert Image File into Icon File (.ico) for FREE. ] (* For People … Continue reading →

Posted in File Convert | Tagged , , , , , , , , , , | Leave a comment

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Posted on September 29, 2011 by

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and … Continue reading →

Posted in Text Programs | Tagged , , , , , , , , , , , , , , | Leave a comment