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
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Dimov, Ivan. editor. Faragó, István. editor. (orcid)0000-0002-4615-7615 Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
de Haan, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Author
Li, Shijian. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
Format:
Availability
Online Library~1
Copies:
Select an Action