Limit Search Results
Author
Language
Publication Date
-
Material Type
Shelf Location
Library
50 Results Found Subscribe to search results
000000000000DEFAULT
Print
Author 
Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Gedeon, Tom. editor. (orcid)0000-0001-8356-4909 Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031 Lee, Minho. editor. (orcid)0000-0002-0441-7087 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Li, Shijian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Biswas, Subir. editor. Mukherjee, Animesh. editor. Chan, Mun Choon. editor. Chakraborty, Sandip. editor. Kumar, Abhinav. editor.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Chang, Lijun. editor. Gan, Junhao. editor. Cao, Xin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Rota Bulò, Samuel. editor. (orcid)0000-0002-2372-1367 Snoek, Cees. editor. (orcid)0000-0001-9092-1556 Lanz, Oswald. editor. (orcid)0000-0003-4793-4276 Messelodi, Stefano. editor. (orcid)0000-0002-4673-9607
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Leal-Taixé, Laura. editor. Roth, Stefan. editor. (orcid)0000-0001-9002-9832 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Sun, Fuchun. editor. Liu, Huaping. editor. (orcid)0000-0002-4042-6044 Hu, Dewen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Sun, Fuchun. editor. Liu, Huaping. editor. (orcid)0000-0002-4042-6044 Hu, Dewen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Herzog, Michael A. editor. (orcid)0000-0002-7597-2272 Kubincová, Zuzana. editor. (orcid)0000-0003-1909-6738 Han, Peng. editor. Temperini, Marco. editor. (orcid)0000-0002-8597-4634 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Leal-Taixé, Laura. editor. Roth, Stefan. editor. (orcid)0000-0001-9002-9832 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: