Clear Search

Books+ Search Results

Subject: "Computer science"
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 (4,450)
1.
Rigorous Software Development An Introduction to Program Verification
Author
Almeida, José Bacelar
Published
London : Springer London : Imprint: Springer, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
Author
Norwegian Mathematical Society
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Using Toolpack Software Tools Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17–21 November 1986
Author
Pollicini, A. A.
Published
Dordrecht : Springer Netherlands, 1989.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-0879-6
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Structures of Computing A Guide to Practice-Oriented Theory
Author
Börger, Egon
Published
Cham : Springer International Publishing : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Author
Gol Mohammadi, Nazila
Published
Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
HTML5 and JavaScript Projects Build on your Basic Knowledge of HTML5 and JavaScript to Create Substantial HTML5 Applications
Author
Meyer, Jeanine
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Illustrated C# 7 The C# Language Presented Clearly, Concisely, and Visually
Author
Solis, Daniel
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Author
Steffen, Bernhard
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Optimizing Data-to-Learning-to-Action The Modern Approach to Continuous Performance Improvement for Businesses
Author
Flinn, Steven
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Practical Docker with Python Build, Release and Distribute your Python App with Docker
Author
Bhat, Sathyajith
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Practical TLA+ Planning Driven Development
Author
Wayne, Hillel
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
Pro Entity Framework Core 2 for ASP.NET Core MVC
Author
Freeman, Adam
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Pro PowerShell Desired State Configuration An In-Depth Guide to Windows PowerShell DSC
Author
Chaganti, Ravikanth
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
REST API Development with Node.js Manage and Understand the Full Capabilities of Successful REST Development
Author
Doglio, Fernando
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Software Fault Prediction A Road Map
Author
Kumar, Sandeep
Published
Singapore : Springer Singapore : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Software Languages Syntax, Semantics, and Metaprogramming
Author
Lämmel, Ralf
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Using MVVM Light with your Xamarin Apps
Author
Johnson, Paul
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Windows 10 Development with XAML and C# 7
Author
Liberty, Jesse
Published
Berkeley, CA : Apress : Imprint: Apress, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Advances in computers. Volume 105
Published
Cambridge, MA : Academic Press, [2017]
©2017
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Beginning Swift Games Development for iOS Develop 2D and 3D games Using Apple's SceneKit and SpriteKit
Author
Goodwill, James
Published
Berkeley, CA : Apress : Imprint: Apress, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Beginning XML with C# 7 XML Processing and Data Access for C# Developers
Author
Joshi, Bipin
Published
Berkeley, CA : Apress : Imprint: Apress, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
Author
Alebrahim, Azadeh
Published
Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online