Langue / Pays:

Sites similaires à Lamport.Org

lamport.org - Leslie Lamport's Home Page
Leslie Lamport's Home Page
Description: Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex.
Recherches les plus fréquentes: lamport
Lamport.Org
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, examinés par Sites Like Search
Langue: English
Thèmes du site:  computer
Yury Lifshits is a web researcher and entrepreneur. This is Yury's official website with all papers, projects and teaching materials.
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
www.stanthev.com Prof. Dr. Vladimir Stantchev
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Over a dozen professionally developed education projects, in physics, astronomy, math, geometry.
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
School of Computer Science and Engineering. Major research areas include machine learning, VLSI design, multimedia databases and formal methods in software ...
cse.unsw.edu.au - 

Sites similaires à Cse.Unsw.Edu.Au

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Rimon Barr: Home page
rimonbarr.com - 

Sites similaires à Rimonbarr

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Department of Computer Science and Engineering (CSE)
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Information on monads and functional programming
homepages.inf.ed.ac.uk - 

Sites similaires à Homepages.Inf.Ed.Ac.Uk

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
sujets similaires:  computer   religion   math   programming   software   artificial   social   education   literature