History
1
au:Polak, W*
30


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 | next | last

Result 1 to 20 of 30 total

Quantum computing. A gentle introduction. (English)
Scientific and Engineering Computation. Cambridge, MA: MIT Press (ISBN 978-0-262-01506-6/hbk). xiii, 372~p. \sterling~31.95 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX
Simple and effective defense against evil twin access points (English)
WISEC, 220-235 (2008).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Mtable: browsing photos and videos on a tabletop system (English)
ACM Multimedia, 1107-1108 (2008).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
The evolution of technology within a simple computer model. (English)
Complexity 11, No. 5, 23-31 (2006).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Implicit brushing and target snapping: data exploration and sense-making on large displays (English)
AVI, 258-261 (2006).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
Mediametro: browsing multimedia document collections with a 3D city metaphor (English)
ACM Multimedia, 213-214 (2005).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal methods in practice. (English)
Sci. Comput. Program. 42, No.1, 75-85 (2002).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
An introduction to quantum computing for non-physicists. (English)
ACM Comput. Surv. 32, No. 3, 300-335 (2000).
Classification: A.1 J.2
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX DOI
An introduction to quantum computing for non-physicists (English)
ACM Comput. Surv. 32, No. 3, 300-335 (2000).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
A genetic segmentation algorithm for image data streams and video (English)
GECCO, 666-673 (2000).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX
A genetic algorithm for video segmentation and summarization (English)
IEEE International Conference on Multimedia and Expo (III), 1329-1332 (2000).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX
Formal methods in practice. (English)
Electron. Notes Theor. Comput. Sci. 25 (1999).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Tools for quantum algorithms. (English)
Int. J. Mod. Phys. C 10, No.7, 1347-1361 (1999).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX DOI
An introduction to quantum computing for non-physicists. (English)
Comput. Res. Repos. 1998, Article No. 9809016 (1998).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX URL
Formal methods in practice. (English)
Luqi (ed.) et al., The 1998 ARO/ONR/NSF/DARPA Monterey workshop on engineering automation for computer based systems. Carmel, CA, USA, October 23-26, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 25, 10 p., electronic only (1998).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX URL
Formal verification of ada programs (English)
Larch, 104-141 (1992).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX
Formal Verification of Ada Programs. (English)
IEEE Transactions on Software Engineering 16, No.09, 1058-1075 (1990).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal verification of ada programs (English)
IEEE Trans. Software Eng. 16, No. 9, 1058-1075 (1990).
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX URL
Framework for a knowledge-based programming environment (English)
Advanced Programming Environments, 566-575 (1986).
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX DOI
Iteration in the software process (English)
ISPW, 105-108 (1986).
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX
first | previous | 1 21 | next | last

Result 1 to 20 of 30 total

Valid XHTML 1.0 Transitional Valid CSS!