Clear Search

Books+ Search Results

Subject: "Computer science"
Format: Is
Is Is Not
Books
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,242)
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