Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
The rise and sale of the General Electric Computer Department: a further lookLee, J.A.N. ; Snively, G.E.IEEE annals of the history of computing, 2000-04, Vol.22 (2), p.53-60 [Periódico revisado por pares]Washington: IEEETexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
BiographiesLee, John A NIEEE annals of the history of computing, 1999-01, Vol.21 (1), p.48-54 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
The US Bombes, NCR, Joseph Desch, and 600 WAVES: the first reunion of the US Naval Computing Machine LaboratoryLee, J.A.N. ; Burke, C. ; Anderson, D.IEEE annals of the history of computing, 2000-07, Vol.22 (3), p.27-41 [Periódico revisado por pares]Washington: IEEETexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
"Those who forget the lessons of history are doomed to repeat it": or, Why I study the history of computingLee, J.A.N.IEEE annals of the history of computing, 1996-01, Vol.18 (2), p.54-62 [Periódico revisado por pares]Los Alamitos, CA: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A methodology for constructing predicate transition net specificationsHe, Xudong ; Lee, John A. N.Software, practice & experience, 1991-08, Vol.21 (8), p.845-875 [Periódico revisado por pares]New York: John Wiley & Sons, LtdSem texto completo |
6 |
Material Type: Artigo
|
![]() |
Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systemsHe, Xudong ; Lee, John A. N.Formal aspects of computing, 1990-03, Vol.2 (1), p.226-246 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
About This IssueLee, John ANIEEE annals of the history of computing, 1990-01, Vol.12 (1), p.1 [Periódico revisado por pares]New York: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)Texto completo disponível |
8 |
Material Type: Resenha
|
![]() |
The Anatomy of a CompilerSchwartz, J. T.Mathematics of Computation, 1970, Vol.24 (109), p.234-235 [Periódico revisado por pares]American Mathematical SocietyTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Apalutamide Treatment and Metastasis-free Survival in Prostate CancerSmith, Matthew R ; Saad, Fred ; Chowdhury, Simon ; Oudard, Stéphane ; Hadaschik, Boris A ; Graff, Julie N ; Olmos, David ; Mainwaring, Paul N ; Lee, Ji Youl ; Uemura, Hiroji ; Lopez-Gitlitz, Angela ; Trudel, Géralyn C ; Espina, Byron M ; Shu, Youyi ; Park, Youn C ; Rackoff, Wayne R ; Yu, Margaret K ; Small, Eric JThe New England journal of medicine, 2018-04, Vol.378 (15), p.1408-1418 [Periódico revisado por pares]United States: Massachusetts Medical SocietyTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Twelve or 30 Months of Dual Antiplatelet Therapy after Drug-Eluting StentsMauri, Laura ; Kereiakes, Dean J ; Yeh, Robert W ; Driscoll-Shempp, Priscilla ; Cutlip, Donald E ; Steg, P. Gabriel ; Normand, Sharon-Lise T ; Braunwald, Eugene ; Wiviott, Stephen D ; Cohen, David J ; Holmes, David R ; Krucoff, Mitchell W ; Hermiller, James ; Dauerman, Harold L ; Simon, Daniel I ; Kandzari, David E ; Garratt, Kirk N ; Lee, David P ; Pow, Thomas K ; Ver Lee, Peter ; Rinaldi, Michael J ; Massaro, Joseph MThe New England journal of medicine, 2014-12, Vol.371 (23), p.2155-2166 [Periódico revisado por pares]Waltham, MA: Massachusetts Medical SocietyTexto completo disponível |