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
active questions tagged ocaml - Stack Overflow - most recent 30 from stackoverflow.com
active questions tagged formal-methods - Stack Overflow - most recent 30 from stackoverflow.com
The Sweethome - A list of the best home goods and gear
Poem of the Day - Featured poem of the day.
Oh Joy Sex Toy - A Sex Toy Comic Review Site
The World's Best Ever: Design, Fashion, Art, Music, Photography, Lifestyle, Entertainment - The World's Best in Art, Culture, and Entertainment
Xataka Smart Home - Publicación de noticias sobre domótica, Smart TV y tecnología del hogar. Últimas tecnologías en electrónica del hogar y novedades tecnológicas en domótica, equipos de audio y home cinema, redes domésticas, etc
Xataka On - Weblog colectivo dedicado a la ADSL
Xataka Android - Android. Noticias e información sobre el Sistema Operativo para dispositivos móviles de Google: Android Market, aplicaciones, móviles, tablets y más en Xataka Android.
VoxEU.org: Recent Articles - Research-based policy analysis and commentary from leading economists
The Partially Examined Life Philosophy Podcast - A Philosophy Podcast and Philosophy Blog