Qwika Toolbar for IE and Firefox users!

Home > English

Searching 21,964,380 articles in 1,158 wikis.
Beta release. Any comments please contact us
Press release (Feb 17): New search engine helps bridge the language gap in Wikipedia
Press release (Apr 4): Qwika search engine now indexes 1158 wikis in 12 languages

Search wikis:

Tony Hoare   (translated from German)
... Universitaet Oxford back. 1980 it received that ACM Turing Award for its fundamental achievements with ... Hoare: At Axiomatic basis for computer Programming, Communications OF the ACM, volume. 12 (10), 1969, pp. 576-580 ... Oxford University Short Biografie (English) The 1980 ACM Turing Award Lecture - a copy of the ...
http://de.wikipedia.org/wiki/Tony_Hoare - 6k - Cached (German) - Wikipedia (German) - Similar pages

Puzzles of Merkle   (translated from French)
... for Alice. References R. C. Merkle, "Secure Communications over Insecure Channels" Communications of the ACM 21(4), p. 294 -- 299 (April 1978). External bonds Ralph Merkle, Secure Communications over Insecure Channels (1974) : history and the ...
http://fr.wikipedia.org/wiki/Puzzles_de_Merkle - 3k - Cached (French) - Wikipedia (French) - Similar pages

Tri rapid   (translated from French)
... Algorithm 64, "and" Find: Algorithm 65. "Comm. ACM 4, 321-322, 1961 R. Sedgewick. Implementing quicksort programs, Communications of the ACM, 21(10):847857, 1978. David Musser. Introspective ... of Sorting. "Proceedings of the Eighth Annual ACM-SIAM Symposium one Discrete Algorithms, 1997. pp ...
http://fr.wikipedia.org/wiki/Tri_rapide - 23k - Cached (French) - Wikipedia (French) - Similar pages

Lawrence Roberts (scientist)
... Roberts founded the world’s first packet data communications carrier, Telenet, and was the CEO from ... M. Ericsson prize for research in data communications. In 1992, he was awarded from the ... McDowell Award. In 1998 he received the ACM SIGCOMM communications award for "Visionary Contributions and Advanced Technology ...
http://en.wikipedia.org/wiki/Lawrence_Roberts_(scientist) - 4k - Cached - Similar pages

User:R.Koot/Carl Hewitt
... limitation of logic Proceedings of the 1986 ACM 14th Annual Conference on Computer science. * Gul ... Kowalski. The Early Years of Logic Programming Communications of the ACM. January 1988. * Ehud Shapiro. The family of concurrent logic programming languages ACM Computing Surveys. September 1989. * Carl Hewitt and ...
http://en.wikipedia.org/wiki/User:R.Koot/Carl_Hewitt - 14k - Cached - Similar pages

John Gage
... time. In 1998, Gage was awarded the ACM Presidential Award by Robert Kahn, the President of the ACM for his work on NetDay. In 1999 ... member of the Association for Computing Machinery (ACM), and the Institute of Electrical and Electronics ... advisor to the United Nations Information and Communications Technology Task Force. He is a former ...
http://en.wikipedia.org/wiki/John_Gage - 11k - Cached - Similar pages

John C. Reynolds
... an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the ACM. Books Theories of Programming Languages, Cambridge University ...
http://en.wikipedia.org/wiki/John_C._Reynolds - 2k - Cached - Similar pages

Indeterminacy in computation
... limitation of logic Proceedings of the 1986 ACM 14th Annual Conference on Computer science. Ehud ... Kowalski. The Early Years of Logic Programming Communications of the ACM. January 1988. Ehud Shapiro. The family of concurrent logic programming languages ACM Computing Surveys . September 1989. Carl Hewitt and ...
http://en.wikipedia.org/wiki/Indeterminacy_in_computation - 16k - Cached - Similar pages

Partial redundancy elimination
... Optimization by Suppression of Partial Redundancies. Communications of the acm, Vol. 22, Num. 2, Feb. 1979. Knoop ... Steffen, B. Lazy Code Motion. ACM SIGPLAN Notices Vol. 27, Num. 7, Jul ... Partial Redundancy Elimination in SSA Form. ACM Transactions on Programming Languages Vol. 21, Num ...
http://en.wikipedia.org/wiki/Partial_redundancy_elimination - 4k - Cached - Similar pages

Category:Computer science stubs
... 4 tree 4 40hex 7 7a69ezine A ACM Computing Classification System ACM Guide to Computing Literature AIMD Abox Abstract ... science) Common Indexing Protocol Commonsense knowledge bases Communications of the ACM Comparison operator Computably isomorphic Computation Computation problem ...
http://en.wikipedia.org/wiki/Category:Computer_science_stubs - 9k - Cached - Similar pages

 Page: <<Previous 1 4 5 6 7 8 9 10 11 12 13 Next >>

Search wikis:


Search: uk de fr ja it nl pt es gr ko zh ru

Try your search on: FactBites (sentence-based)