Limit Search Results
Author
SpringerLink (Online service)
(41)
Marcus, Aaron. editor.
(3)
Wang, Wentao. editor.
(3)
Cohen, Ryan. author.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Publication Date
-
Subject
Software engineering.
(19)
Application software.
(8)
Artificial intelligence.
(8)
Compilers (Computer programs).
(8)
Compilers and Interpreters.
(8)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Author 
Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31545-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Wireless Sensor Networks for Structural Health Monitoring
Wireless Sensor Networks for Structural Health Monitoring
Author 
Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Instruction Level Parallelism
Instruction Level Parallelism
Author 
Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016
Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016
Author 
Gühmann, Clemens. editor. Riese, Jens. editor. von Rüden, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32345-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for Pervasive Social Computing Socially-Aware Pervasive Systems and Mobile Applications
Pervasive Social Computing Socially-Aware Pervasive Systems and Mobile Applications
Author 
Kabir, Muhammad Ashad. author. Han, Jun. author. Colman, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29951-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Coriolis Vibratory Gyroscopes Theory and Design
Coriolis Vibratory Gyroscopes Theory and Design
Author 
Apostolyuk, Vladislav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22198-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
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-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Simulation of the Noise Transmission through Automotive Door Seals
Simulation of the Noise Transmission through Automotive Door Seals
Author 
Hazir, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14253-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Practical Software Development Techniques Tools and Techniques for Building Enterprise Software
Practical Software Development Techniques Tools and Techniques for Building Enterprise Software
Author 
Crookshanks, Edward. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Argus Developer in Practice Real Estate Development Modeling in the Real World
Argus Developer in Practice Real Estate Development Modeling in the Real World
Author 
Havard, Tim M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6263-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action