Limit Search Results
Author
SpringerLink (Online service)
(14)
Ahrndt, Sebastian. editor.
(1)
Blesa, Maria J. editor.
(1)
Blum, Christian. editor.
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Language
Publication Date
-
Subject
Computer science.
(9)
Software engineering.
(7)
Computer Science Logic and Foundations of Programming.
(6)
Artificial intelligence.
(5)
Computer science -- Mathematics.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Rendezvous in Distributed Systems Theory, Algorithms and Applications
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Author 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
Author 
Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45889-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Pattern Mining with Evolutionary Algorithms
Pattern Mining with Evolutionary Algorithms
Author 
Ventura, Sebastián. author. Luna, José María. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33858-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Author 
Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39636-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Genetic and evolutionary computation medical applications
Genetic and evolutionary computation medical applications
Author 
Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-
Preferred Shelf Number 
ONLINE(318963.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=624700
ebrary http://site.ebrary.com/id/10441473
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634
John Wiley http://dx.doi.org/10.1002/9780470973134
Format: 
Availability 
Online Library~1
Available:
Copies: