Limit Search Results
Author
Language
Subject
Artificial intelligence.
(6)
Software engineering.
(5)
Compilers (Computer programs).
(4)
Compilers and Interpreters.
(4)
Computer Science Logic and Foundations of Programming.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
22 Results Found Subscribe to search results
0000000000DEFAULT
Print
13. 
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:
14. 
Cover image for GPS Theory, Algorithms and Applications
GPS Theory, Algorithms and Applications
Author 
Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Intelligent Computer Systems in Engineering Design Principles and Applications
Intelligent Computer Systems in Engineering Design Principles and Applications
Author 
Sunnersjö, Staffan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28125-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
Author 
Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19503-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Digital Photogrammetry A Practical Course
Digital Photogrammetry A Practical Course
Author 
Linder, Wilfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50463-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Sustainable Development in the Jordan Valley Final Report of the Regional NGO Master Plan
Sustainable Development in the Jordan Valley Final Report of the Regional NGO Master Plan
Author 
Kool, Jeroen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30036-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Helicobacter pylori
Helicobacter pylori
Author 
Suzuki, Hidekazu. editor. Warren, Robin. editor. Marshall, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55705-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Programming with Python
Programming with Python
Author 
Padmanabhan, T R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Author 
Gumzej, Roman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28905-2
Format: 
Availability 
Online Library~1
Available:
Copies: