Some quick Links to useful resources

 

•  Computing Science and Software Engineering Conferences  
  • Software Engineering Conferences
  • Conferences Alerts- Links to the latest upcoming conferences
  • IACSIT Upcoming Conferences Calendar
  • Conference Finder- A great source for searching multi-discipline conferences

•   Journals  
  • All Information Systems Journals
  • Computer Science Journals
  • Legacy Directory of Computing Science Journals
  • Computer Journal List
•   Useful Literature about Formal Methods  
  • Logic and Computation
  • Automated Theorem Proving
  • Structure and Interpretation of Computer Programs
  • Formal Methods for Web Services
  • Summer Schools for Formal Methods
•   Research in Feature Modeling  
  • S.P.L.O.T. - Software Product Lines Online Tools
  • POSTECH Research Lab
  • Feature-Oriented Programming
  • FeatureIDE--A Feature Oriented Software development environment
  • AHEAD--Algebraic Hierarchical Equations for Application Design
  • FeatureHouse-- Language-Independent, Automated Software Composition
•   Mathematic  
  • Graph Theory
  • Discrete Mathematics
  • The Greek Alphabet
•   Programming  
  • Python Course
  • JAVA Course
  • LearnersTV-Video Lectures, Video Courses, Lecture Notes,and Lecture Presentations, Absolutely FREE
•  Recommended Books   - A list of some interesting books of CS and SE.
•  Useful things to know about PhD research  
  • Oxford University Computing Lab (preparation in pdf)
  • M. Bellare, UCSD
  • Everything About PhD
•  Model Checking / Analysis Tools  
  • SPIN Model Checker
  • Process Analysis Toolkit (PAT)
  • Alloy Analyzer
•  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  
  • Microsoft's Academic Search
  • Conferece Finder
  • World Stats
  • World Time
  • Healthy Life Expectancy
• About Islam!  
• Read Quran Online (Flash):
  • QuranFlash.com
• The Sahaba.... True Companions of Prophet (PBUH):
  • SahabaMedia.Net
• Islam in brief (A nice vedio presentation):
  • Islam-Presentation.Com
• Others:
  • Fajar Prayer Caller
  • Holy Names of Allah
  • QuranNow.com