Clear Search

Books+ Search Results

Location: Is
Is Is Not
Sterling Memorial Library
Subject with Hierarchy: Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Coded history : my life of new beginnings
Author
Dwolatsky, Barry
Published
[New York] : Paperhearts Publishing, 2022.
©2022
Location
SML, Stacks, LC Classification >> QA76.2.D96 A3 2022 (LC)
Format
Books
2.
Paradigmy modelirovanii︠a︡ i programmirovanii︠a︡ zadach i dannykh predmetnykh oblasteĭ znaniĭ : monografii︠a︡
Title
Парадигмы моделирования и программирования задач и данных предметных областей знаний
Author
Lavrishcheva, E. M.
Лаврищева, Е. М.
Published
Moskva ; Berlin : Direkt-Media, 2021.
Location
SML, Stacks, LC Classification >> QA76.754 .L38 2021 (LC)
Format
Books
3.
Think black : a memoir
Author
Ford, Clyde W.
Published
New York, NY : Amistad, an imprint of HarperCollins Publishers, [2019]
Location
SML, Linonia & Brothers Room >> QA76.2.F67 A3 2019 (LC)
Format
Books
4.
Principles of computer system design : an introduction
Author
Saltzer, J. H., 1939-
Published
Amsterdam ; London : Elsevier/Morgan Kaufmann, c2009.
Location
SML, Stacks, LC Classification >> QA76.9 S88 S25 2009 (LC)
Format
Books
5.
Beautiful code
Published
Sebastapol, Calif. ; Farnham : O'Reilly, c2007.
Location
SML, Stacks, LC Classification >> QA76.758 .B48 2007 (LC)
Format
Books
6.
Software engineering
Author
Sommerville, Ian, 1951-
Published
New York : Addison-Wesley, c2007.
Location
SML, Stacks, LC Classification >> QA76.758 S657X 2006 (LC)
Format
Books
7.
Mechanized reasoning for dually-nondeterministic and probabilistic programs
Author
Celiku, Orieta
Published
Finland : Åbo Akademi University, 2006.
Location
SML, Stacks, LC Classification >> QA76.758 .C45 2006
Format
Books / Dissertations & Theses
8.
Software engineering : a practitioner's approach
Author
Pressman, Roger S.
Published
Boston, Mass. : McGraw-Hill, c2005.
Online
Table of contents
Location
SML, Stacks, LC Classification >> QA76.758 .P75X 2005 (LC)
Format
Books
9.
Facts and fallacies of software engineering
Author
Glass, Robert L., 1932-
Published
Boston, MA : Addison-Wesley, 2003.
Location
SML, Stacks, LC Classification >> QA76.758 G52X 2003 (LC)
Format
Books
10.
CAD services an industry standard interface for mechanical CAD Interoperability
Author
Claus, Russell W.
Published
[Cleveland, Ohio] : National Aeronautics and Space Administration, Glenn Research Center ; Hanover, MD : Available from NASA Center for Aerospace Information, [2002]
Online
http://purl.access.gpo.gov/GPO/LPS53272
Location
SML, Microform (Non-Circulating) >> NAS 1.15:211902
Format
Books / Microforms
11.
Engineering analysis using a web-based protocol
Author
Boyle, Robert J.
Published
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center ; Hanover MD : Available from NASA Center for AeroSpace Information, [2002]
Online
http://purl.access.gpo.gov/GPO/LPS43890
Location
SML, Microform (Non-Circulating) >> NAS 1.15:211981
Format
Books / Microforms
12.
HSCT4.0 application software requirements specification
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001]
Online
Adobe Acrobat Reader required
Location
SML, Microform (Non-Circulating) >> NAS 1.15:210867
Format
Books / Microforms
13.
Introduction to software engineering
Author
Leach, Ronald J.
Published
Boca Raton, Fla. : CRC Press, c2000.
Location
SML, Stacks, LC Classification >> QA76.758 L33 2000 (LC)
Format
Books
14.
Software engineering : a programming approach
Author
Bell, Doug, 1944-
Published
Harlow, England ; New York : Addison Wesley, 2000.
Location
SML, Stacks, LC Classification >> QA76.758 B45 2000 (LC)
Format
Books
15.
Specification of interactions in integrated manufacturing systems
Author
Flater, David
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [2000]
Location
SML, Microform (Non-Circulating) >> C 13.58:6484
Format
Books / Microforms
16.
Proceedings of the Twenty-Third Annual Software Engineering Workshop
Author
Software Engineering Workshop (23rd : 1998 : Greenbelt, Md.)
Published
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center ; [Hanover, MD Available from NASA Center for AeroSpace Informationneering Laboratory, 1999]
Location
SML, Microform (Non-Circulating) >> NAS 1.55:209236
Format
Books / Microforms
17.
Microcontrollers and microcomputers : principles of software and hardware engineering
Author
Cady, Fredrick M., 1942-
Published
New York : Oxford University Press, c1997.
Location
SML, Stacks, LC Classification >> TJ223 P76 C33X 1997 (LC)
Format
Books
18.
MVP-CA methodology for the expert system advocate's advisor (ESAA)
Author
Mehrotra, Mala
Published
McLean, VA : U.S. Dept. of Transportation, Federal Highway Administration, Research and Development, Turner-Fairbank Highway Research Center ; [Springfield, VA : Available to the public through the National Technical Information Service, 1997]
Location
SML, Microform (Non-Circulating) >> TD 2.30:97-022
Format
Books / Microforms
19.
Usability engineering industry-government collaboration for system effectiveness and efficiency, held February 26, 1996, at the National Institute of Standards and Technology
Published
Gaithersburg, MD : National Institute of Standards and Technology, Technology Administration, National Institutes of Standards and Technology, 1997.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-237
Format
Books / Microforms
20.
C, a software engineering approach
Author
Darnell, Peter A.
Published
New York : Springer, c1996.
Location
SML, Stacks, LC Classification >> QA76.758 D37X 1996 (LC)
Request for delivery to any Yale Library >> QA76.758 D37X 1996 (LC)
Format
Books
21.
Formal methods and their role in digital systems validation for airborne systems
Author
Rushby, John, 1949-
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : Available from the National Technical Information Service, 1995]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4673
Format
Books / Microforms
22.
The mythical man-month : essays on software engineering
Author
Brooks, Frederick P. (Frederick Phillips)
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Location
BASS, Lower Level >> QA76.758 B75X 1995
Request for delivery to any Yale Library >> QA76.758 B75X 1995
Request for delivery to any Yale Library >> QA76.758 B75X 1995
SML, Stacks, LC Classification >> QA76.758 B75X 1995 (LC)
Format
Books
23.
An Assessment of space shuttle flight software development processes
Published
Washington, D.C. : National Academy Press : [National Aeronautics and Space Administration], 1993.
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193179
Format
Books / Microforms
24.
Integrating interface slicing into sofware engineering processes
Author
Beck, Jon
Published
[Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192761
Format
Books / Microforms
25.
Repository-based software engineering program redefining AdaNET as a mainstream NASA resource
Published
[Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service [distributor], 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193114
Format
Books / Microforms