Język / Kraj:
Strony podobne do Lucacardelli.Name
Luca Cardelli
opis: Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile ...
Popularne wyszukiwania: lucacardelli
Ocena strony:
3.0 / 5.0, przeglądowi przez Sites Like Search
język: English
tematy stron: computer
Full text of book online in HTML. "A popular sketch of a great historical character who ought to be more popular."
Ocena strony:
3.0 / 5.0, język: English
Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.
Ocena strony:
3.0 / 5.0, język: English
Department of Computer Sciences
Ocena strony:
3.0 / 5.0, język: English
School of Computer Science. Research groups focus on advanced compilers, architectures and programming systems, Java tools, artificial intelligence, database ...
Ocena strony:
3.0 / 5.0, język: English
Collection of programming-related links.
Ocena strony:
3.0 / 5.0, język: English
With a long tradition of excellence dating back to the 1960's, Dartmouth's CS program has a world-class faculty on the cutting edge of computing and research.
Ocena strony:
3.0 / 5.0, język: English
Theoretical and applied machine learning guy. Contact information and selected publications.
Ocena strony:
3.0 / 5.0, język: English
Almost certainly the best blog about taste, product design, user experience, and game mechanics on the internets.
Ocena strony:
3.0 / 5.0, język: English
Podobne wyniki:
Strony podobne do Novaspivack.Typepad
Strony podobne do Eden.Dei.Uc.Pt
Strony podobne do Nilo.Stolte.Free.Fr
Strony podobne do Informatics.Sussex.Ac.Uk
Strony podobne do Users.Dimi.Uniud.It
Home.Dei.Polimi.It alternatywy
Cs.Brown.Edu alternatywy
Billday alternatywy
Oldwww.Acm.Org alternatywy
Moshesipper alternatywy
Strony podobne do Eden.Dei.Uc.Pt
Strony podobne do Nilo.Stolte.Free.Fr
Strony podobne do Informatics.Sussex.Ac.Uk
Strony podobne do Users.Dimi.Uniud.It
Home.Dei.Polimi.It alternatywy
Cs.Brown.Edu alternatywy
Billday alternatywy
Oldwww.Acm.Org alternatywy
Moshesipper alternatywy