Limit Search Results
Author
SpringerLink (Online service)
(132)
Marcus, Aaron. editor.
(5)
Rosenzweig, Elizabeth. editor.
(5)
Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320
(5)
Finkbeiner, Bernd. editor.
(3)
Language
English
(137)
Publication Date
-
Subject
Computer science.
(84)
Compilers (Computer programs).
(34)
Compilers and Interpreters.
(34)
Computer Communication Networks.
(34)
Computer Science Logic and Foundations of Programming.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
138 Results Found Subscribe to search results
000000DEFAULT
Print
133. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Pro TypeScript Application-Scale JavaScript Development
Pro TypeScript Application-Scale JavaScript Development
Author 
Fenton, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Data structure and software engineering : challenges and improvements
Data structure and software engineering : challenges and improvements
Author 
Antonakos, James L.
Preferred Shelf Number 
QA76.9 .D35 D38 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Software measurement and estimation a practical approach
Software measurement and estimation a practical approach
Author 
Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Software engineering for image processing systems
Software engineering for image processing systems
Author 
Laplante, Phillip A., author.
Preferred Shelf Number 
TA1637 .L34 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action