Personensuche
X
?
1
Distributed Computing and Internet Technology: 16th Interna..
Information Systems and Applications, incl. Internet/Web, and HCI, 11969
?
2
Automated Technology for Verification and Analysis: 18th In..
Programming and Software Engineering, 12302
?
3
Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-2...
Lecture Notes in Computer Science ; 10580;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
4
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, Oc...
Lecture Notes in Computer Science ; 8172;SpringerLink, Bücher
?
5
Theoretical aspects of computing - ICTAC 2005
second international colloquium, Hanoi, Vietnam, October 17...
Lecture notes in computer science ; 3722
?
6
Theo retical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17...
Lecture Notes in Computer Science ; 3722
?
9
Integrated Uncertainty in Knowledge Modelling and Decision ..
6th International Symposium, IUKM 2018, Hanoi, Vietnam, Mar...
Lecture Notes in Computer Science ; 10758;Lecture Notes in Artificial Intelligence ; 10758;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
11
Physica status solidi
Volume 124, Number 1: July 1
Physica status solidi ; Volume 124, Number 1, B
?
12
Trace Element
Analytical Chemistry in Medicine and Biology ; Volume 2: Pr...
Trace Element ; Volume 2
?
13
Automated technology for verification and analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, Oc...
Lecture notes in computer science ; 12302;Springer eBook Collection