Limit Search Results
Author
SpringerLink (Online service)
(20)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Abdulrazak, Bessam. editor.
(1)
Aloulou, Hamdi. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(7)
Software engineering.
(5)
Computer Science Logic and Foundations of Programming.
(4)
Computer science.
(4)
Formal Languages and Automata Theory.
(4)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
00000000DEFAULT
Print
13. 
Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Author 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Behavioral Program Synthesis with Genetic Programming
Behavioral Program Synthesis with Genetic Programming
Author 
Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27565-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Harmonics in Offshore Wind Power Plants Application of Power Electronic Devices in Transmission Systems
Harmonics in Offshore Wind Power Plants Application of Power Electronic Devices in Transmission Systems
Author 
Glasdam, Jakob Bærholm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26476-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
Cover image for Basic Studies in Environmental Knowledge, Technology, Evaluation, and Strategy Introduction to East Asia Environmental Studies
Basic Studies in Environmental Knowledge, Technology, Evaluation, and Strategy Introduction to East Asia Environmental Studies
Author 
Shimaoka, Takayuki. editor. Kuba, Takahiro. editor. Nakayama, Hirofumi. editor. Fujita, Toshiyuki. editor. Horii, Nobuhiro. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The US National Climate Assessment Innovations in Science and Engagement
The US National Climate Assessment Innovations in Science and Engagement
Author 
Jacobs, Katharine. editor. Moser, Susanne. editor. Buizer, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41802-5
Format: 
Availability 
Online Library~1
Available:
Copies: