Some quick Links to useful resources
- Computing Science and Software Engineering Conferences
- Journals
- Useful Literature about Formal Methods
- Research in Feature Modeling
- Mathematic
- Programming
- Recommended Books - A list of some interesting books of CS and SE.
- Useful things to know about PhD research
- Model Checking / Analysis Tools
- Theorem Proving Systems
- Isabelle. A generic proof assistant
- Prover9. An automated theorem prover for first-order and equational logic.
- E Theorem ProverA purely equational theorem prover for full first-order logic.
- HOL System. An environment for interactive theorem proving in a higher-order logic.
- PVS. A verification system.
- ACL2. A programming language & tool to model and prove properties of computer systems.
- Others
- About Islam!
- Read Quran Online (Flash):
- The Sahaba.... True Companions of Prophet (PBUH):
- Islam in brief (A nice vedio presentation):
- Others: