Search for persons
X
?
1
Die Aufgaben des wissenschaftlich-technischen Rechtsschutze..
Abhandlungen der Akademie der Wissenschaften der DDR/ W. Veröffentlichungen der Wissenschaftlichen Räte ; 1977, 4
?
2
Die Aufgaben des wissenschaftlich-technischen Rechtsschutze..
Abhandlungen der Akademie der Wissenschaften der DDR/ W. Veröffentlichungen der Wissenschaftlichen Räte ; 1977, 4
?
3
Quantum computing
a gentle introduction
Scientific and engineering computation
Copies:
Zentrale:E02 a inf 430 qua/120
?
Proceedings of the first ACM conference on Wireless network security ,
5
Simple and effective defense against evil twin access point:
, In:
?
11
Compiler specification and verification
Lecture notes in computer science ; 124
Copies:
Zentrale:Magazin 01.f.7009
?
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
12
Program verification based on denotation semantics:
, In:
?
Proceedings of the ACM-SIGPLAN symposium on Ada programming language ,
13
A practical method of documenting and verifying Ada program..:
, In:
?
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language ,
14