Limit Search Results
Author
SpringerLink (Online service)
(27)
Ahrndt, Sebastian. editor.
(1)
Avila-George, Himer. editor. (orcid)0000-0001-8578-0170
(1)
Balakrishnan, Arunkumar. editor.
(1)
Becker, Steffen. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(9)
Computer science.
(9)
Computer Science Logic and Foundations of Programming.
(8)
Algorithms.
(7)
Formal Languages and Automata Theory.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000DEFAULT
Print
25. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Real-World Decision Support Systems Case Studies
Real-World Decision Support Systems Case Studies
Author 
Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43916-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Architectural Design Conception and Specification of Interactive Systems
Architectural Design Conception and Specification of Interactive Systems
Author 
Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43298-4
Format: 
Availability 
Online Library~1
Available:
Copies: