Matches in DBpedia 2016-04 for { ?s ?p "Lamport" }
Showing triples 1 to 57 of
57
with 100 triples per page.
- books.html author "Lamport".
- lamport_1205376.cfm last "Lamport".
- garbage last "Lamport".
- lamport-actions last "Lamport".
- proving last "Lamport".
- sometime last "Lamport".
- spec last "Lamport".
- hyperbook.html last "Lamport".
- tla2-guide.pdf last "Lamport".
- fast-paxos last "Lamport".
- generalized last "Lamport".
- lower-bound last "Lamport".
- old-tla-src last "Lamport".
- thesis last "Lamport".
- web-dsn-submission last "Lamport".
- 15560306.html last "Lamport".
- code-bugs-programming-why-we-need-specs last "Lamport".
- books?vid=ISBN0-201-15790-X last "Lamport".
- books?vid=ISBN0-201-52983-1 last "Lamport".
- books?vid=ISBN0-321-14306-X last "Lamport".
- books?vid=ISBN0-521-36270-9 last "Lamport".
- books?vid=ISBN978-90-5199-459-9 last "Lamport".
- 3b2d332671914ce2a47746e48afe40b61ed8c6df02a48155bbf87885012dd17e last "Lamport".
- 94cbb6c35d15fc8883a9a2b4a7aac70a5433e1159c08361692bbe4c24d3bac6e last "Lamport".
- 978-3-642-03466-4_2 last "Lamport".
- s11784-012-0071-6 last "Lamport".
- 0376-5075(78)90045-4 last "Lamport".
- tc.1979.1675439 last "Lamport".
- 177492.177726 last "Lamport".
- 279227.279229 last "Lamport".
- 2993.2994 last "Lamport".
- 322186.322188 last "Lamport".
- 357172.357176 last "Lamport".
- 359545.359563 last "Lamport".
- 361082.361093 last "Lamport".
- pubs.html last "Lamport".
- pubs.html last "Lamport".
- web-dsn-submission last1 "Lamport".
- dccc6c2108bb814701a0a95d4743b96dec2dd2cd2269daff7e3854c17ab7a6e1 last1 "Lamport".
- tc.1979.1675439 last1 "Lamport".
- tse.1977.229904 last1 "Lamport".
- 1753171.1753191 last1 "Lamport".
- 2402.322398 last1 "Lamport".
- 357172.357176 last1 "Lamport".
- 358790.358797 last1 "Lamport".
- 359545.359563 last1 "Lamport".
- 5383.5385 last1 "Lamport".
- 858336.858339 last1 "Lamport".
- time-clocks.pdf last1 "Lamport".
- books?vid=ISBN978-0-14-044368-4 last2 "Lamport".
- 151646.151649 last2 "Lamport".
- 214451.214456 last2 "Lamport".
- 359642.359655 last2 "Lamport".
- 3-540-48153-2_6 last3 "Lamport".
- 978-3-642-32759-9_14 last3 "Lamport".
- 322186.322188 last3 "Lamport".
- Mtng62.doc last6 "Lamport".