Synthesis of parallel algorithms (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Synthesis of parallel algorithmshttps://catalogue-scientifique.canada.ca/record=1558515~S6*frcRechercher Reif, J. HM. Kaufmann, 1993, ISBN : 155860135XLivre
DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papershttps://catalogue-scientifique.canada.ca/record=2024415~S6*frcRechercher Chen, Junghuei; Rechercher Reif, J. HSpringer, 2004, ISBN : 9783540209300Livre électroniqueTexte intégral en ligne
VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedingshttps://catalogue-scientifique.canada.ca/record=1410452~S6*frcRechercher Reif, J. HSpringer-Verlag, 1988Actes de conférence
Proceedings of the 34th Annual ACM Symposium on Theory of Computing : Montreal, Quebec, Canada, May 19-21, 2002 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Proceedings of the 34th Annual ACM Symposium on Theory of Computing : Montreal, Quebec, Canada, May 19-21, 2002https://catalogue-scientifique.canada.ca/record=1984893~S6*frcRechercher ACM Special Interest Group for Algorithms and Computation Theory; Rechercher Association for Computing MachineryACM Press, 2002Actes de conférence
The propositional dynamic logic of deterministic, well-structured programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The propositional dynamic logic of deterministic, well-structured programshttps://catalogue-scientifique.canada.ca/record=1264128~S6*frcRechercher Halpern, Joseph Y; Rechercher Reif, J. HLaboratory for Computer Science, Massachusetts Institute of Technology, 1981Livre
DCC '91 : Data Compression Conference (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : DCC '91 : Data Compression Conferencehttps://catalogue-scientifique.canada.ca/record=1511724~S6*frcRechercher Storer, James A; Rechercher Reif, J. HIEEE Computer Society Press, 1991Actes de conférence
Parallel algorithm derivation and program transformation (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Parallel algorithm derivation and program transformationhttps://catalogue-scientifique.canada.ca/record=1558563~S6*frcRechercher Paige, Robert A; Rechercher Reif, J. H; Rechercher Wachter, R. FKluwer Academic, 1993Actes de conférence