Software

A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijsschema:ProductModel A generic theory of datatypes / Paul Ferenc Hoogendijkschema:ProductModel A package of computer programs for the Newell-Dekin algorithm of spatial analysis : a probabilistic statistical test for covariance of different artifacts in space, using Fish Creek Site, GUL-065, Area A, concentration A-14, as an example / Dethmer Kielmanschema:ProductModel A program generator for recognition, parsing and transduction with syntactic patterns / door Gert Jan van der Steenschema:ProductModel A software environment for image interpretation / Dennis Charles Koelmaschema:ProductModel Aansprakelijkheid, intermediairs en Electronic Data Interchange / Sylvia Huydecoper $ Aansprakelijkheid van de softwareleverancier voor de Millenniumbug / Merijn Seeltschema:ProductModel Abstract interpretation and partition refinement for model checking / Dennis René Damsschema:ProductModel Achter de schermen van automatiseringscontracten / J.M.A. Berkvens ... [et al.]schema:ProductModel Achter de schermen van automatiseringscontracten / J.M.A. Berkvens ... [et al.] ; met bijdragen van R.E. van Esch, R. van den Hoven van Genderen, E.P.M. Tholeschema:ProductModel Administratie en computer / H. Fuchsschema:ProductModel Advies keuze teleleerplatform ... / SURF Educatie<F>, CINOPschema:ProductModel Advieslijst keuzepakket Comenius 1993 / [Lex Bergers ... et al.]schema:ProductModel Aktieplan 1988, Cluster 1 : infrastructuur INSP / C.A.P.G. van der Mast, F.J.A. Harteminkschema:ProductModel Algebraic data types and program transformation / Grant Reynold Malcolmschema:ProductModel ALGOL 60 procedures in numerical algebra / by T.J. Dekker and W. Hoffmannschema:ProductModel Algorithms, software, architecture : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 / ed. by Jan van Leeuwenschema:ProductModel An architecture supporting safety critical software / Soon-Key Jungschema:ProductModel An international comparison of farm accounting software / Krijn J. Poppeschema:ProductModel Annual reviews in control : a journal of IFAC, the International Federation of Automatic Controlschema:ProductModel Applicability of nonlinear programming in decision support systems : realization of user-friendly software / Willeke Kribbe and Gerard van der Hoekschema:ProductModel ... show all 665