Les pages ci-dessous contiennent un ou plusieurs liens vers Gerard J. Holzmann (ne voir que : les inclusions, les liens, les redirections).
Affichage de 50 éléments.
- Ronald Rivest (← liens | modifier)
- Martin Hellman (← liens | modifier)
- Whitfield Diffie (← liens | modifier)
- Ralph Merkle (← liens | modifier)
- Robert Tarjan (← liens | modifier)
- Adi Shamir (← liens | modifier)
- Leonard Adleman (← liens | modifier)
- Michael Rabin (← liens | modifier)
- Mario Szegedy (← liens | modifier)
- Robert Solovay (← liens | modifier)
- Volker Strassen (← liens | modifier)
- Vladimir Vapnik (← liens | modifier)
- Bruno Buchberger (← liens | modifier)
- Jacob Ziv (← liens | modifier)
- Abraham Lempel (← liens | modifier)
- Michael Burrows (← liens | modifier)
- Prix Paris-Kanellakis (← liens | modifier)
- Moshe Vardi (← liens | modifier)
- Yoav Freund (← liens | modifier)
- Robert Schapire (← liens | modifier)
- Kurt Mehlhorn (← liens | modifier)
- Allen Emerson (← liens | modifier)
- Pierre Wolper (← liens | modifier)
- Edmund M. Clarke (← liens | modifier)
- Gary L. Miller (← liens | modifier)
- Irit Dinur (← liens | modifier)
- Narendra Karmarkar (← liens | modifier)
- Noga Alon (← liens | modifier)
- Moni Naor (← liens | modifier)
- Andrei Broder (← liens | modifier)
- Charles E. Leiserson (← liens | modifier)
- Yossi Matias (← liens | modifier)
- Holzmann (← liens | modifier)
- Liste des Fellows de l'Association for Computing Machinery (← liens | modifier)
- Cynthia Dwork (← liens | modifier)
- Frank McSherry (← liens | modifier)
- Kobbi Nissim (← liens | modifier)
- Adam D. Smith (← liens | modifier)
- Amos Fiat (← liens | modifier)
- Eugene Myers (← liens | modifier)
- James Demmel (← liens | modifier)
- The Power of 10: Rules for Developing Safety-Critical Code (← liens | modifier)
- Corinna Cortes (← liens | modifier)
- SPIN model checker (← liens | modifier)
- Gerard Holzmann (page de redirection) (← liens | modifier)
- Pavel A. Pevzner (← liens | modifier)
- Phillip Gibbons (← liens | modifier)
- Piotr Indyk (← liens | modifier)
- Michael Mitzenmacher (← liens | modifier)
- Robert Brayton (← liens | modifier)