Lucacardelli.name - Похожие Сайты - Сайты, похожие на lucacardelli.name

Язык / Страна:

Русский
- English
- Deutsch
- Français
- Italiano
- Português
- Português
- Nederlands
- Norsk
- Español
- Türkçe
- Русский
- Polszczyzna
- Svenska
- 中文
- 日本語
- United Kingdom
- Canada
- Australia

- Top 5 Sites Like
  lucacardelli.na...
- cse.dmu.ac
- lamport
- cosy.sbg.ac
- cs.mcgill
- shanecooper

Luca Cardelli

Описание: 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 ...

Популярные поисковые запросы: lucacardelli

Рейтинг:

3.0 / 5.0, Sites Like Search

Язык: English

: computer

DMU - Faculty of Technology

Full text of book online in HTML. "A popular sketch of a great historical character who ought to be more popular."

cse.dmu.ac.uk -

Cайты, похожие на Cse.Dmu.Ac.Uk

Рейтинг:

3.0 / 5.0, Язык: English

Leslie Lamport's Home Page

Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.

lamport.org -

Cайты, похожие на Lamport.Org

Рейтинг:

3.0 / 5.0, Язык: English

Computer Sciences - Welcome

Department of Computer Sciences

cosy.sbg.ac.at -

Cайты, похожие на Cosy.Sbg.Ac.At

Рейтинг:

3.0 / 5.0, Язык: English

School of Computer Science — SOCS

School of Computer Science. Research groups focus on advanced compilers, architectures and programming systems, Java tools, artificial intelligence, database ...

cs.mcgill.ca -

Cайты, похожие на Cs.Mcgill.Ca

Рейтинг:

3.0 / 5.0, Язык: English

Shane Cooper's Workstation

Collection of programming-related links.

shanecooper.net -

Cайты, похожие на Shanecooper.Net

Рейтинг:

3.0 / 5.0, Язык: English

Welcome to the Dartmouth Computer Science Department

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.

cs.dartmouth.edu -