Search for persons
X
?
4
Protein folding, misfolding and aggregation
Classical themes and novel approaches
RSC Biomolecular sciences ; v. 14
?
6
Cloud Computing and Services Science: 8th International Con..
Communications in Computer and Information Science, 1073
?
7
Modern Industrial IoT, Big Data and Supply Chain
Proceedings of the IIoTBDSC 2020
Smart Innovation, Systems and Technologies ; 218
?
8
Modern Industrial IoT, Big Data and Supply Chain: Proceedin..
Smart Innovation, Systems and Technologies, 218
?
9
Cloud Computing and Services Science: 9th International Con..
Communications in Computer and Information Science, 1218
?
12
New Perspectives in Software Engineering: Proceedings of th..
Lecture Notes in Networks and Systems, 576
?
14
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002 Hampton, VA, USA...
Lecture Notes in Computer Science ; 2410;SpringerLink, Bücher;Springer eBook Collection, Computer Science