Clear Search

Books+ Search Results

Subject: "Engineering"
Subject: Is
Is Is Not
Software engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (7,022)

Limit your search

-
Current results range from 1950 to 2025

1.
Abstraction, Refinement and Proof for Probabilistic Systems
Author
McIver, Annabelle
Published
New York, NY : Springer New York, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Abstract State Machines A Method for High-Level System Design and Analysis
Author
Börger, E. (Egon), 1946-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-18216-7
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Accelerated VB 2005
Author
Nash, Trey
Published
Berkeley, CA : Apress : Imprint: Apress, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Accelerating Digital Transformation 10 Years of Software Center
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Accelerating Test, Validation and Debug of High Speed Serial Interfaces
Author
Fan, Yongquan
Published
Dordrecht : Springer Science+Business media B.V., 2011.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-90-481-9398-1
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Access Control Systems Security, Identity Management and Trust Models
Author
Benantar, Messaoud
Published
New York, NY : Springer US : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Accessibility for Everyone: Understanding the Section 508 Accessibility Requirements
Author
Mueller, John
Published
Berkeley, CA : Apress : Imprint: Apress, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
Author
Hei, Xiao Jun
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Achievement and Assurance of Safety Proceedings of the Third Safety-critical Systems Symposium
Author
Redmill, Felix
Published
London : Springer London, 1995.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-3003-1
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Achieving Quality Software Including Its Application to Safety-Related Systems
Author
Smith, David J.
Published
Dordrecht : Springer Netherlands, 1995.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-011-0549-1
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Achieving Safety and Reliability with Computer Systems
Author
Daniels, B. K.
Published
Dordrecht : Springer Netherlands, 1987.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-3461-0
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012
Author
Dale, Chris
Published
London : Springer London, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Acing the System Design Interview
Author
Tan, Zhiyong
Published
Shelter Island, NY : Manning Publications, [2024]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
ACM queue
Published
New York, NY : Association for Computing Machinery,
Location
Library Shelving Facility (LSF) >> QA76.758 A175 (LC) Oversize
Format
Journals & Newspapers
16.
ACM queue tomorrow's computing today
Published
New York, N.Y. : ACM, 2003-
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
17.
ACM transactions on software engineering and methodology
Published
New York : Association for Computing Machinery, 1992-
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
18.
ACM transactions on software engineering and methodology
Published
New York, NY : Association for Computing Machinery, c1992-
Location
Library Shelving Facility (LSF) >> QA76.758 A35 (LC)
Format
Journals & Newspapers
19.
ACM Workshop on Interdisciplinary Software Engineering Research : WISER
Published
New York, NY : ACM,
Location
Library Shelving Facility (LSF) >> QA76.758 A354 (LC)+ Oversize
Format
Journals & Newspapers
20.
ACS Without an Attitude
Author
Hallock, Harold L.
Published
London : Springer London : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Action Research in Software Engineering Theory and Applications
Author
Staron, Miroslaw
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
Author
Chen, Peter P. S.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
Author
Chen, Peter P. S.
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Active Directory Field Guide
Author
Hunter, Laura E.
Published
Berkeley, CA : Apress, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online