Limit Search Results
Author
SpringerLink (Online service)
(73)
Pal, Indrajit. editor. (orcid)0000-0002-8743-8122
(3)
LaMarche, Jeff. author.
(2)
Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Publication Date
-
2016
(19)
2024
(17)
2025
(17)
2017
(13)
2014
(7)
Subject
Software engineering.
(15)
Artificial intelligence.
(10)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Computational intelligence.
(7)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
73 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for Broken Pumps and Promises Incentivizing Impact in Environmental Health
Broken Pumps and Promises Incentivizing Impact in Environmental Health
Author 
Thomas, Evan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28643-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Shoulder Surgery Rehabilitation A Teamwork Approach
Shoulder Surgery Rehabilitation A Teamwork Approach
Author 
Di Giacomo, Giovanni. editor. Bellachioma, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24856-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Author 
Rosenstock, Todd S. editor. Rufino, Mariana C. editor. Butterbach-Bahl, Klaus. editor. Wollenberg, Lini. editor. Richards, Meryl. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
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:
58. 
Cover image for Fully Implicit, Coupled Procedures in Computational Fluid Dynamics An Engineer's Resource Book
Fully Implicit, Coupled Procedures in Computational Fluid Dynamics An Engineer's Resource Book
Author 
Mazhar, Zeka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29895-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Conscious Coastal Cities Sustainability, Blue Green Growth, and The Politics of Imagination
Conscious Coastal Cities Sustainability, Blue Green Growth, and The Politics of Imagination
Author 
Mega, Voula P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20218-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
Select an Action