Limit Search Results
Author
SpringerLink (Online service)
(14)
Clarebout, Geraldine. editor.
(2)
Huang, Xiong. editor.
(2)
Kleijn, Jetty. editor.
(2)
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(8)
Computer Science Logic and Foundations of Programming.
(5)
Software engineering.
(5)
Algorithms.
(3)
Computer Communication Networks.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Author 
Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Author 
Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52921-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XI
Transactions on Petri Nets and Other Models of Concurrency XI
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53401-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
QA76.9 .A43 A433 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: