E-LIB Suche - Ergebnisse für: Polak, Wolfgang

1

Die Aufgaben des wissenschaftlich-technischen Rechtsschutze..

Abhandlungen der Akademie der Wissenschaften der DDR/ W. Veröffentlichungen der Wissenschaftlichen Räte ; 1977, 4

Hierse, Klaus ; Hofmann, Werner ; Kastler, Robert... - Reprint 2021 . , [2022]

Link: https://doi.org/10.1515/..

2

Die Aufgaben des wissenschaftlich-technischen Rechtsschutze..

Abhandlungen der Akademie der Wissenschaften der DDR/ W. Veröffentlichungen der Wissenschaftlichen Räte ; 1977, 4

Hierse, Klaus ; Hofmann, Werner ; Kastler, Robert... - Reprint 2021 . , [2022]

Link: https://doi.org/10.1515/..

3

Quantum computing

a gentle introduction Scientific and engineering computation

Rieffel, Eleanor ; Polak, Wolfgang , 2011

Copies: Zentrale:E02 a inf 430 qua/120

4

Quantum computing: a gentle introduction

Scientific and engineering computation

Rieffel, Eleanor ; Polak, Wolfgang , 2011

Link: https://search.ebscohost..

5

Simple and effective defense against evil twin access point:

, In: Proceedings of the first ACM conference on Wireless network security,

Roth, Volker ; Polak, Wolfgang ; Rieffel, Eleanor. - p. 220-235 , 2008

Link: https://dl.acm.org/doi/1..

6

Formal methods in practice:

Polak, Wolfgang
Science of Computer Programming. 42 (2002) 1 - p. 75-85 , 2002

Link: https://doi.org/10.1016/..

7

An introduction to quantum computing for non-physicists:

Rieffel, Eleanor ; Polak, Wolfgang
ACM Computing Surveys (CSUR). 32 (2000) 3 - p. 300-335 , 2000

Link: https://dl.acm.org/doi/1..

8

An introduction to quantum computing for non-physicists:

Rieffel, Eleanor ; Polak, Wolfgang
ACM Computing Surveys. 32 (2000) 3 - p. 300-335 , 2000

Link: https://doi.org/10.1145/..

9

Formal Methods in Practice:

Polak, Wolfgang
Electronic Notes in Theoretical Computer Science. 25 (1999) - p. 62-72 , 1999

Link: https://doi.org/10.1016/..

10

Compiler specification and verification

Lecture notes in computer science ; 124

Polak, Wolfgang , 1981

Link: http://dx.doi.org/10.100..

11

Compiler specification and verification

Lecture notes in computer science ; 124

Polak, Wolfgang , 1981

Copies: Zentrale:Magazin 01.f.7009

12

Program verification based on denotation semantics:

, In: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Polak, Wolfgang - p. 149-158 , 1981

Link: https://dl.acm.org/doi/1..

13

A practical method of documenting and verifying Ada program..:

, In: Proceedings of the ACM-SIGPLAN symposium on Ada programming language,

Luckham, David C. ; Polak, Wolfgang - p. 113-122 , 1980

Link: https://dl.acm.org/doi/1..

14

A practical method of documenting and verifying Ada program..:

, In: Proceedings of the ACM-SIGPLAN symposium on The ADA programming language,

Luckham, David C. ; Polak, Wolfgang - p. 113-122 , 1980

Link: https://dl.acm.org/doi/1..

15

Response to K. Foster's letter:

Polak, Wolfgang
ACM SIGSOFT Software Engineering Notes. 5 (1980) 1 - p. 37-38 , 1980

Link: https://dl.acm.org/doi/1..