Limit Search Results
Author
SpringerLink (Online service)
(18)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Totten, George E.
(2)
Achard, Frederic.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(6)
Electronic books.
(5)
Computational intelligence.
(4)
Computer science.
(4)
Software engineering.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for The ESD control program handbook
The ESD control program handbook
Author 
Smallwood, J. M. (Jeremy M.), author.
Preferred Shelf Number 
TK7870
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118694541
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Ecodesign and Ecoinnovation in the Food Industries
Ecodesign and Ecoinnovation in the Food Industries
Author 
Yannou-Le Bris, Gwenola. Serhan, Hiam. Duchaine, Sibylle. Ferrandi, Jean-Marc. Trystram, Gilles.
Preferred Shelf Number 
TP370.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119687375
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Design for safety
Design for safety
Author 
Gullo, Louis J., editor. Dixon, Jack, 1948- editor.
Preferred Shelf Number 
TA169.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118974339
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Agile Strategy Management
Agile Strategy Management
Author 
Lyngso, Soren, author.
Preferred Shelf Number 
HD30.2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781351122825
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Programming multicore and many-core computing systems
Programming multicore and many-core computing systems
Author 
Pllana, Sabri, editor. Xhafa, Fatos, editor.
Preferred Shelf Number 
QA76.642 .P767 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119332015
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
Cover image for Phytoremediation for Green Energy
Phytoremediation for Green Energy
Author 
Öztürk, Münir. editor. Ashraf, Muhammad. editor. Aksoy, Ahmet. editor. Ahmad, Muhammad Sajid Aqeel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7887-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Geotechnical engineering of dams
Geotechnical engineering of dams
Author 
Fell, Robin, author.
Preferred Shelf Number 
TC540 .F45 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action