Author
SpringerLink (Online service)
726 results
NetLibrary, Inc
39 results
Rand Corporation
30 results
IEEE Computer Society
29 results
Association for Computing Machinery
28 results
Langley Research Center
25 results
United States. National Aeronautics and Space Administration
21 results
EBSCOhost
20 results
ETAPS (Conference)
18 results
Loukides, Michael Kosta
17 results
Taylor & Francis
17 results
ebrary, Inc
17 results
European Association for Theoretical Computer Science
16 results
United States. National Bureau of Standards
16 results
Safari, an O'Reilly Media Company
15 results
Knuth, Donald Ervin, 1938-
13 results
Broy, M., 1949-
12 results
ProQuest (Firm)
11 results
ACM Sigsoft
10 results
Yourdon, Edward
10 results
Bjørner, D. (Dines), 1937-
9 results
Harvey, Brian, 1949-
9 results
Bordini, Rafael H.
8 results
COMPSAC
8 results
Jet Propulsion Laboratory (U.S.)
8 results
Knovel (Firm)
8 results
United States. General Accounting Office
8 results
Bauer, Friedrich Ludwig, 1924-
7 results
Hankin, Chris
7 results
IEEE Computer Society. Software Engineering Technical Committee
7 results
IFIP Technical Committee 2--Programming
7 results
International Federation for Information Processing
7 results
Liberty, Jesse
7 results
Morgan, Carroll, 1952-
7 results
Olsson, Mikael
7 results
Schumann, Hans-Georg
7 results
Association for Computing Machinery. Conference
6 results
Backhouse, Roland C., 1948-
6 results
Bitter, Rick
6 results
Freeman, Adam
6 results
Gear, C. William (Charles William), 1935-
6 results
International Conference on Rewriting Techniques and Applications
6 results
Jones, Neil D.
6 results
Kernighan, Brian W.
6 results
Kozen, Dexter, 1951-
6 results
Libby, Alex
6 results
Maciaszek, Leszek A.
6 results
Mailund, Thomas
6 results
Margenstern, Maurice
6 results
Mohiuddin, Taqi
6 results
more…