Communications of the ACM: Latest Issue - Articles from the latest issue of Communications of the ACM.
Communications of the ACM: News - Advanced computing news from Communications online.
Channel 9 - Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight — Watch videos and hear about all the cool technologies coming and the people behind them.
CCSB: pierre geneves&sort=score - Search results in The Collection of Computer Science Bibliographies for query: pierre geneves&sort=score
CCSB: "zohar manna"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "zohar manna"&sort=year
CCSB: "viktor kuncak"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "viktor kuncak"&sort=year
CCSB: "thomas henzinger"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "thomas henzinger"&sort=year
CCSB: "sumit gulwani"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "sumit gulwani"&sort=year
CCSB: "sriram rajamani"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "sriram rajamani"&sort=year
CCSB: "saurabh srivastava"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "saurabh srivastava"&sort=year
CCSB: "sanjit seshia"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "sanjit seshia"&sort=year
CCSB: "ruzica piskac"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "ruzica piskac"&sort=year
CCSB: "roland backhouse"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "roland backhouse"&sort=year
CCSB: "ranjit jhala"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "ranjit jhala"&sort=year
CCSB: "program derivation"&sort=score - Search results in The Collection of Computer Science Bibliographies for query: "program derivation"&sort=score
CCSB: "program construction"&sort=score - Search results in The Collection of Computer Science Bibliographies for query: "program construction"&sort=score
CCSB: "philippe suter"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "philippe suter"&sort=year
CCSB: "patrick cousot"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "patrick cousot"&sort=year
CCSB: "lex bijlsma"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "lex bijlsma"&sort=year
CCSB: "armando solar lezama"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "armando solar lezama"&sort=year
CCSB: "andrew ireland"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "andrew ireland"&sort=year
CCSB: "aaron r bradley"&sort=year - Search results in The Collection of Computer Science Bibliographies for query: "aaron r bradley"&sort=year
active questions tagged theorem-proving - Stack Overflow - most recent 30 from stackoverflow.com
active questions tagged scala - Stack Overflow - most recent 30 from stackoverflow.com