The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Joneshttps://catalogue-scientifique.canada.ca/record=1996425~S6*frcRechercher Jones, Neil D; Rechercher Mogensen, Torben Æ; Rechercher Schmidt, David A; Rechercher Sudborough, HalSpringer, 2002, ISBN : 3540003266Livre électroniqueTexte intégral en ligne
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedingshttps://catalogue-scientifique.canada.ca/record=1684561~S6*frcRechercher Cousot, Radhia; Rechercher Schmidt, David ASpringer, 1996Actes de conférence
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedingshttps://catalogue-scientifique.canada.ca/record=2026022~S6*frcRechercher Schmidt, David ASpringer, 2004Actes de conférence